Limiting Behavior of Markov Chains with Eager Attractors

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with probability 1 from every other state, and the eagerness condition requires that the probability of avoiding the attractor in n or more steps after leaving it is exponentially bounded in n. Examples of such Markov chains are those induced by probabilistic lossy channel systems and similar systems. We show that the expected residence time (a generalization of the steady state distribution) exists for Markov chains with eager attractors and that it can be effectively approximated to arbitrary precision. Furthermore, arbitrarily close approximations of the limiting average expected reward, with respect to state-based bounded reward functions, are also computable
Original languageEnglish
Title of host publicationThird International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages13
ISBN (Print)0-7695-2665-9
Publication statusPublished - 2006


Dive into the research topics of 'Limiting Behavior of Markov Chains with Eager Attractors'. Together they form a unique fingerprint.

Cite this