2 results found Sort:

JuliaReach
LazySets.jl JuliaReach
37
246
other
8
Scalable symbolic-numeric set computations in Julia
sets julia calculus geometry polygons zonotope polyhedra convex-hull convex-sets projections minkowski-sum lazy-evaluation set-propagation formal-verification geometry-algorithms reachability-analysis computational-geometry
Created 2017-10-03
6,476 commits to master branch, last one 5 days ago
JuliaReach
ReachabilityAnalysis.jl JuliaReach
17
201
mit
9
Computing reachable states of dynamical systems in Julia
ode julia flowpipe simulations verification hybrid-systems control-systems set-propagation automatic-control dynamical-systems rigorous-numerics numerical-analysis formal-verification interval-arithmetic reachability-analysis cyber-physical-systems differential-equations
Created 2019-12-03
1,988 commits to master branch, last one 6 days ago