calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra sets minkowski-sum reachability-analysis convex-sets geometry-algorithms zonotope set-propagation

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

formal-verification reachability-analysis hybrid-system set-propagation support-function