2022/04/13 by Sven Brüggemann, Brüggemann, Sven, Drew Steeves +3 · 1 citation
Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Real-time simulation and control systems #Systems and Control (eess.SY) #Vehicle Dynamics and Control Systems #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2204.06136
openalex publication_date 2022/04/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04
In this work, we combine Model Predictive Control (MPC) and Control Barrier Function (CBF) design methods to create a hierarchical control law for simultaneous lane-keeping (LK) and obstacle avoidance (OA): at the low level, MPC performs LK via trajectory tracking during nominal operation; and at the high level, different CBF-based safety filters that ensure both LK and OA are designed and compared across some practical scenarios. In particular, we show that Exponential Safety (ESf) and Prescribed-Time Safety (PTSf) filters, which override the MPC control when necessary, result in feasible Quadratic Programs when safety is prioritized appropriately. We additionally investigate control designs subject to input constraints by using Input-Constrained-CBFs. Finally, we compare the performance of combinations of ESf, PTSf, and their input-constrained counterparts with respect to the LK and OA goals in two simulation studies for early- and late-detected obstacle scenarios.