Dynamical systems

pyHybridAnalysis

A Python Package for the epsilon-Semantics Analysis of Hybrid Systems.

Sapo

A library for Reachability Computation and Parameter Synthesis of Polynomial Systems. Also available as a Web APP.