Robust Safety for Mixed-Autonomy Traffic With Delays and Disturbances
DOI: 10.1109/tits.2024.3435952
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 critical challenge of ensuring formal safety guarantees for mixed-autonomy traffic systems—comprising both Connected and Automated Vehicles (CAVs) and Human-driven Vehicles (HVs)—in the presence of real-world imperfections. While previous research has focused on stabilizing traffic flow, it often neglects safety, particularly when delays and disturbances are present. The authors identify that actuator delays (from engine/brake response), sensor delays (from communication and filtering), and external disturbances (specifically speed variations from leading vehicles) can cause safety violations, such as rear-end collisions, even in stable systems. The study aims to develop a Robust Safety-Critical Traffic Control (RSTC) framework that prioritizes safety over stability by providing certified collision avoidance under these conditions. The methodology employs Control Barrier Functions (CBFs) integrated with state prediction and observation techniques. To handle actuator delays, the authors design a state predictor that estimates future system states over the delay interval. Because disturbances from the leading vehicle introduce prediction errors, the authors derive robust CBF constraints that account for bounded prediction errors, assuming the leading vehicle’s acceleration is bounded. To address sensor delays, where the CAV has partial and delayed information about the traffic state, the authors design a predictor-observer. This observer estimates the current system state by combining delayed measurements with the state predictor, allowing the construction of CBF constraints that guarantee safety despite estimation and prediction errors. The resulting control input is synthesized via a Quadratic Program (QP) that minimally modifies a nominal stabilizing controller to satisfy these robust safety constraints. The paper presents theoretical proofs demonstrating that the proposed RSTC framework ensures the forward invariance of safe sets for both the CAV and following HVs. Specifically, the authors derive explicit bounds on prediction errors caused by disturbances and estimation errors caused by sensor delays, incorporating these bounds into the CBF inequalities. Numerical simulations validate the approach, showing that the RSTC successfully avoids rear-end collisions in two unsafe traffic scenarios involving actuator delays, sensor delays, and disturbances. The results confirm that the controller maintains safety guarantees where traditional stabilizing controllers or non-robust safety filters fail. The significance of this work lies in providing the first robust CBF design for mixed-autonomy systems that simultaneously accounts for actuator delay, sensor delay, and external disturbances. The RSTC framework acts as a flexible safety filter that can be integrated with various existing CAV controllers, offering a practical solution for enhancing the safety of autonomous driving in mixed traffic environments. By formally guaranteeing "robust safety," the study bridges the gap between theoretical stability analysis and the practical safety requirements necessary for the public acceptance and deployment of automated vehicles.
Key finding
The proposed robust safety-critical traffic control framework guarantees collision-free operation in mixed-autonomy traffic by using predictor-based control barrier functions to compensate for actuator and sensor delays while accounting for disturbances.
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 | — | — | 1 | 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.