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
6,012 commits to master branch, last one 18 days ago
aalanwar
Data-Driven-Predictive-Control aalanwar
8
55
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 8 months ago