Search papers, labs, and topics across Lattice.
The authors integrate real-time, interval-based reachable-set overapproximations directly into sampling-based Model Predictive Control (MPC) to provide hard safety guarantees for dynamic robotic systems. This overcomes the critical limitation of traditional reachability methods, which rely on computationally prohibitive offline pre-computation and fail to scale to complex dynamics. The resulting framework slashes safety violations by over 99% in simulated racing environments and achieves crash-free performance during real-world physical racecar deployment.
Hard safety guarantees no longer require hours of offline pre-computation: an online, interval-based verification pipeline brings formal reachability directly into sampling-based MPC while eliminating over 99% of trajectory violations.
Sampling-Based Model-Predictive Control (MPC) algorithms are a flexible class of controllers used for navigation on a wide range of robotic systems. Historically, such approaches have lacked hard safety guarantees, a shortcoming which we remedy in this work by computing guaranteed reachable-set overapproximations online with a fast, interval-based pipeline. We show that our method achieves similar performance to a state-of-the-art reachability-based planner without the need for the expensive pre-computation step, and can be scaled to systems that are infeasible using existing approaches. Finally, we demonstrate that our technique reduces safety violations by over 99% in a racing simulation and successfully controls a model racecar on real hardware experiments without crashes.
