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

Daisuke Ishii, Alexandre Goldsztejn

Browse the full RV paper archive.