Flow*: Reachability Analyzer for Hybrid Systems

Flow* is a tool to compute Taylor model flowpipes for continuous and hybrid systems. Currently, the tool supports hybrid systems with

• polynomial ODEs,
• mode invariants and jump guards defined by polynomial constraints,
• jump resets defined by polynomial mappings.

Homepage of Flow*
Homepage of some case studies on Flow*

Contact: Xin Chen