HySIA：基于区间分析的混合自动机仿真与监控工具
计算机科学中的逻辑
2017-12-05 v1
摘要
我们提出 HySIA：一个用于非线性混合自动机（HA）与信号时序逻辑（STL）性质的可信运行时验证工具。HySIA 采用区间分析技术仿真 HA，从而将轨迹紧密包围于一组区间之内。随后，HySIA 计算仿真轨迹是否满足给定 STL 性质；该计算同样借助区间分析以实现可靠性。通过若干 HA 与 STL 公式的实例展示了 HySIA 的仿真与验证。
引用
@article{arxiv.1712.00570,
title = {HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis},
author = {Daisuke Ishii and Alexandre Goldsztejn},
journal= {arXiv preprint arXiv:1712.00570},
year = {2017}
}
备注
Appeared in RV'17; the final publication is available at Springer