卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用线性噪声近似近似化学反应网络的概率可达性。 (英语) Zbl 1381.92110号 Agha,Gul(编辑)等人,《系统的定量评估》。2016年8月23日至25日,第13届国际会议,QEST 2016,加拿大魁北克市。诉讼程序。商会:施普林格出版社(ISBN 978-3-319-43424-7/pbk;978-3-319-43425-4/ebook)。计算机科学讲座笔记9826,72-88(2016)。 摘要:我们使用线性噪声近似(LNA)研究了化学反应网络(CRN)的有界概率可达性。LNA根据连续空间高斯过程近似CRN的离散随机语义。我们将可达区域表示为CRN物种上有限多个线性不等式的交集。此限制允许我们将原始高斯过程抽象为时间非均匀离散时间马尔可夫链(DTMC),使其状态空间的维数与CRN的物种数无关,从而改善了状态空间爆炸问题。我们提出了一种算法,用于在得到的DTMC上近似计算时间有界可达概率,并展示了如何将其扩展到更复杂的时间属性。我们实现了该算法,并在两个案例研究中证明,它允许以受控的精度快速、可伸缩地计算可达性属性。关于整个系列,请参见[Zbl 1343.68003号]。 引用于8文件 MSC公司: 92E20型 化学中的经典流动、反应等 92立方厘米 系统生物学、网络 60G15年 高斯过程 关键词:化学反应网络;线性噪声近似;高斯过程 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,Lect。注释计算。科学。9826、72--88(2016年;Zbl 1381.92110) 全文: 内政部 链接