All Categories → No Category → hybrid-systems

Top 2 hybrid-systems open source projects

NeuralNetworkAnalysis.jl

Reachability analysis for closed-loop control systems

✭ 37

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

HyPro: A C++ state set representation library for the analysis of hybrid systems

✭ 24

C++c matlab TeX shell AMPL hybrid-systems reachability-analysis flowpipe-construction hybrid-automata

1-2 of 2 hybrid-systems projects