There are 3 repositories under hybrid-systems topic.
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
nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.
Reachability analysis for closed-loop control systems in Julia
C++ framework for rigorous computation on cyber-physical 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
Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems" by S. Yang, Y. Chen, X. Yin, R. Mangharam
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
My master's thesis on Machine Translation
A shallow-embedded DSL for modeling cyber-physical systems
A tool for parallel automated controller synthesis for large-scale stochastic systems.
Faster Integration using parallel processing.
[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.
Hybrid-FS: A planner for controlling hybrid systems specified in Functional STRIPS
FS+ Planner packaged for deployment into simulators
How to use KeYmaera X as a library in a Scala code base.
ENCCS is now again joining forces with the Wallenberg Centre of Quantum Technologies (WACQT) and the Nordic/Baltic NordIQuEst project to deliver a three-day autumn school covering the fundamentals of quantum computing.
Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos
Linearization of non-linear dynamic systems for reachability analysis
Simplex-architectures prototype
Repository of the paper "Knowledge-Grounded Target Group Language Recognition in Hate Speech" (SEMANTiCS 2023).
Duration monad and hybrid semantics in cubical Agda
Mirroware is an advanced raycasting engine that offers mirrors. You can simulate ray reflections to create fun games and impressive scenes.