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 条
  • [31] Synthesis of Infinite-State Systems with Random Behavior
    Katis, Andreas
    Fedyukovich, Grigory
    Chen, Jeffrey
    Greve, David
    Rayadurgam, Sanjai
    Whalen, Michael W.
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 250 - 261
  • [32] A Framework for the Verification of Parameterized Infinite-state Systems
    Alberti, Francesco
    Ghilardi, Silvio
    Sharygina, Natasha
    FUNDAMENTA INFORMATICAE, 2017, 150 (01) : 1 - 24
  • [33] Numerical solution methods for Markov chains - The state of the art
    Krieger, UR
    ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 11 - 13
  • [34] Selfless Interpolation for Infinite-State Model Checking
    Schindler, Tanja
    Jovanovic, Dejan
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 495 - 515
  • [35] Automated Analysis of Probabilistic Infinite-state Systems
    Wojtczak, Dominik
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 85 - +
  • [36] ACCELERATED CONVERGENCE IN THE SIMULATION OF COUNTABLY INFINITE STATE MARKOV-CHAINS
    FISHMAN, GS
    OPERATIONS RESEARCH, 1983, 31 (06) : 1074 - 1089
  • [37] Model checking of infinite state space Markov chains by stochastic bounds
    Ben Mamoun, Mouad
    Pekergin, Nihal
    ANALYTICAL AND STOCHASTIC MODELING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5055 : 264 - +
  • [38] A verification methodology for infinite-state message passing systems
    Sprenger, C
    Worytkiewicz, K
    FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 255 - 264
  • [39] Optimal Strategies in Infinite-state Stochastic Reachability Games
    Brozek, Vaclav
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (54): : 60 - 73
  • [40] Parameterized verification of infinite-state processes with global conditions
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 145 - +