Enforcing Safety for Mixed Traffic Control via a Control Barrier Function Quadratic Program
DOI: 10.1016/j.ifacol.2023.10.1151
archive: archived pipeline: cataloged verified
Get this paper ↗ (DOI — opens at the source; we link to it, we don't host it)
Summary
This paper addresses the challenge of ensuring safety in mixed-autonomy traffic systems, where Connected Automated Vehicles (CAVs) interact with human-driven vehicles (HDVs). While CAVs are recognized as transformative for improving traffic performance, such as dissipating stop-and-go waves, their control design often fails to fully account for safety impacts. Specifically, existing controllers may cause rear-end collisions in safety-critical scenarios, hindering the broader application of CAV technology. The authors aim to design a Safety-critical Traffic Controller (STC) for a leading CAV that guarantees both safety and stability within the closed-loop mixed traffic system. The proposed method utilizes Control Barrier Functions (CBFs) to enforce safety constraints. The authors first define safe driving constraints for the CAV and HDVs, using CBFs to penalize any potential safety violations. They then synthesize a safety-critical controller by integrating these CBF constraints with a nominal control input. This integration is achieved by solving a Quadratic Programming (QP) problem. The resulting controller ensures that the CAV maintains string stability and adheres to safety boundaries, even when interacting with unpredictable human-driven vehicles. The approach focuses on a leading CAV scenario, providing a rigorous mathematical framework for real-time control decisions that prioritize collision avoidance without sacrificing traffic flow efficiency. The study demonstrates that the proposed STC effectively prevents rear-end collisions in safety-critical situations where traditional controllers might fail. By embedding safety constraints directly into the control optimization via CBFs, the controller guarantees that the system remains within a safe set of states. The numerical results indicate that the method successfully stabilizes the mixed vehicle platoon while maintaining the necessary safety margins between the CAV and surrounding HDVs. This ensures that the CAV can operate reliably in mixed traffic environments, addressing the specific gap in current literature regarding the safety implications of CAV control designs. The significance of this work lies in its contribution to the safe deployment of automated vehicles in real-world, mixed-autonomy settings. By providing a provably safe control strategy, the paper offers a solution to the critical barrier of trust and safety in CAV adoption. The use of CBFs combined with QP provides a computationally efficient and theoretically sound method for real-time implementation. This approach not only enhances the safety of individual CAVs but also contributes to the overall stability and safety of the traffic system, facilitating the transition toward more automated transportation networks.
Key finding
The proposed Safety-critical Traffic Controller using Control Barrier Functions and Quadratic Programming successfully enforces safety and string stability for mixed traffic platoons in numerical simulations.
Methodology
simulation_modeling
Provenance
The full processing record for this entry. Every stage of this paper's journey through the pipeline is logged — what ran, with which tool and model, how many attempts it took, and when it last completed. Discovered via author_sweep_intake on 2026-05-28.
| Stage | Outcome | Tool | Model | Prompt | Attempts | Completed |
|---|---|---|---|---|---|---|
| discover | success | author_sweep | — | — | 2 | 2026-05-28 |
| archive | success | canonical_url | — | — | 11 | 2026-06-06 |
| extract | success | cached | — | — | 3 | 2026-06-10 |
| clean | success | clean | — | — | 1 | 2026-06-04 |
| chunk | success | chunk | — | — | 1 | 2026-06-04 |
| embed | success | embed | Qwen/Qwen3-Embedding-8B | — | 1 | 2026-06-04 |
| enrich | success | — | — | — | 1 | 2026-05-28 |
| promote | success | — | — | — | 1 | 2026-06-04 |
| summarize | success | llm | qwen3.6-27b-prismaquant | summ-v5 | 2 | 2026-06-10 |
| tag | success | vector_similarity | — | — | 15 | 2026-06-11 |
| verify | success | — | — | — | 2 | 2026-06-10 |
Summary generated by qwen3.6-27b-prismaquant on 2026-06-10; verification: verified.
Topics
Ranked by relevance to this paper. Hover a topic for its definition.