Roahm Lab's repositories
reachability-based_trajectory_safeguard
We 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 decisions that cause a collision with an obstacle.
koopman-realizations
Codebase for generating linear/bilinear/nonlinear Koopman model realizations from data and constructing MPC controllers.
RTD_quadrotor_DSCC_2019
RTD for quadrotors using zonotopes/intervals
zonopy-robots
Robotics extensions for zonopy
LIO-SAM
LIO-SAM: Tightly-coupled Lidar Inertial Odometry via Smoothing and Mapping
Language:C++BSD-3-Clause000
curobo
CUDA Accelerated Robot Library (For SPARROWS Comparison)
Language:PythonNOASSERTION000
Language:MATLAB000