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

computer-assisted-proofs dynamical-systems infinite-dimensions julia nonlinear-equations rigorous-numerics

interval-arithmetic julia rigorous-numerics