This is the documentation of IraFhy, an interval arithmetic based reachability analysis framework designed for hybrid automatons.

You can start your development quickly by following the instructions of User Guide, state set representation related information can be found in Representation, utilties illustrated in Utility, the documentation also provide some examples which help you to enhance your understanding of the library's usage.