氢化物化是一种用于多仿射混合自动机（MHA）参数识别的工具。MHA代表了一种建模复杂动力系统的强大形式主义。这种形式主义特别适合于表示通常表现出高度非线性行为的生物系统。在本项目中，我们考虑了MHA的参数识别问题。我们提出了一种基于线性混合自动机的MHA抽象，可以通过SpaceEx模型检查器进行分析。这种抽象可以精确地处理与时间相关的属性。我们展示了我们的方法在基因调控网络模型和心肌细胞模型上的潜力。
包含论文评估中使用的代码、工具和模型的档案基于抽象的多仿射系统参数综合可以下载在这里.
有关更多信息，请联系塞尔吉·博戈莫洛夫或克里斯蒂安·席林.
