混合系统有界可达性的Delta-完备分析
系统与控制
2014-04-30 v1 计算机科学中的逻辑
摘要
我们提出了针对一般混合系统有界可达性问题的delta-完备分析框架。我们通过求解实数上的delta-判定问题来执行有界可达性检查。该技术考虑了系统在数值扰动下的鲁棒性属性。我们证明，在这个新框架下，验证问题在数学上变得更加易于处理。我们对该技术的实现——开源工具dReach——在生物医学和机器人应用中出现的几个高度非线性混合系统模型上具有良好的可扩展性。
引用
@article{arxiv.1404.7171,
title = {Delta-Complete Analysis for Bounded Reachability of Hybrid Systems},
author = {Sicun Gao and Soonho Kong and Wei Chen and Edmund Clarke},
journal= {arXiv preprint arXiv:1404.7171},
year = {2014}
}