HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis

Daisuke Ishii, Alexandre Goldsztejn

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 t…