HySIA：基于区间分析的混合自动机仿真与监控工具
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
摘要：
我们提出HySIA：一个可靠的非线性混合自动机（HA）和信号时序逻辑（STL）属性的运行时验证工具。HySIA用区间分析技术模拟HA，以便轨迹被急剧封闭在一组区间内。然后，HySIA计算模拟轨迹是否满足给定的STL属性;再次进行区间分析，以实现可靠性的计算。通过几个示例HA和STL公式演示了使用HySIA的模拟和验证。
英文摘要：
We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis techniques so that a trajectory is enclosed sharply within a set of intervals. Then, HySIA computes whether the simulated trajectory satisfies a given STL property; the computation is performed again with interval analysis to achieve reliability. Simulation and verification using HySIA are demonstrated through several example HA and STL formulas.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
