Computing reachable states of dynamical systems in Julia

Neural Network Verification Software Tool

Temporal Logic Planning toolbox

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.

Reachability and Safety of Nondeterministic Dynamical Systems

A synchronous language with ODEs

Reachability analysis for closed-loop control systems in Julia

HyPro: A C++ state set representation library for the analysis of hybrid systems

C++ framework for rigorous computation on cyber-physical systems

Automated Controller Synthesis

Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"

SON-EM - Algorithm for parameter estimation of hybrid time-varying parameter systems using Sum of Norms regularization and Expectation Maximization

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

DryVR 2.0 is a software for hybrid system verification

a web interface of HydLa

Parser for the SpaceEx modeling language in Julia

Projects, models, and proofs in KeYmaera X

Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020