孔慧;埃齐奥·巴托西;塞尔吉·博戈莫洛夫;拉杜·格罗苏;托马斯·亨辛格(Thomas A.Henzinger)。;姜瑜;克里斯蒂安·席林 多仿射系统的离散抽象。 (英语) Zbl 1428.92040号 Cinquemani,Eugenio(编辑)等人,《混合系统生物学》。2016年10月20日至21日在法国格勒诺布尔举行的2016年HSB第五届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9957, 128-144 (2016). 摘要:许多生物系统可以建模为多仿射杂交系统。由于多仿射系统的非线性,很难直接验证其感兴趣的性质。解决这个问题的一个常见策略是构造和分析原始系统的离散过逼近。然而,离散抽象的保守性在很大程度上决定了我们对原始系统属性的信心水平。在本文中,为了降低离散抽象的保守性,我们提出了一种基于充分必要决策条件的新方法,用于计算抽象系统中状态之间的离散转换。我们假设多仿射系统的状态空间划分基于一组多元多项式。因此,用形式为\(x_i-c)\的多项式定义的矩形分区只是多元多项式分区的简单情况,新的判定条件自然适用。我们通过一些例子分析并证明了我们的方法相对于现有方法的改进。关于整个系列,请参见[Zbl 1425.92005年]. MSC公司: 92立方厘米 系统生物学、网络 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 13页第10页 Gröbner基地;理想和模块的其他基础(例如Janet和border基础) 关键词:多烯烃系统;混合动力系统;离散抽象;状态空间划分;Gröbner基 PDF格式BibTeX公司 XML格式引用 \textit{H.Kong}等人,Lect。注释计算。科学。9957128-144(2016年;1428.92040兹罗提) 全文: 内政部 链接 链接