JuliaReach / LazySets.jl Star 226 Code Issues Pull requests Scalable symbolic-numeric set computations in Julia 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 Updated Sep 28, 2024 Julia
JuliaReach / ReachabilityAnalysis.jl Star 190 Code Issues Pull requests 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 Sep 21, 2024 Julia
JuliaReach / IntervalMatrices.jl Star 18 Code Issues Pull requests Matrices with interval coefficients in Julia interval-arithmetic intervals matrix-computations reachability-analysis matrix-exponential Updated Sep 14, 2024 Julia
JuliaReach / Reachability.jl Star 50 Code Issues Pull requests Reachability and Safety of Nondeterministic Dynamical Systems engineering julia verification ode simulations dynamical-systems control-systems hybrid-systems formal-verification control-theory cyber-physical-systems reachability-analysis automatic-control Updated May 22, 2021 Julia