HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
arXiv:1712.00570 · doi:10.1007/978-3-319-67531-2_23
Abstract
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.
Appeared in RV'17; the final publication is available at Springer