Popular repositories Loading
-
reachability-based_trajectory_safeguard
reachability-based_trajectory_safeguard PublicWe use reachability to ensure the safety of a decision agent acting on a dynamic system in real-time. We compute the Forward Reachable Set offline and use it online to adjust any potentially unsafe…
-
koopman-realizations
koopman-realizations PublicCodebase for generating linear/bilinear/nonlinear Koopman model realizations from data and constructing MPC controllers.
Repositories
Showing 10 of 33 repositories
- crows-demo Public Forked from roahmlab/crows
CROWS: Conformalized Reachable Sets for Obstacle Avoidance With Spheres
roahmlab/crows-demo’s past year of commit activity - aligator-roahmlab Public Forked from Simple-Robotics/aligator
A versatile and efficient framework for constrained trajectory optimization (Comparison for RAPTOR)
roahmlab/aligator-roahmlab’s past year of commit activity