Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

juliahub.com "cyber-physical-systems" keyword

ReachabilityAnalysis 0.25.0

Computing reachable states of dynamical systems in Julia
85 versions - Latest release: about 1 month ago - 1 dependent package - 185 stars on GitHub

Related Keywords

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