参数化生物模型振荡属性的证伪
计算机科学中的逻辑
2013-09-05 v1 计算工程、金融与科学
系统与控制
摘要
我们提出了一种基于最近开发的连续系统和混合系统测试技术，用于证伪参数化生物模型振荡属性的方法。在该方法中，振荡属性可以使用混合自动机进行指定，随后用于指导状态空间和输入空间的探索，以搜索不满足该属性的行为。我们以 Dictyostelium 聚集阶段自发振荡的 Laub-Loomis 模型为例说明了该方法。
引用
@article{arxiv.1309.0869,
title = {Falsifying Oscillation Properties of Parametric Biological Models},
author = {Thao Dang and Tommaso Dreossi},
journal= {arXiv preprint arXiv:1309.0869},
year = {2013}
}
备注
In Proceedings HSB 2013, arXiv:1308.5724