On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
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 de...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2011-07-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1006.4425v1 |
| id |
doaj-c7965347e36547f6a3191cb14da44cbe |
|---|---|
| record_format |
Article |
| spelling |
doaj-c7965347e36547f6a3191cb14da44cbe2020-11-24T23:10:18ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-07-0157Proc. QAPL 201111510.4204/EPTCS.57.1On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population ModelsAleksandr AndreychenkoPepijn CrouzenLinar MikeevVerena WolfThis 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.http://arxiv.org/pdf/1006.4425v1 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Aleksandr Andreychenko Pepijn Crouzen Linar Mikeev Verena Wolf |
| spellingShingle |
Aleksandr Andreychenko Pepijn Crouzen Linar Mikeev Verena Wolf On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models Electronic Proceedings in Theoretical Computer Science |
| author_facet |
Aleksandr Andreychenko Pepijn Crouzen Linar Mikeev Verena Wolf |
| author_sort |
Aleksandr Andreychenko |
| title |
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models |
| title_short |
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models |
| title_full |
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models |
| title_fullStr |
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models |
| title_full_unstemmed |
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models |
| title_sort |
on-the-fly uniformization of time-inhomogeneous infinite markov population models |
| publisher |
Open Publishing Association |
| series |
Electronic Proceedings in Theoretical Computer Science |
| issn |
2075-2180 |
| publishDate |
2011-07-01 |
| description |
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. |
| url |
http://arxiv.org/pdf/1006.4425v1 |
| work_keys_str_mv |
AT aleksandrandreychenko ontheflyuniformizationoftimeinhomogeneousinfinitemarkovpopulationmodels AT pepijncrouzen ontheflyuniformizationoftimeinhomogeneousinfinitemarkovpopulationmodels AT linarmikeev ontheflyuniformizationoftimeinhomogeneousinfinitemarkovpopulationmodels AT verenawolf ontheflyuniformizationoftimeinhomogeneousinfinitemarkovpopulationmodels |
| _version_ |
1725607890985680896 |