set-propagation

There are 1 repository under set-propagation topic.

JuliaReach / LazySets.jl
Scalable symbolic-numeric set computations in Julia
calculus computational-geometry convex-hull convex-sets formal-verification geometry geometry-algorithms julia lazy-evaluation minkowski-sum polygons polyhedra projections reachability-analysis set-propagation sets zonotope
Language:Julia 225
JuliaReach / ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
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
Language:Julia 186
JuliaReach / LazySets-JuliaCon21
LazySets.jl article for the JuliaCon 2021 Conference Proceedings
set-propagation reachability-analysis hybrid-system support-function formal-verification
Language:TeX 5