Stochastic reachability analysis in complex biological networks
Stochastic reachability analysis in complex biological networks
复制标题
复杂生物网络中的随机可达性分析
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
S. Prajna
中科院分区：
文献类型：
--
作者：
H. El;Maryam Fazel;Xin Liu;A. Papachristodoulou;S. Prajna
噪声对细胞网络的影响及其与丰富的动态的相互作用越来越多地被描述为重要的现象，必须进行彻底的研究，以有效地了解生物动力学。与此同时，在随机环境中对这些网络进行数学建模和分析提出了许多挑战，例如需要大量计算昂贵的随机模拟来收集有关重要事件发生的统计数据或将其发生与噪声强度相关联。在本文中，我们演示了使用随机可达性分析的新技术来解决这些问题。具体来说，我们研究的问题计算边界上的概率的生物随机过程，以达到某些部分的状态空间在有限的时间。所提出的技术是基于使用凸优化的屏障证书的算法构造，并通过使用生物学上重要的系统：噬菌体λ基因开关来说明
The impact of noise on cellular networks and its interplay with their rich dynamics are increasingly being characterized as important phenomena that must be thoroughly investigated for a useful understanding of biological dynamics. At the same time, the mathematical modeling and analysis of these networks in a stochastic setting presents a number of challenges, such as the need for a large number of computationally expensive stochastic simulations to collect statistics about the occurrence of important events or correlate their occurrence with the noise intensity. In this paper, we demonstrate the use of new techniques of stochastic reachability analysis to address these problems. Specifically, we study the problem of computing bounds on the probability of a biological stochastic process to reach certain parts of the state space in a finite time. The techniques presented are based on the algorithmic construction of barrier certificates using convex optimization, and are illustrated through the use of a biologically important system: the bacteriophage lambda genetic switch