马哈茂德·本特里奥;保罗·巴拉里尼;保罗·亨里·库内德 通过近似贝叶斯计算进行可达性设计。 （英文） Zbl 1422.92052号 Bortolussi，Luca（编辑）等人，《系统生物学中的计算方法》。第17届国际会议，CMSB 2019，意大利的里雅斯特，2019年9月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11773, 207-223 (2019). 摘要：有时间限制的可达性问题涉及评估模型的轨迹是否在给定的时间范围内穿过状态空间的给定区域。在随机模型的情况下，可达性与取决于模型参数的概率度量相关联。在本文中，我们提出了一种方法，在给定可达性规范（对于参数随机模型）的情况下，允许计算可达性相关参数空间上的概率分布，即允许识别参数空间中存在与所考虑的可达性规范匹配的非零概率的区域的分布。该方法依赖于距离在模型的轨迹和可达性规范之间，通过使用混合自动机作为模型轨迹的监控器，我们可以对其进行评估。然后介绍了一种基于自动机的近似贝叶斯计算方法的自适应估计参数空间上的可达性分布。关于整个系列，请参见[Zbl 1422.92004年]. 引用于2文件 MSC公司： 92立方厘米 系统生物学、网络 92C40型 生物化学、分子生物学 93个B03 可达集，可达性 65年第68季度 形式语言和自动机 关键词：ABC方法;混成自动机;参数估计 PDF格式BibTeX公司 XML格式引用 \textit{M.Bentriou}等人，Lect。注释计算。科学。11773、207--223（2019；Zbl 1422.92052） 全文： 内政部