MARCO公司 swMATH编号: 2719 软件作者: 伯曼,春天;阿尔达姆·哈尔斯;库马尔,维杰 描述: MARCO:多仿射系统的可达性算法,用于生物系统。提出了一种新的多仿射混合系统可达性分析算法。在我们之前的可达性分析和我们的合作者的工作中,我们利用了多仿射函数的凸性,以及具有矩形不变量的模式中的向量场唯一地由其在矩形顶点处的值决定的事实。在本文中,我们显式地计算了每个模式不变量中可达集的圆锥过逼近。我们使用圆锥超逼近MARCO描述了我们的多仿射可达性分析,并表明其结果优于现有多仿射混合系统方法获得的结果。最后,我们演示了MARCO在蚂蚁狩猎模型分析中的应用,该模型包括群体感应和由葡萄糖和乳糖调节的乳糖诱导系统的双稳态分析 主页: http://link.springer.com/chapter/10.1007%2F978-3-540-71493-4_9 依赖项: Matlab公司 相关软件: 高超声速;PHAVer公司;流量*;SpaceEx公司;nuXmv(数字);超小卫星;MUSer2系列;z3(零3);MPI/MPICH公司;萨波;d到达;pyHybrid分析;椭圆工具箱;阿里阿德涅;MPT公司;凯伊迈拉;CUDA公司;日/日;重新记录;QEPCAD公司 引用于: 5文件 标准文章 1出版物描述软件,包括1出版物以zbMATH为单位 年份 MARCO:多仿射系统的可达性算法,用于生物系统。 Zbl 1221.93027号伯曼,春天;阿尔达姆·哈尔斯;库马尔,维杰 2007 全部的 前5名13位作者引用 1 埃齐奥·巴托西 1 雅罗斯拉夫·本迪克 1 伯曼,春天 1 伊万娜·乔纳 1 Thao Dang先生 1 托马索·德罗西 1 阿尔达姆·m·哈尔斯。 1 维杰·库马尔。 1 彼得罗·利奥 1 伊曼纽拉·梅雷利 1 尼古拉·保莱蒂 1 卡拉广场 1 桑卡拉纳拉亚南,斯里拉姆 2篇连载文章中引用 1 系统设计中的形式化方法 1 非线性分析。混合动力系统 在5个字段中引用 3 系统论;控制(93至XX) 2 生物学和其他自然科学(92-XX) 1 常微分方程(34-XX) 1 计算机科学(68至XX) 1 可变形固体力学(74-XX) 按年份列出的引文