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

12/02/2017

∙

by   Daisuke Ishii, et al.

∙

0

∙

share

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.