×

解开生物系统。 (英语) Zbl 1328.92027号

摘要:信息流安全中已经成功地利用了解卷条件来定义持久安全属性。在本文中,我们研究了它们在生物系统分析中的意义和可能的用途。特别地,我们详细阐述了鲁棒性的概念,并提出了在过程代数Bio-PEPA和混合自动机上展开的一些实例。我们利用这些实例分析了两个案例研究:粗糙脉孢菌昼夜节律系统和流感动力学模型。

MSC公司:

92立方厘米 系统生物学、网络
65年第68季度 形式语言和自动机
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

生物-PEPA
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 费希尔,J。;Henzinger,T.A.,《可执行细胞生物学》,《国家生物技术》。,25, 1239-1249 (2007)
[2] 克拉克,E.M。;格伦伯格,O。;Peled,D.A.,《模型检验》(1999),麻省理工学院出版社
[3] Ryan,P.Y.A。;Schneider,S.A.,《过程代数与非干涉》,J.Compute。安全。,9, 1/2, 75-103 (2001)
[4] Bossi,A。;Focardi,R。;C.广场。;Rossi,S.,《验证可能安全属性的相互模拟和展开》,(第四届国际验证、模型检查和抽象解释会议纪要,第四届验证、模型检测和抽象解释国际会议纪要),VMCAI 2003。程序。第四届国际验证、模型检验和抽象解释会议。程序。第四届国际验证、模型检查和抽象解释会议,VMCAI 2003,LNCS,第2575卷(2003),施普林格),223-237·Zbl 1022.68085号
[5] C.广场。;安东尼奥蒂,M。;迈索尔,V。;Policriti,A。;温克勒,F。;Mishra,B.,《算法-代数模型检查I:来自系统生物学的挑战》,(第17届国际会议计算机辅助验证程序,第17届会议计算机辅助检验程序,2005年CAV,2005年7月6日至10日,英国苏格兰爱丁堡)。第17届国际会议计算机辅助验证程序。第17届国际会议计算机辅助验证程序,2005年CAV,英国苏格兰爱丁堡,2005年7月6日至10日,LNCS,第3576卷(2005),Springer),5-19·Zbl 1081.68056号
[6] Kwiatkowska,M。;诺曼,G。;Parker,D.,《使用系统生物学中的概率模型检查》,ACM SIGMETRICS Perform.Eval。第35、4、14-21版(2008年)
[7] Bernot,G。;Comet,J.-P.,《关于使用时序形式逻辑建模基因调控网络》,(生物信息学和生物统计的计算智能方法(2010),Springer),第112-138页
[8] Naldi,A。;雷米,E。;蒂夫里,D。;Chaouiya,C.,逻辑调控图的动态一致约简,Theoret。计算。科学。,412, 21, 2207-2218 (2011) ·Zbl 1211.92024号
[9] 安德森,J。;Chang,Y.-C。;Papachristodoulou,A.,《系统生物学中大规模网络的模型分解和简化工具》,Automatica,47,6,1165-1174(2011),系统生物学专刊·Zbl 1235.93018号
[10] 加尔平,V。;Hillston,J.,基于连续值离散化的Bio-PEPA语义等价,Theoret。计算。科学。,412, 21, 2142-2161 (2011) ·Zbl 1215.68140号
[11] 北卡罗来纳州林奇。;塞加拉,R。;Vaandrager,F.W.,混合I/O自动机,Inform。和计算。,185, 1, 105-157 (2003) ·Zbl 1069.68067号
[12] 迈耶,A.R。;Stockmeyer,L.J.,带平方的正则表达式的等价问题需要指数空间,(IEEE第13届开关与自动机理论年会会议记录,1972(1972),IEEE),125-129
[13] Kanellakis,P.C。;Smolka,S.A.,CCS表达式、有限状态过程和三个等价问题,Inform。和计算。,86, 1, 43-68 (1990) ·Zbl 0705.68063号
[14] 佩奇,R。;Tarjan,R.E.,《三种分区细化算法》,SIAM J.Comput。,16, 6, 973-989 (1987) ·Zbl 0654.68072号
[15] Baarir,S。;贝库蒂,M。;Dutheillet,C。;弗朗西斯科尼斯,G。;Haddad,S.,集总部分对称随机模型,性能评估。,68, 1, 21-44 (2011)
[16] Kitano,H.,朝向生物稳健性理论,分子系统。生物学,3137-143(2007)
[17] Kitano,H.,《生物稳健性》,《自然遗传学评论》。,5, 11, 826-837 (2004)
[18] Kitano,H.,《基于鲁棒性的系统导向药物设计方法》,《药物研究》。,202-210年5月(2007年)
[19] Goguen,J.A。;Meseguer,J.,《安全政策和安全模型》,(IEEE安全与隐私研讨会(1982),IEEE计算机社会出版社),11-20
[20] Sabelfeld,A。;Myers,A.C.,基于语言的信息流安全,IEEE J.Sel。公共区域。,21, 1, 5-19 (2003)
[21] Focardi,R。;Gorrieri,R.,过程代数安全属性的分类,J.Compute。安全。,3, 1, 5-34 (1995)
[22] Ryan,P.Y.A.,《无干扰和解扩的CSP公式》,密码:IEEE计算。Soc.技术通信新闻。安全。Priv.,19-30(1991)
[23] 阿尔迪尼,A。;布拉维蒂,M。;Gorrieri,R.,概率不干扰分析的过程代数方法,J.Compute。安全。,12, 2, 191-245 (2004)
[24] Bodei,C。;Degano,P。;尼尔森,F。;Nielson,H.,进程网络中保密性和不干涉性的静态分析,(并行计算技术。并行计算技术,LNCS,第2127卷(2001),Springer),27-41·Zbl 1005.68064号
[25] Bossi,A。;C.广场。;Rossi,S.,并发程序的组合信息流安全,J.Compute。安全。,15, 3, 373-416 (2007)
[26] 科莫罗夫斯基,M。;Costa,M.J。;兰德,D.A。;Stumpf,M.P.,《随机化学动力学模型中的敏感性、稳健性和可识别性》,Proc。国家。阿卡德。科学。美国,108,21,8645-8650(2011)
[27] 费内科斯,G.E。;Pappas,G.J.,连续时间信号时序逻辑规范的稳健性,理论。计算。科学。,410, 42, 4262-4291 (2009) ·Zbl 1186.68287号
[28] A.Donzé。;Maler,O.,时间逻辑对实值信号的鲁棒满足,(定时系统的形式建模和分析。定时系统的形式建模和分析,LNCS,第6246卷(2010),施普林格),92-106·Zbl 1290.68071号
[29] A.Rizk。;巴特·G。;Fages,F。;Soliman,S.,《时序逻辑规范的连续估值及其在参数优化和稳健性度量中的应用》,Theoret。计算。科学。,412, 26, 2827-2839 (2011) ·Zbl 1216.68164号
[30] A.Donzé。;费雷尔,T。;Maler,O.,《STL的高效稳健监测》,(第25届国际计算机辅助验证会议议事录,第25届国内计算机辅助验证大会议事录,CAV 2013。程序。第25届国际计算机辅助验证会议。程序。第25届国际计算机辅助验证会议,CAV 2013,LNCS,第8044卷(2013),Springer,264-279
[31] Brim,L。;Vejpustek,T。;Safránek,D。;Fabriková,J.,值冻结信号时序逻辑的稳健性分析,(第二届混合系统与生物学国际研讨会论文集,第二届杂交系统与生物学研讨会论文集),HSB 2013。程序。第二届混合系统与生物学国际研讨会。程序。第二届杂交系统与生物学国际研讨会,HSB 2013,EPTCS,第125卷(2013)),20-36
[32] Bartocci,E。;Bortolussi,L。;Nenzi,L。;Sanguinetti,G.,《关于随机模型时间特性的稳健性》,(第二届混合系统与生物学国际研讨会论文集。第二届杂交系统与生物学研讨会论文集,HSB 2013。程序。第二届国际混合系统与生物学研讨会。程序。第二届杂交系统与生物学国际研讨会,HSB 2013,EPTCS,第125卷(2013)),3-19
[33] van Breugel,F。;Worrell,J.,概率转移系统中行为距离的近似和计算,Theoret。计算。科学。,360, 1-3, 373-385 (2006) ·Zbl 1097.68102号
[34] 特雷科尔,M。;Desharnais,J。;Zhioua,A.,概率自动机之间的计算距离,(第九届编程语言定量方面研讨会论文集,第九届程序语言定量方面会议论文集,QAPL 2011。程序。第九届编程语言定量方面研讨会。程序。第九届编程语言定量方面研讨会,QAPL 2011,EPTCS,第52卷(2011)),148-162·Zbl 1457.68151号
[35] 斯普洛斯顿,J。;Troina,A.,《概率时间自动机的模拟和互模拟》,(第八届国际时间系统形式化建模和分析会议论文集。第八届时间系统形式建模和分析国际会议论文集,FORMATS 2010。程序。第八届国际时间系统形式化建模与分析会议。程序。第八届国际时间系统形式建模与分析会议,FORMATS 2010,LNCS,第6246卷(2010),Springer),213-227·Zbl 1290.68081号
[36] Feret,J。;Henzinger,T.A。;Koepl,H.等人。;Petrov,T.,基于规则系统的集总抽象,Theoret。计算。科学。,431, 137-164 (2012) ·Zbl 1267.68153号
[37] Sharma,A。;Katoen,J.-P.,《马尔可夫链上的加权集总性》,(《系统信息学的观点》,系统信息学观点,LNCS,第7162卷(2012),Springer),322-339·Zbl 1336.68186号
[38] Gebler,D。;Tini,S.,概率系统近似互模拟的组成,(Proc.Combined 20th Int.Workshop on Expressiveity in Concurrency and 10th Workshop onStructural Operational Semantics.Proc.Commined 20st Int.Workshop on Exportiveity in Concurrency/SOS 2013)。程序。合并了第20届并发表达性国际研讨会和第10届结构操作语义学研讨会。程序。第20届并发表达性国际研讨会和第10届结构化操作语义研讨会合并,EXPRESS/SOS 2013,EPTCS,第120卷(2013)),32-46·Zbl 1464.68245号
[39] 巴奇,G。;巴奇,G。;Larsen,K.G。;Mardare,R.,双相似距离的实时精确计算,(TACAS.TACAS,LNCS,vol.7795(2013),Springer),1-15·Zbl 1381.68218号
[40] Priami,C。;Quaglia,P.,《生物相互作用的β结合物》,(第20届系统生物学计算方法国际会议论文集,第20届国际系统生物计算方法会议论文集),CMSB'04(2005),Springer,20-33·Zbl 1088.68646号
[41] 雷格夫,A。;Panina,E.M。;西尔弗曼,W。;Cardelli,L。;夏皮罗,E.,《生物环境:生物隔间的抽象》,理论。计算。科学。,325, 1, 141-167 (2004) ·兹比尔1069.68569
[42] Danos,V。;Laneve,C.,《形式分子生物学》,Theoret。计算。科学。,325, 1, 69-110 (2004) ·Zbl 1071.68041号
[43] Cardelli,L.,Brane结石,(Danos,V.;Schachter,V.,系统生物学中的计算方法。系统生物学中的计算方法,LNCS,第3082卷(2005),施普林格),257-278·Zbl 1088.68657号
[44] Cardelli,L.,《双核膜系统:生物膜的相互作用》,Theoret。计算。科学。,404, 1-2, 5-18 (2008) ·Zbl 1151.68013号
[45] 加尔平,V。;Hillston,J.,《生物-PEPA中的等效性和离散化》,(第七届国际系统生物学计算方法会议论文集。程序。第七届国际系统生物学计算方法会议。程序。第七届国际系统生物学计算方法会议,CMSB 2009,LNCS(2009),Springer,189-204
[46] O.E.阿克曼。;乔切塔,F。;Degasperi,A。;Guerriro,M.L.,用Bio-PEPA模拟生物钟:随机性和鲁棒性神经孢子菌属crassa昼夜节律网络,(第七届国际系统生物学计算方法会议纪要。程序。第七届国际系统生物学计算方法会议。程序。第七届系统生物学国际会议计算方法,CMSB 2009,LNCS,第5688卷(2009),Springer),52-67
[47] 乔切塔,F。;杜吉德,A。;Guerrero,M.L.,《生物-PEPA中CAMP/PKA/MAPK途径的细胞模型》,(第三届膜计算和生物启发过程计算研讨会,第三届会议,膜计算和生物学启发过程计算,MeCBIC 2009。程序。第三届膜计算和生物启发过程计算研讨会。程序。第三届膜计算和生物启发过程计算研讨会,MeCBIC 2009,EPTCS,第11卷(2009)),71-90
[48] 乔切塔,F。;Guerriero,M.L。;Hillston,J.,《研究生化系统过程代数模型分析中的模块性》,(第三期《从生物学到并发和反向研讨会》,第三期“从生物学到并行和反向研讨会”,FBTC 2010。程序。第三次研讨会,从生物学到并行和反向。程序。第三次研讨会,从生物学到并行和反向,FBTC 2010,EPTCS,第19卷(2010)),55-69
[49] O.E.阿克曼。;Guerriero,M.L。;Loewe,L.公司。;Troein,C.,《理解植物昼夜节律时钟的补充方法》(Proc.3rd Workshop from Biology to Concurrency and Back)。Proc.3nd Workshop from Biology toConcurrence and Back,FBTC 2010。程序。第三次研讨会,从生物学到并行和反向。程序。第三次研讨会,从生物学到并行和反向,FBTC 2010,EPTCS,第19卷(2010)),1-19
[50] 乔切塔,F。;Hillston,J.,《生物-PEPA:生物系统建模和分析框架》,理论。计算。科学。,410, 33-34, 3065-3084 (2009) ·Zbl 1173.68041号
[51] 乔切塔,F。;Degasperi,A。;Hillston,J。;Calder,M.,关于CTMC和源自Bio-PEPA,Electron的ODE模型的一些研究。注释Theor。计算。科学。,229,1145-163(2009年)·Zbl 1283.92036号
[52] Loros,J。;Dunlap,J.,《生物钟节律的遗传和分子分析》神经孢子菌属年。生理学评论。,63, 757-794 (2001)
[53] 霍普克罗夫特,J.E。;Ullman,J.D.,《自动机理论、语言和计算导论》(1979),Addison-Wesley·Zbl 0196.01701号
[54] 阿鲁尔(Alur,R.)。;Courcoubetis,C。;Henzinger,T.A。;Ho,P.-H.,《混合自动机:混合系统规范和验证的算法方法》(Hybrid systems(1993),Springer-Verlag:Springer-Verlag London,UK),209-229
[55] Henzinger,T.A.,第十一届IEEE混合自动机理论研讨会论文集(计算机科学中的逻辑,1996)。计算机科学中的逻辑,1996,LICS’96(1996),IEEE计算机社会出版社,278-292
[56] 马勒,O。;Manna,Z。;Pnueli,A.,《从时间系统到混合系统》(《实时学报:实践中的理论》,REX研讨会(1992年),施普林格出版社:英国施普林格伦敦),447-484
[57] Puri,A。;Varaiya,P.,带矩形微分包含的混合系统的可判定性,(Dill,D.L.,《计算机辅助验证国际会议论文集》,《计算机协助验证国际会议文献集》,CAV’94。计算机辅助验证国际会议论文集。计算机辅助验证国际会议记录,CAV’94,LNCS,第818卷(1994),Springer),95-104
[58] Henzinger,T.A。;Kopke,P.W.,矩形混合自动机的状态等价性,(Montanari,U.;Sassone,V.,《并行理论国际会议论文集》,《并发理论国际会议文献集》,1996年。程序。国际并发理论会议。程序。国际并发理论会议,Concur'96,LNCS,第1119卷(1996年),施普林格),530-545·Zbl 1514.68101号
[59] 丘蒂南,A。;Krogh,B.,《使用多边形流管近似验证多面体不变混合自动机》,(Vaandrager,F.W.;van Schuppen,J.H.,《混合系统程序:计算与控制》,混合系统程序,计算与控制,HSCC’99。程序。混合系统:计算与控制。程序。《混合系统:计算与控制》,HSCC’99,LNCS,第1569卷(1999),Springer),76-90·Zbl 0954.93020号
[60] 卡萨格兰德,A。;C.广场。;Policriti,A。;Mishra,B.,《包容动力学混合自动机》,Inform。和计算。,206, 12, 1394-1424 (2008) ·Zbl 1153.68400号
[61] 科利尔,J.R。;Monk,N.A.M。;Maini,P.K。;Lewis,J.H.,通过具有反馈的横向抑制形成模式:德尔塔-缺口细胞间信号传导的数学模型,J.Theoret。《生物学》,183,429-446(1996)
[62] Ghosh,R。;Tomlin,C.,《通过Delta-Notch信号的侧向抑制:分段仿射混合模型》,(Benedetto,M.D.D.;Sangiovanni-Vincentelli,a.,《混合系统程序:计算和控制》,《混合系统程序:计算与控制》,HSCC’01。程序。混合系统:计算与控制。程序。《混合系统:计算与控制》,HSCC’01,LNCS,第2034卷(2001),Springer),232-246·Zbl 0997.92010号
[63] Ghosh,R。;Tiwari,A。;Tomlin,C.,自动化符号可达性分析;应用于Delta-Notch信令自动机,(混合系统程序:计算和控制,混合系统程序,计算和控制),HSCC’03。程序。混合系统:计算与控制。程序。《混合系统:计算与控制》,HSCC’03,LNCS,第2623卷(2003),Springer),233-248·Zbl 1032.92500号
[64] 阿鲁尔(Alur,R.)。;Dill,D.L.,时间自动机理论,定理。计算。科学。,126, 2, 183-235 (1994) ·Zbl 0803.68071号
[65] 拉弗里尔,G。;帕帕斯,G.J。;Sastry,S.,O-最小混合系统,数学。控制信号系统,13,1-21(2000)·Zbl 1059.68073号
[66] Tiwari,A。;Khanna,G.,《混合自动机抽象系列》,(Tomlin,C.J.;Greenstreet,M.,《混联系统程序:计算与控制》,混联系统的程序:计算和控制,HSCC’02。程序。混合系统:计算与控制。程序。《混合系统:计算与控制》,HSCC’02,LNCS,第2289卷(2002),Springer),465-478·Zbl 1044.93523号
[67] Ghosh,R。;Tiwari,A。;Tomlin,C.,自动化符号可达性分析;应用于Delta-Notch信令自动机,(混合系统:计算和控制(2003),Springer),233-248·Zbl 1032.92500号
[68] Ghosh,R。;Tomlin,C.,分段仿射混合自动机的符号可达集计算及其在生物建模中的应用:Delta-Notch蛋白质信号,系统。生物学,1,1,170-183(2004)
[69] 组织,W.H.,流感情况说明书第211号(2014年3月)
[70] 约翰逊,N.P.A.S。;Mueller,J.,《更新账目:1918-1920年“西班牙”流感大流行的全球死亡率》,布尔。历史。医学,76,105-115(2002)
[71] Taubenberger,J.K。;Morens,D.M.,1918年流感:所有流行病之母,突发感染。数字化信息系统。,12, 1, 15-22 (2006)
[72] Larson,E.W。;Dominik,J.W。;Rowberg,A.H。;Higbee,G.A.,实验感染小鼠呼吸道中流感病毒的种群动态,感染。免疫。,13, 2, 438-447 (1976)
[73] Baccam,P。;Beauchemin,C。;Macken,C.A。;海登,F.G。;Perelson,A.S.,人类感染甲型流感病毒的动力学,J.Virol。,80, 15, 7590-7599 (2006)
[74] Handel,A。;Longini,I.M。;Antia,R.,《流感对神经氨酸酶抑制剂的耐药性:评估其产生和传播的危险》,《公共科学图书馆·计算》。生物,3,12,e240(2007)
[75] Saenz,R.A。;昆利文,M。;埃尔顿,D。;麦克雷,S。;Blunden,A.S。;Mumford,J.A。;Daly,J.M。;Digard,P。;Cullinane,A。;Grenfell,B.T.,流感病毒感染和病理学动力学,J.Virol。,84, 8, 3974-3983 (2010)
[76] Pawelek,K.A。;Huynh,G.T。;昆利文,M。;Cullinane,A。;荣,L。;Perelson,A.S.,《流感病毒感染(包括免疫反应)宿主内动力学建模》,《公共科学图书馆计算》。生物,8,6,e1002588(2012)
[77] 马德拉希莫夫,A。;Helikar,T。;科瓦尔,B。;卢,G。;Rogers,J.,《感染和复制周期中流感病毒和人-宿主相互作用的动力学》,公牛。数学。生物,75,6,988-1011(2013)·Zbl 1272.92036号
[78] Quesada,J.R。;鲁本,J。;曼宁,J.T。;赫什,E.M。;Gutterman,J.U.,α-干扰素诱导毛细胞白血病缓解,新英格兰。《医学杂志》,310,1,15-18(1984)
[79] Wong,D.K。;Cheung,A.M。;O'Rourke,K。;内勒,C.D。;Detsky,A.S。;Heathcote,J.,α-干扰素治疗对乙型肝炎e抗原阳性慢性乙型肝炎患者的影响:荟萃分析,Ann.Intern。医学,119,4,312-323(1993)
[80] Lane,H.C.,《HIV和相关疾病中的干扰素》,艾滋病,8,S19-S24(1994)
[81] 古戎,C。;O.蒙科热。;Bauby,H。;Doyle,T。;哥伦比亚特区沃德。;沙勒,T。;Hué,S。;巴克利,W.S。;舒尔茨,R。;Malim,M.H.,《人类MX2是一种干扰素诱导的HIV-1感染进入后抑制剂》,《自然》,502,7472,559-562(2013)
[82] Pol,S.,丙型肝炎病毒:25岁,结束?,医学科学。(巴黎),29,11,998-1003(2013)
[83] 雅各布斯,L.D。;Cookfair,D.L。;Rudick,R.A。;Herndon,R.M。;Richert,J.R。;Salazar,A.M。;费舍尔,J.S。;Goodkin,D.E。;Granger,C.V。;Simon,J.H.,肌内干扰素β-1a治疗复发性多发性硬化症的疾病进展,神经病学年鉴。,39, 3, 285-294 (1996)
[84] 瓦伦丁,公元。;梅耶斯,C.A。;Kling,医学硕士。;Richelson,E。;Hauser,P.,干扰素α治疗的情绪和认知副作用,肿瘤学。,25,1补遗1,39-47(1998)
[85] Walther,E。;Hohlfeld,R.,干扰素β治疗的多发性硬化副作用及其管理,神经病学,53,8,1622-1627(1999)
[86] Fried,M.W.,丙型肝炎治疗的副作用及其管理,《肝病学》,36,S1,S237-S244(2002)
[87] 倍频社区,GNU倍频3.8.0(2014)
[88] 朱尔库南,I。;梅伦,K。;Nyqvist,M。;Pirhonen,J。;Sareneva,T。;Matikainen,S.,甲型流感病毒感染的炎症反应,疫苗,19,S32-S37(2000)
[89] Dianzani,F。;维亚诺,I。;桑蒂亚诺,M。;Zucca,M。;古利诺,P。;Baron,S.,体内干扰素产生和作用的组织培养模型,(人类干扰素(1978),Springer),119-131
[90] 卡萨格兰德,A。;Piazza,C.,《生物系统混合模型上的外部相互作用》,(宏观生物学中的形式方法。宏观生物学的形式方法,LNCS,第8738卷(2014),Springer),63-81·Zbl 1402.92198号
[91] Whitacre,J.M.,《生物稳健性:范式、机制和系统原理》,Front。遗传学。,3, 67 (2012)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。