hybrid-systems topic
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
tulip-control
Temporal Logic Planning toolbox
Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
nnv
Neural Network Verification Software Tool
KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
pympc
ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
zelus
A synchronous language with ODEs
nosnoc
NOSNOC is an open source software package for NOnSmooth Numerical Optimal Control.
ariadne
C++ framework for rigorous computation on cyber-physical systems