Computing reachable states of dynamical systems in Julia
-
Updated
Aug 3, 2024 - Julia
Computing reachable states of dynamical systems in Julia
Temporal Logic Planning toolbox
Neural Network Verification Software Tool
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Reachability and Safety of Nondeterministic Dynamical Systems
A synchronous language with ODEs
nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.
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
SON-EM - Algorithm for parameter estimation of hybrid time-varying parameter systems using Sum of Norms regularization and Expectation Maximization
Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems" by S. Yang, Y. Chen, X. Yin, R. Mangharam
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
DryVR 2.0 is a software for hybrid system verification
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
Add a description, image, and links to the hybrid-systems topic page so that developers can more easily learn about it.
To associate your repository with the hybrid-systems topic, visit your repo's landing page and select "manage topics."