On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
复制标题
DOI：
10.4204/eptcs.57.1
复制
发表时间：
2011-01-01
影响因子：
--
通讯作者：
Wolf, Verena
中科院分区：
文献类型：
--
作者：
Andreychenko, Aleksandr;Crouzen, Pepijn;Wolf, Verena
本文提出了一种分析时间非齐次马尔可夫种群模型的动态均匀化技术。该技术适用于具有无限状态空间和无界速率的模型，例如，在生化反应网络领域中遇到的模型。为了处理无限状态空间，我们动态地维持了一个有限的状态子集，其中大部分概率质量所在。这种方法产生了对原始的无限系统的欠近似。我们提出了实验结果来证明我们的技术的适用性。
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 under-approximation of the original, infinite system. We present experimental results to show the applicability of our technique.