×

兹马思-数学第一资源

用形式化方法进行模型选择。(英语) Zbl 1458.92035
Gupta,Ankit(ed.)等人,《2018年SASB会议录》,第9届静态分析和系统生物学国际研讨会,德国弗莱堡,2018年8月28日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。350,57-71(2020年)。
摘要:我们讨论从动力系统领域的潜在模型列表中选择模型的问题。选择基于时序逻辑而不是时间序列中指定的模型行为。这为系统动力学提供了更多的全局约束。提出了模型排序问题,不仅要选择一个模型,而且要建立有序结构。我们提出并应用了几种排序关系来比较给定属性的模型。为了提供一种形式化的方法,我们采用并调整了模型检查和参数综合方法。为了评估该方法,我们将所提出的方法应用于多个监管网络的定性模型。
整个系列请参见[Zbl 1448.92002].
理学硕士:
92C42型 系统生物学,网络
软件:
努西姆
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿隆,U.,系统生物学导论:生物电路的设计原理,数学与计算生物学(2006),查普曼与霍尔/CRC·Zbl 1141.92002号
[2] 贝尼什,N。;边缘,L。;德姆科,M。;帕斯特瓦。;萨夫拉内克,D.,Pithya:分段多仿射动力系统参数综合的并行工具,(Majumdar,R.;Kunčak,V.,CAV 2017.CAV 2017,LNCS,vol.10426(2017)),591-598
[3] 边缘,L。;德姆科,M。;乔伊斯卡,M。;帕斯特瓦。;萨夫雷内克,D.,平行彩色CTL模型检查的参数合成,(Roux,O.;Bourdon,J.,CMSB 2015.CMSB 2015,LNBI,第9308卷(2015)),251-263
[4] 边缘,L。;德姆科,M。;帕斯特瓦。;《分段仿射动力系统的高性能离散分岔分析》,(Abate,A.;Нafránek,D.,混合系统生物学2015。混合系统生物学2015,LNBI,卷9271(2015)),58-74·Zbl 1412.92115
[5] 西马蒂,A。;克拉克,E。;朱西格里亚,E。;朱西格里亚,F。;皮斯托尔,M。;罗维里,M。;塞巴斯蒂安尼,右。;Tachella,A.,NuSMV第2版:符号模型检查的开源工具,(国际计算机辅助验证会议(CAV)会议记录,国际计算机辅助验证会议(CAV),LNCS,第2404卷(2002年))·Zbl 1010.68766
[6] 西马蒂,A。;克拉克,E。;朱西格里亚,F。;Roveri,M.,Nusmv:一种新的符号模型验证器(国际计算机辅助验证会议(1999年),Springer),495-499·Zbl 1046.68587
[7] 克拉克,E.M。;Emerson,E.A.,《使用分支时间时序逻辑设计和合成同步框架》,(程序逻辑研讨会(1981年),Springer),52-71
[8] 克拉克,E.M。;爱默生,E.A。;Sistra,A.P.,使用时序逻辑规范的有限状态并发系统的自动验证,ACM Trans。程序。Lang.Syst.,8244-263(1986年)·Zbl 0591.68027
[9] 法格斯,F。;Rizk,A.,从模型检查到时态逻辑约束求解,(约束编程原理与实践国际会议(2009年),第319-334页
[10] 法格斯,F。;Soliman,S.,biocham的正式细胞生物学,(SFM.SFM,LNCS,第5016卷(2008)),54-80
[11] 哈夫纳,M。;科普勒,H。;哈斯勒,M。;Wagner,A.,“生物钟振荡器的‘全局’稳健性分析和模型识别”,《公共科学图书馆计算生物学》,第5期,第e1000534页(2009年)
[12] 北野,H.,《生物稳健性理论》,分子系统生物学,3137(2007)
[13] McMillan,K.L.,符号模型检查,(符号模型检查(1993),Springer),25-60
[14] 纳尔迪,A。;赫尔南德斯,C。;利维,N。;斯托尔,G。;蒙泰罗,P.T。;赵贵亚,C。;直升机,T。;Zinovyev,A。;加州大学。;科恩·博拉基亚S。;偷窃,D。;Paulevé,L.,CoLoMoTo互动笔记本:定性生物网络的可访问和可复制计算分析(2018),bioRxiv
[15] 纳尔迪,A。;蒙泰罗,P.T。;穆塞尔,C。;凯斯勒,H.A。;偷窃,D。;谢纳里奥斯,I。;Saez Rodriguez,J。;直升机,T。;Chaouiya,C.,与colomoto合作开发逻辑建模标准和工具,生物信息学,311154-1159(2015)
[16] 里扎。;电池,G。;法格斯,F。;Soliman,S.,鲁棒性分析的一般计算方法及其在合成基因网络中的应用,生物信息学,25(2009)
[17] 丝绸,D。;柯克,P.D。;巴恩斯,C.P。;托尼,T。;Stumpf,M.P.,系统生物学中的模型选择取决于实验设计,公共科学图书馆计算生物学,10,文章e1003650 pp.(2014)
[18] 托尼,T。;Stumpf,M.P.,系统和种群生物学中基于仿真的动态系统模型选择,生物信息学,26104-110(2009)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。