×
彼得·克劳福德-卡尔;布里·康明斯;托马斯·基迪恩

比较两类ODE模型生成的全球网络动力学的组合签名。 （英语） Zbl 1412.37079号

SIAM J.应用。动态。系统。 18，第1期，418-457（2019）.
摘要：生物网络动力学建模带来了许多挑战，其中包括缺乏第一原理模型、网络的大小以及参数化的困难。离散时间布尔网络和相关的连续时间切换系统提供了一种可计算的方法，将网络结构转换为有关动力学的预测。最近的工作表明，开关系统的参数化动力学可以由一个组合对象捕获，该组合对象称为监管网络生成的动态特征码（DSGRN）数据库，该数据库由一个参数图组成，用于描述有限参数空间分解，其节点被分配一个莫尔斯图，该图捕获所有相应参数的全局动力学。我们证明，对于给定的网络，有一种方法可以通过考虑连续时间ODE系统和连续右手边（我们称之为L系统）来关联相同类型的对象。本文的主要目标是比较同一网络的两个DSGRN数据库。由于L系统可以被视为切换系统的扰动（不一定很小），因此我们的结果解决了切换系统的全局参数化动力学与其扰动之间的对应关系。我们证明，在相应的参数下，从切换系统的Morse图到L系统的Morse-图存在一个保序映射，该映射在吸引子集上是上射的，在不动点吸引子集中是双射的。我们提供了一些重要的例子，说明为什么这种对应关系不能得到加强。

引用于4文件

MSC公司：

第37页第25页 生物学中的动力学系统
93A30型 系统数学建模（MSC2010）
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）

关键词：

交换系统;监管网络;布尔网络;莫尔斯图;组合动力学

软件：

ASTREE公司;RoVerGeNe公司;金西姆
PDF格式BibTeX公司 XML格式引用
\textit{P.Crawford-Kahrl}等人，SIAM J.Appl。动态。系统。18，第1号，418--457（2019；Zbl 1412.37079）
全文： 内政部 arXiv公司

参考文献：

