đ¤ AI Summary
This work addresses the lack of formal collision-avoidance guarantees for learning-based motion planners in complex road environments. We propose a real-time safety filter grounded in Control Barrier Functions (CBFs), enabling rigorous safety enforcement without compromising planning fidelity. Our method is the first to embed exact, non-conservative safety constraints for arbitrarily shaped road boundariesâeliminating the need for geometric approximations. Safety is enforced via online minimal-intervention quadratic programming (QP), which rectifies control commands while preserving the plannerâs original intent. Extensive evaluation across challenging scenariosâincluding high-curvature, multi-branch, and narrow road segmentsâdemonstrates 100% safety compliance and an average computation frequency of 40 Hz. The implementation, including source code and demonstration videos, is publicly available.
đ Abstract
We present a real-time safety filter for motion planning, such as learning-based methods, using Control Barrier Functions (CBFs), which provides formal guarantees for collision avoidance with road boundaries. A key feature of our approach is its ability to directly incorporate road geometries of arbitrary shape without resorting to conservative overapproximations. We formulate the safety filter as a constrained optimization problem in the form of a Quadratic Program (QP). It achieves safety by making minimal, necessary adjustments to the control actions issued by the nominal motion planner. We validate our safety filter through extensive numerical experiments across a variety of traffic scenarios featuring complex roads. The results confirm its reliable safety and high computational efficiency (execution frequency up to 40 Hz). Code&Video Demo: github.com/bassamlab/SigmaRL