Reachability analysis for closed-loop control systems in Julia
-
Updated
Jun 3, 2024 - Polar
Reachability analysis for closed-loop control systems in Julia
Computing reachable states of dynamical systems in Julia
Parser for the SpaceEx modeling language in Julia
C++ framework for rigorous computation on cyber-physical systems
Mirroware is an advanced raycasting engine that offers mirrors. You can simulate ray reflections to create fun games and impressive scenes.
NOSNOC is an open source software package for NOnSmooth Numerical Optimal Control.
Temporal Logic Planning toolbox
Neural Network Verification Software Tool
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems" by S. Yang, Y. Chen, X. Yin, R. Mangharam
Projects, models, and proofs in KeYmaera X
[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.
Simplex-architectures prototype
A synchronous language with ODEs
Repository of the paper "Knowledge-Grounded Target Group Language Recognition in Hate Speech" (SEMANTiCS 2023).
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.
HyPro: A C++ state set representation library for the analysis of hybrid systems
Project from an introductory course in hybrid systems focussed on stability and performance.
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."