Sample Image

pyHybridAnalysis

Nov 30, 2017
Go to Project Site

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.

academic bioinformatics Dynamical systems