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 条
  • [1] Model checking infinite-state Markov chains
    Remke, A
    Haverkort, BR
    Cloth, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 237 - 252
  • [2] A note on the attractor-property of infinite-state Markov chains
    Baier, C
    Bertrand, N
    Schnoebelen, P
    INFORMATION PROCESSING LETTERS, 2006, 97 (02) : 58 - 63
  • [3] CSL model checking algorithms for infinite-state structured Markov chains
    Remke, Anne
    Haverkort, Boudewijn R.
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2007, 4763 : 336 - +
  • [4] INFAMY: An Infinite-State Markov Model Checker
    Hahn, Ernst Moritz
    Hermanns, Holger
    Wachter, Bjoern
    Zhang, Lijun
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 641 - 647
  • [5] A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains
    Wang, Kemin
    Wang, Yongbin
    Jiang, Zhengtao
    Fu, Wenlong
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, 2014
  • [6] Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    Hahn, E. Moritz
    Hermanns, Holger
    Wachter, Bjoern
    Zhang, Lijun
    FUNDAMENTA INFORMATICAE, 2009, 95 (01) : 129 - 155
  • [7] STOCHASTIC AND SUBSTOCHASTIC SOLUTIONS FOR INFINITE-STATE MARKOV CHAINS WITH APPLICATIONS TO MATRIX-ANALYTIC METHODS
    Grassmann, Winfried K.
    Tavakoli, Javad
    ADVANCES IN APPLIED PROBABILITY, 2008, 40 (04) : 1157 - 1173
  • [8] Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    Zhang, Lijun
    Hermanns, Holger
    Hahn, E. Moritz
    Wachter, Bjoern
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 98 - 107
  • [9] Infinite-State Markov-Switching for Dynamic Volatility
    Dufays, Arnaud
    JOURNAL OF FINANCIAL ECONOMETRICS, 2016, 14 (02) : 418 - 460
  • [10] Infinite-State Energy Games
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Hofman, Piotr
    Mayr, Richard
    Kumar, K. Narayan
    Totzke, Patrick
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,