Sample Image

pyHybridAnalysis

pyHybridAnalysis is a Python package to both represent and analyze hybrid automata. It exploit an ϵ-semantics framework to reduce the reachability problem over hybrid automata to the satisfiability problem of a formula in the opportune theory.

See pyHybridAnalysis’s home page.

Related