格雷戈里·巴特;德容、希德;米歇尔·佩奇;约翰内斯·盖塞尔曼 使用离散抽象的遗传调控网络的符号可达性分析。 （英语） Zbl 1283.93046号 Automatica公司 44，第4期，982-989（2008）. 摘要：我们使用杂交系统技术分析一类分段仿射（PA）微分方程的可达性，这些方程特别适合于遗传调控网络的建模。更具体地说，我们引入了状态空间的超矩形划分，它构成了保持状态变量导数符号的离散抽象的基础。由此产生的离散过渡系统提供了对网络动力学的定性描述，该描述非常适合可用的实验数据，并且可以通过参数上的不等式约束以符号方式有效地进行计算。 引用于15文件 理学硕士： 93个B03 可达集，可达性 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 92立方厘米 系统生物学、网络 关键词：分段仿射微分方程;定性分析;离散抽象;混合系统;遗传调控网络;系统生物学 PDF格式BibTeX公司 XML格式引用 \textit{G.Batt}等人，Automatica 44，No.4，982--989（2008；Zbl 1283.93046） 全文： 内政部 arXiv公司 参考文献： [1] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；拉弗里尔，G。；Pappas，G.J.，混合系统的离散抽象，IEEE学报，88，971-984（2000） [2] 巴特·G。；Ropers，D。；德容，H。；Geiselmann，J。；Mateescu，R。；Page，M.，通过模型检查验证遗传调控网络的定性模型，生物信息学，21，i19-i28（2005） [3] Batt，G.、Ropers，D.、de Jong，H.、Geiselmann，J.、Page，M.和Schneider，D.（2005）。遗传调控网络混合模型的定性分析和验证。在M.Morari和L.Thiele（编辑）中，2005年HSCC会议记录。计算机科学课堂讲稿; Batt，G.、Ropers，D.、de Jong，H.、Geiselmann，J.、Page，M.和Schneider，D.（2005）。遗传调控网络混合模型的定性分析和验证。在M.Morari和L.Thiele（编辑）中，2005年HSCC会议记录。计算机科学课堂讲稿·Zbl 1078.93555号 [4] Batt，G.、Ropers，D.、de Jong，H.、Page，M.和Geiselmann，J.（2007）。基于定性抽象的遗传调控网络符号可达性分析\（语言）http://hal.iria.fr\（\范围\）；Batt，G.、Ropers，D.、de Jong，H.、Page，M.和Geiselmann，J.（2007）。基于定性抽象的遗传调控网络符号可达性分析\（语言）http://hal.iria.fr\（\等级\）·Zbl 1283.93046号 [5] 贝尔塔，C。；埃斯波西托，J.M。；Kim，J。；Kumar，V.，遗传网络动力学分析的计算技术，国际机器人研究杂志，24219-235（2005） [6] 德容，H。；古泽，J.-L。；埃尔南德斯，C。；Page，M。；萨里，T。；Geiselmann，J.，使用分段线性模型对遗传调控网络进行定性模拟，《数学生物学公报》，66，301-340（2004）·Zbl 1334.92282号 [7] Edwards，R.，《连续时间交换网络分析》，Physica D，146，165-199（2000）·Zbl 0986.94051号 [8] Filippov，A.F.，《具有不连续右手边的微分方程》（1988），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0664.34001号 [9] Ghosh，R。；Tomlin，C.J.，分段仿射混合自动机的符号可达集计算及其在生物建模中的应用，系统生物学，1170-183（2004） [10] 玻璃，L。；考夫曼，S.A.，《连续非线性生化控制网络的逻辑分析》，《理论生物学杂志》，39，103-129（1973） [11] 古泽，J.-L。；Sari，T.，生物模型中产生的一类分段线性微分方程，动力系统，17299-316（2002）·Zbl 1054.34013号 [12] 梅斯特尔，T。；普拉特，E。；Omholt，S.W.，《描述和分析基因调控网络的数学框架》，《理论生物学杂志》，176291-300（1995） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。