2 results found Sort:

JuliaReach
LazySets.jl JuliaReach
32
226
other
9
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
5,642 commits to master branch, last one 14 hours ago
aalanwar
Data-Driven-Predictive-Control aalanwar
9
45
unknown
1
Data-Driven Predictive Control
mpc zonotope data-driven predictive-control reachability-analysis data-driven-predictive-control
Created 2020-12-08
31 commits to main branch, last one 3 months ago