hybrid-systems

Computing reachable states of dynamical systems in Julia

Neural Network Verification Software Tool https://www.verivital.com Documentation:

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.

A synchronous language with ODEs

Reachability and Safety of Nondeterministic Dynamical Systems

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

Projects, models, and proofs in KeYmaera X

a web interface of HydLa

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

COLREGs-compliant collision avoidance (COLAV) automaton for Unmanned Surface Vehicles (USVs)