irafhy

Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton