Hybrid system analysis

pyHybridAnalysis

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

Sapo

Reachability Computation and Parameter Synthesis for Polynomial Systems.