Computing reachable states of dynamical systems in Julia
julia
verification
ode
simulations
dynamical-systems
control-systems
differential-equations
interval-arithmetic
hybrid-systems
formal-verification
numerical-analysis
cyber-physical-systems
reachability-analysis
automatic-control
flowpipe
rigorous-numerics
set-propagation
-
Updated
Jun 29, 2024 - Julia