On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

Aleksandr Andreychenko
Pepijn Crouzen
Linar Mikeev
Verena Wolf

This paper presents an on-the-fly uniformization technique for the analysis of time-inhomogeneous Markov population models. This technique is applicable to models with infinite state spaces and unbounded rates, which are, for instance, encountered in the realm of biochemical reaction networks. To deal with the infinite state space, we dynamically maintain a finite subset of the states where most of the probability mass is located. This approach yields an underapproximation of the original, infinite system. We present experimental results to show the applicability of our technique.

In Mieke Massink and Gethin Norman: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), Saarbrücken, Germany, April 1-3, 2011, Electronic Proceedings in Theoretical Computer Science 57, pp. 1–15.
Published: 4th July 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.57.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org