Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com "hybrid-systems" keyword
ReachabilityAnalysis 0.25.0
Computing reachable states of dynamical systems in Julia85 versions - Latest release: 28 days ago - 1 dependent package - 185 stars on GitHub
ClosedLoopReachability 0.5.3
Reachability analysis for closed-loop control systems in Julia13 versions - Latest release: 27 days ago - 44 stars on GitHub
Related Keywords
control-systems
2
differential-equations
2
neural-network
1
robotics
1
robustness
1
numerical-analysis
1
formal-verification
1
cyber-physical-systems
1
reachability-analysis
1
rigorous-numerics
1
interval-arithmetic
1
dynamical-systems
1
verification
1
ode
1
julia
1
automatic-control
1
simulations
1
flowpipe
1
set-propagation
1