Autonomous Vehicles with Safety Guarantees
February 1, 2024
·
1 min read
A demonstration suite for safe autonomous vehicle trajectory optimization.
- Lane, vehicle, pedestrian, traffic light, and sign detection pipelines
- Autonomous lane change via nonlinear model predictive control (nMPC)
- Safety-guaranteed lane change using Control Barrier Functions integrated into nMPC (CBF-nMPC), with formal guarantees of non-collision with simulated traffic
Authors
Graduate Researcher
Doctoral student at the University of Colorado Boulder, Smead Department of Aerospace Engineering Sciences. Research in differential game theory, safe multi-agent systems, and computational astrodynamics — with a focus on algorithms that are tractable enough to run onboard while providing formal guarantees.