A synchronous language with ODEs
-
Updated
Oct 23, 2024 - OCaml
A synchronous language with ODEs
nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.
Parser for the SpaceEx modeling language in Julia
Reachability analysis for closed-loop control systems in Julia
Computing reachable states of dynamical systems in Julia
C++ framework for rigorous computation on cyber-physical systems
Hybrid Modeling, Simulation, and Sub-Optimal Synthesis of a controller for the Ultrafiltration of Industrial Wastewater
Neural Network Verification Software Tool
Temporal Logic Planning toolbox
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
HyPro: A C++ state set representation library for the analysis of hybrid systems
Projects, models, and proofs in KeYmaera X
My master's thesis on Machine Translation
Mirroware is an advanced raycasting engine that offers mirrors. You can simulate ray reflections to create fun games and impressive scenes.
Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems" by S. Yang, Y. Chen, X. Yin, R. Mangharam
[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.
Simplex-architectures prototype
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."