Dayar T.Hermanns, H.Spieler, D.Wolf, V.2015-07-282015-07-282011-10-181099-1506http://hdl.handle.net/11693/13333We propose a bounding technique for the equilibrium probability distribution of continuous-time Markov chains with population structure and infinite state space. We use Lyapunov functions to determine a finite set of states that contains most of the equilibrium probability mass. Then we apply a refinement scheme based on stochastic complementation to derive lower and upper bounds on the equilibrium probability for each state within that set. To show the usefulness of our approach, we present experimental results for several examples from biology. Copyright © 2011 John Wiley & Sons, Ltd.EnglishGeometric boundsStochastic complementLyapunov functionEquilibrium probability distributionContinuous - time Markov chainArticle10.1002/nla.795