irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
Representation

introduction about the state representations and formula representations