[1] W.Abou-Jaoude、D.Thieffry和J.Feret，《从生化网络对定性动力学模型的形式推导》，《生物系统》，149（2016），第70-112页。
[2] R.Albert、J.J.Collins和L.Glass，《焦点问题导论：遗传网络的定量方法》，《混沌》，23（2013），025001·Zbl 1331.92049号
[3] U.Alon，《系统生物学导论》，查普曼和霍尔/CRC，佛罗里达州博卡拉顿，2007年。
[4] Y.Artzy-Randrup、S.Fleishman、N.Ben-Tal和L.Stone，《网络主题评论：复杂网络的简单构建块和进化和设计网络的超家族》，《科学》，305（2004），1107。
[5] G.Batt、C.Belta和R.Weiss，《具有参数不确定性的基因调控网络模型检验》，摘自《混合系统：计算与控制》，A.Bempoad、A.Bicchi和G.Buttazzo编辑，柏林施普林格出版社，2007年，第61-75页·Zbl 1221.93135号
[6] G.Batt，D.Ropers，H.de Jong，J.Geiselmann，R.Mateescu，M.Page和D.Schneider，{通过模型检查验证遗传调控网络的定性模型：大肠杆菌营养应激反应分析}，生物信息学，21（2005），pp.i19-i28·Zbl 1078.93555号
[7] G.Batt、B.Yordanov、R.Weiss和C.Belta，《合成基因网络的稳健性分析和调谐》，生物信息学，23（2007），第2415-2422页。
[8] C.Belta和L.Habets，《控制矩形上的一类非线性系统》，IEEE Trans。自动。对照，51（2006），第1749-1759页·兹比尔1366.93278
[9] O.Bernard和J.Gouze，{一类非线性动力系统的全局定性描述}，Artific。智力。，136（2002），第29-59页·Zbl 0984.68186号
[10] B.Blanchet、P.Cousot、R.Cousot、J.Feret、L.Mauborgne、A.Mine、D.Monniaux和X.Rival，{\it大型安全关键软件的静态分析器}，《2003年ACM SIGPLAN编程语言设计与实现会议论文集》，R.Cytron和R.Gupta编辑，ACM，纽约，2003年，第196-207页·Zbl 1026.68514号
[11] D.Burkhart和J.Sage，{视网膜母细胞瘤基因抑制肿瘤的细胞机制}，《国家癌症评论》，8（2008），第671-682页。
[12] M.Chaves、E.D.Sontag和R.Albert，《基因控制网络布尔模型的稳健性分析方法》，IEE Proc。系统生物学。，153（2006），第154-167页。
[13] M.Chinnam和D.Goodrich，{it RB1，发展与癌症}，当前顶部。开发生物。，94（2011），第129-169页。
[14] P.Cousot，{通过抽象解释构建过渡系统语义层次的设计}，Theoret。计算。科学。，277（2002），第47-103页·Zbl 0996.68119号
[15] B.Cummins、T.Gedeon、S.Harker和K.Mischaikow，{通过时间序列的模型拒绝和参数简化}，SIAM J.Appl。动态。系统。，17（2018），第1589-1616页·Zbl 1393.37092号
[16] B.Cummins、T.Gedeon、S.Harker、K.Mischaikow和K.Mok，{开关系统参数空间的组合表示}，SIAM J.Appl。动态。系统。，15（2016），第2176-2212页·Zbl 1360.37180号
[17] H.de Jong、J.Gouze、C.Hernandez、M.Page、T.Sari和J.Geiselmann，{使用分段线性模型对遗传调控网络进行定性模拟}，布尔。数学。《生物学》，66（2004），第301-40页·Zbl 1334.92282号
[18] R.Edwards，{硬开关神经和基因网络中的混沌}，Differ。埃克。动态。系统。，9（2001），第187-220页·Zbl 1231.37051号
[19] R.Edwards、A.Machina、G.McGregor和P.van den Driessche，《基因调控网络（包括转录和翻译）的建模框架》，公牛。数学。《生物学》，77（2015），第953-983页·Zbl 1335.92031号
[20] F.Fages和S.Soliman，《Biocham中的形式细胞生物学》，收录于《计算系统生物学的形式方法》，M.Bernardo、P.Degano和G.Zavataro编辑，《计算讲义》。科学。5016，柏林施普林格出版社，2008年，第54-80页·Zbl 1137.68302号
[21] A.Faure、A.Naldi、C.Chaouiya和D.Thieffry，控制哺乳动物细胞周期的通用布尔模型的动态分析，生物信息学，22（2006），pp.e124-e131。
[22] T.Gedeon、S.Harker、H.Kokubu、K.Mischaikow和H.Oka，{二维陡峭S形非线性的全球动力学}，《物理学》。D、 339（2017），第18-38页·兹比尔1376.34019
[23] L.Glass和S.a.Kauffman，合作成分、空间定位和振荡细胞动力学，J.Theoret。生物学，34（1972），第219-237页。
[24] L.Glass和S.a.Kauffman，《连续非线性生化控制网络的逻辑分析》，J.Theoret。《生物学》，39（1973），第103-129页。
[25] A.Gonzalez、A.Naldi、L.Sanchez、D.Thieffry和C.Chaouiya，《GINSIM:监管网络定性建模、模拟和分析的软件套件》，《生物系统》，84（2006），第91-100页。
[26] Z.Huttinga，B.Cummins，T.Gedeon和K.Mischaikow，{切换系统的全局动力学及其线性微分方程扩展}，Phys。D、 367（2018），第19-37页·Zbl 1380.34035号
[27] P.J.Ingram、M.Stumpf和J.Stark，《网络基序：结构并不决定功能》，BMC Genomics，7（2006），108。
[28] L.Ironi、L.Panzeri、E.Plahte和V.Simoncini，《主动调控基因网络的动力学》，《物理学》。D、 240（2011），第779-794页·Zbl 1218.92040号
[29] G.Karlebach和R.Shamir，《基因调控网络的建模和分析》，《自然》，9（2008），第770-780页。
[30] W.Ma、A.Trusina、H.El-Samad、W.A.Lim和C.Tang，《定义可实现生化适应的网络拓扑》，《细胞》，138（2009），第760-773页。
[31] A.Manning和N.Dyson，《肿瘤抑制因子的有丝分裂影响》，《国家癌症评论》，12（2012），第220-226页。
[32] S.C.Shah NA，{生成开关式蜂窝响应的稳健网络拓扑}，《公共科学图书馆·计算》。《生物学》，7（2011），e1002085。
[33] S.N.Steinway、M.B.Biggs、T.P.Loughran、J.A.Papin和R.Albert，《肠道微生物组网络动力学和代谢相互作用的推断》，PLOS计算。《生物学》，11（2015），e1004338。
[34] R.Thomas，{基因控制电路的布尔形式化}，J.Theoret。《生物学》，42（1973），第563-585页。
[35] R.Thomas，《监管网络被视为异步自动机：逻辑描述》，J.Theoret。《生物学》，153（1991），第1-23页。
[36] R.Thomas、D.Thieffry和M.Kaufman，《生物调控网络的动态行为——I.反馈回路的生物作用和回路-特征状态概念的实际应用》，公牛。数学。《生物学》，57（1995），第247-276页·Zbl 0821.92009
[37] L.Tournier和M.Chaves，《利用异步布尔动力学揭示遗传网络中的操作交互》，J.Theoret。《生物学》，260（2009），第196-209页·Zbl 1402.92207号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。