×
瓦实提·加尔平；简·希尔斯顿；卢卡·博托卢西

HYPE应用于混合生物系统的建模。 （英语） Zbl 1286.92027号

Bauer，Andrej（编辑）等人，《第24届编程语义数学基础会议论文集》（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记218，33-51（2008）。
概要：HYPE是一个过程代数，用于对混合系统进行建模，该系统同时显示连续和离散行为。它是新颖的，因为它允许对单个流量进行建模，这意味着可以根据这些流量对子组件进行建模，而不需要单独描述。生物系统固有地表现出离散的行为，但建模者可能会选择以混合方式建模系统，通常是为了处理规模上的差异。我们演示了HYPE如何用于建模阻遏物。
关于整个系列，请参见[Zbl 1280.68015号].

引用于8文件

MSC公司：

第92页第42页 系统生物学、网络
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

系统生物学；混合系统；进程代数

软件：

生物-PEPA；政治公众人物协议
PDF格式BibTeX公司 XML格式引用
\textit{V.Galpin}等人，《电子》。注释Theor。计算。科学。218、33-51（2008年；Zbl 1286.92027）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；贝尔塔，C。；伊万·伊奇，F。；库马尔，V。；明茨，M。；帕帕斯，G.J。；鲁宾，H。；Schug，J.，《生物分子网络的混合建模与模拟》，（Benedetto，M.D.D.；Sangiovanni-Vincentelli，A.L.，《混合系统：计算与控制》，《杂交系统：计算和控制》，第四届国际研讨会（HSCC 2001），意大利罗马。混合系统：计算与控制。混合系统：计算与控制，第四届国际研讨会（HSCC 2001），意大利罗马，LNCS，2034（2001）），19-32·Zbl 0993.92010
[2] Bergstra，J.A。；Middelburg，C.A.，混合系统的过程代数，理论计算机科学，335，215-280（2005）·兹比尔1080.68073
[3] 布洛西，R。；Cardelli，L。；Phillips，A.，《基因网络随机动力学的组合方法》，（Priami，C.；Cardelli，L.；Emmott，S.，《计算系统生物学学报》，第四期，计算系统生物学杂志，LNCS，3939（2006）），99-122·Zbl 1179.92021号
[4] Bortolussi，L。；Policriti，A.，《并行约束编程中的生物系统建模》，《约束》，第13期，第66-90页（2008年）·Zbl 1144.92001号
[5] Bortolusssi，L.和A.Policriti，系统生物学中随机过程代数的混合逼近国际自动控制联合会世界大会; Bortolusssi，L.和A.Policriti，系统生物学中随机过程代数的混合逼近国际自动控制联合会世界大会
[6] 考尔德，M。；吉尔摩，S。；Hillston，J.，使用随机过程代数PEPA模拟RKIP对ERK信号通路的影响，（Priami，C.；Ingólfsdóttir，A.；Mishra，B.；Nielson，H.R.，计算系统生物学学报VII.计算系统生物学杂志VII，LNCS，4230（2006）），1-23
[7] 乔切塔、F.和J.希尔斯顿，Bio-PEPA：生物系统建模和分析框架http://www.inf.ed.ac.uk/publications/report/1231.html; 乔切塔、F.和J.希尔斯顿，Bio-PEPA：生物系统建模和分析框架http://www.inf.ed.ac.uk/publications/report/1231.html ·Zbl 1173.68041号
[8] Cuijpers，P.J.L。；Reniers，M.A.，混合过程代数，逻辑与代数编程杂志，62191-245（2005）·兹比尔1090.68071
[9] Danos，V。；Laneve，C.，形式分子生物学，理论计算机科学，32569-110（2004）·Zbl 1071.68041号
[10] Elowitz，M.B。；Leibler，S.，转录调节器的合成振荡网络，《自然》，40335-338（2000）
[11] 加尔平，V.，L.博托鲁西和J.希尔斯顿，HYPE：用流建模的混合系统http://www.inf.ed.ac.uk/publications/report/1251.html; 加尔平，V.，L.博托鲁西和J.希尔斯顿，HYPE：用流建模的混合系统网址：http://www.inf.ed.ac.uk/publications/report/1251.html ·Zbl 1286.92027号
[12] T.A.亨廷格。，混合自动机理论低收入国家; T.A.亨廷格。，混合自动机理论低收入国家·Zbl 0959.68073号
[13] Hillston，J.，《性能建模的组合方法》（1996），剑桥大学出版社
[14] 林肯，P。；Tiwari，A.，《符号系统生物学：生物网络的混合建模与分析》，（Alur，R.；Pappas，G.J.，《混合系统：计算与控制》，第七届国际研讨会，（HSCC 2004），美国宾夕法尼亚州费城。混合系统：计算与控制，第七届国际研讨会，（HSCC 2004），美国宾夕法尼亚州费城，LNCS，2993（2004）），660-672·兹比尔1135.93308
[15] Priami，C.，《随机（π）演算》，《计算机杂志》，38，578-589（1995）
[16] Priami，C。；Quaglia，P.，《生物相互作用的β结合物》，（Danos，V.；Schächter，V.，《系统生物学中的计算方法》，国际会议，（CMSB 2004），法国巴黎。系统生物学中的计算方法。系统生物学中的计算方法，国际会议，（CMSB 2004），法国巴黎，LNCS，3082（2004）），20-33·Zbl 1088.68646号
[17] Priami，C。；雷格夫，A。；夏皮罗，E。；Silverman，W.，《随机命名演算在分子过程表示和模拟中的应用》，《信息处理快报》，80，25-31（2001）·Zbl 0997.92018号
[18] 雷格夫，A。；帕尼娜，E。；西尔弗曼。；Cardelli，L。；Shapiro，E.，《生物环境：生物隔室的抽象》，《理论计算机科学》，325141-167（2004）·Zbl 1069.68569号
[19] 圆形，W.C。；Song，H.，《Φ-演算：可重构嵌入式系统的分布式控制语言》（TheΦ-calculation:A language for distributed control of reconfigurable embedded systems），（Maler，O.；Pnueli，A.，《混合系统：计算与控制》，第六届国际研讨会，（HSCC 2003），捷克共和国布拉格。混合系统：计算与控制，第六届国际研讨会。混合系统：计算与控制，第六届国际研讨会，（HSCC 2003），捷克共和国布拉格，LNCS，2623（2003）），435-449·Zbl 1032.93036号
[20] 塔芬，B。；Chen，D.S。；Trivedi，K.S.，混合系统与流体随机petri网的比较，离散事件动态系统：理论与应用，11，77-95（2001）·Zbl 0973.93028号
[21] van Beek，D。；曼·K。；Reniers，M。；Rooda，J。；Schiffellers，R.，《混合Chi的语法和一致方程语义》，《逻辑与代数编程杂志》，68，129-210（2006）·Zbl 1088.68111号
[22] 叶，P。；Entcheva，E。；格罗苏，R。；Smolka，S.A.，《使用混合自动机对可兴奋细胞进行有效建模》，（Plotkin，G.，《系统生物学中的计算方法学报》，系统生物学中计算方法学报，（CMSB 2005）（2005），爱丁堡：爱丁堡-苏格兰），216-227
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。