SAHA-工具 swMATH ID: 10315 软件作者： 达里奥·坎帕尼亚；卡拉广场 描述： 混合自动机、可达性和系统生物学。混合自动机是一种强大的形式主义，用于表示根据离散和连续定律演化的系统。不幸的是，当人们试图自动验证混合自动机属性时，很快就会出现不可判定性。一个重要的验证问题是可达性问题，它要求决定一组点是否从起始区域可达。par如果我们关注半代数混合自动机，可达性问题是半可判定的。然而，要解决这个问题必须付出高昂的计算成本。我们利用现有的一些工具分析了这个问题，并表明即使是简单的例子也无法有效地解决。有必要引入近似值来减少变量的数量，因为这是运行时需求的主要来源。我们提出了一些基于泰勒多项式和特殊策略的标准逼近方法。我们在SAHA-Tool软件中实现了我们的方法，并在两个生物学示例上显示了它们的有效性：阻遏因子和Delta-Notch蛋白信号。 主页： http://www.sciencedirect.com/science/article/pii/S0304397509008512 关键词： 半代数自动机；可达性；系统生物学 相关软件： OCaml公司；日/日；H溶剂；Uppaal公司；RSOLVER公司；高超声速；克洛诺斯；QEPCAD公司 引用于： 1文件 2位作者引用 1 达里奥·坎帕尼亚 1 卡拉广场 连载1篇 1 理论计算机科学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文