A simple numerical approach for infinite-state markov chains

被引:0
|
作者
Tijms, Henk C. [1 ]
Van De Coevering, Michel C. T. [1 ]
机构
[1] Department of Econometrics, Vrije University, Amsterdam,1081 HV, Netherlands
关键词
Chains - Markov processes;
D O I
10.1017/S0269964800002096
中图分类号
学科分类号
摘要
This paper presents a simple and practical approach to solving the equilibrium equations for a class of Markov chains with an infinite number of states. Markov chains arising in queueing and inventory applications often have the property that the state probabilities exhibit a geometric tail behavior. The basic idea of the approach is to reduce the infinite system of linear equations to a finite system using the geometric tail behavior of the equilibrium probabilities. The reduction typically leads to a remarkably small system of linear equations that can be routinely solved by a Gaussian elimination method. An application is given to the single-server queue with scheduled arrivals. Copyright © Cambridge University Press 1991.
引用
收藏
页码:285 / 295
相关论文
共 50 条
  • [21] Extensible Proof Systems for Infinite-State Systems
    Cleaveland, Rance
    Keiren, Jeroen J. A.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (01)
  • [22] Proving ATL* properties of infinite-state systems
    Slanina, Matteo
    Sipma, Henny B.
    Manna, Zohar
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 242 - 256
  • [23] Abstraction and Learning for Infinite-State Compositional Verification
    Giannakopoulou, Dimitra
    Pasareanu, Corina S.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 211 - 228
  • [24] Solving Infinite-State Games via Acceleration
    Heim, Philippe
    Dimitrova, Rayna
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
  • [25] General decidability theorems for infinite-state systems
    Abdulla, PA
    Cerans, K
    Jonsson, B
    Tsay, YK
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 313 - 321
  • [26] Infinite Mixtures of Markov Chains
    Reubold, Jan
    Boubekki, Ahcene
    Strufe, Thorsten
    Brefeld, Ulf
    NEW FRONTIERS IN MINING COMPLEX PATTERNS, NFMCP 2017, 2018, 10785 : 167 - 181
  • [27] Context free grammar and the infinite-state automaton
    Lu, Yingzhi
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1996, 24 (08): : 23 - 27
  • [28] Formal Verification of Infinite-State BIP Models
    Bliudze, Simon
    Cimatti, Alessandro
    Jaber, Mohamad
    Mover, Sergio
    Roveri, Marco
    Saab, Wajeb
    Wang, Qiang
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 326 - 343
  • [29] Faster Temporal Reasoning for Infinite-State Programs
    Cook, Byron
    Khlaaf, Heidy
    Piterman, Nir
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 75 - 82
  • [30] On Automation of CTL* Verification for Infinite-State Systems
    Cook, Byron
    Khlaaf, Heidy
    Piterman, Nir
    COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 13 - 29