https://github.com/juliareach/reachabilityanalysis.jl

Computing reachable states of dynamical systems in Julia

automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification

Last synced: 16 May 2025

https://github.com/JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification

Last synced: 27 Mar 2025

https://github.com/tulip-control/tulip-control

Temporal Logic Planning toolbox

abstraction automata control-systems feedback-systems hybrid-systems python specification state-machine synthesis temporal-logic verification

Last synced: 12 Apr 2025

https://github.com/tobiamarcucci/pympc

computational-geometry hybrid-systems linear-systems model-predictive-control

Last synced: 14 Apr 2025

https://github.com/juliareach/reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

automatic-control control-systems control-theory cyber-physical-systems dynamical-systems engineering formal-verification hybrid-systems julia ode reachability-analysis simulations verification

Last synced: 09 Apr 2025

https://github.com/inria/zelus

A synchronous language with ODEs

hybrid-systems ocaml odes synchronous-language zelus

Last synced: 19 Dec 2024

https://github.com/juliareach/closedloopreachability.jl

Reachability analysis for closed-loop control systems in Julia

control-systems differential-equations hybrid-systems neural-network robotics robustness

Last synced: 17 Feb 2025

https://github.com/juliareach/spaceexparser.jl

Parser for the SpaceEx modeling language in Julia

hybrid-systems model-based-design spaceex

Last synced: 17 Feb 2025

https://github.com/hrolive/quantum-autumn-school

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.

high-performance-computing hybrid-systems jupyter-notebook python quantum-algorithms quantum-chemistry quantum-computing quantum-finance

Last synced: 23 Feb 2025

https://github.com/kons-5/ist-msim-lab3

Lab 3 - Hybrid Systems

hybrid-systems lab latex matlab

Last synced: 27 Mar 2025