Abstract:Addressing decision safety in the unpredictable arena of complex traffic scenarios represents a significant hurdle for autonomous driving systems. Considering the inherent spatial-temporal uncertainties associated with the future actions of surrounding traffic participants, real-time safety verification of autonomous driving decisions is crucial to maintaining vehicular safety. Existing online verification methodologies, such as Responsibility Sensitive Safety (RSS) and Safety Force Field (SFF), ensure driving safety by formalizing human safe-driving rules and constraining the vehicle to maintain safe lateral and longitudinal distances in real-time. While these methods effectively prevent collisions instigated by the autonomous vehicle itself, they lack sufficient foresight and often result in less smooth driving trajectories. To address these limitations, we propose an innovative, interpretable, formal safety verification framework. This approach integrates both explicit and implicit traffic rules to anticipate all legally acceptable transitions of traffic scenarios. It builds the lawful, short-term reachable region for each vehicle, and verifies the safety of autonomous vehicle decisions by assessing whether the regions these vehicles inhabit, in accordance with the expected trajectory, overlap with the accessible zones of other vehicles. Furthermore, in scenarios presenting potential danger, a backup smooth safety trajectory is derived from the autonomous vehicle's legal reachability domain as a preventive measure to degrade safety threats. As a cornerstone of safety for autonomous vehicles, our proposed method ensures a continual safe trajectory in all traffic scenarios, provided that other participants adhere to traffic rules. Experimental outcomes, grounded in the ISO 34502 standard and real-world critical safety scenarios, demonstrate the method's efficacy in identifying potentially dangerous decisions and mitigating aut- nomous vehicle-induced traffic accidents.

Reachability Analysis plus Satisfiability Modulo Theories: An Adversary-Proof Control Method for Connected and Autonomous Vehicles

A Safety-Enhanced Eco-Driving Strategy for Connected and Autonomous Vehicles: A Hierarchical and Distributed Framework

Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions

On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions

Digital Twin-Assisted Safety Control for Connected Automated Vehicles in Mixed-Autonomy Traffics

On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions

Trust-Aware Resilient Control and Coordination of Connected and Automated Vehicles

Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control

A Safe Control Architecture Based on Robust Model Predictive Control for Autonomous Driving

Online Safety Verification of Autonomous Driving Decision-Making Based on Dynamic Reachability Analysis

Safety-Critical Traffic Control by Connected Automated Vehicles

A Safe Control Architecture Based on a Model Predictive Control Supervisor for Autonomous Driving

Cyberattacks on Adaptive Cruise Control Vehicles: An Analytical Characterization

Controllability Analysis and Optimal Control of Mixed Traffic Flow With Human-Driven and Autonomous Vehicles

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

Controllability Analysis and Optimal Controller Synthesis of Mixed Traffic Systems.

REFINE: Reachability-Based Trajectory Design Using Robust Feedback Linearization and Zonotopes

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets

Control Safety Function for Explicit Safety-Critical Control of Autonomous Vehicles

Safe Motion Planning and Control Framework for Automated Vehicles with Zonotopic TRMPC

Cyber-Physical-Level Safe Control of Intelligent and Connected Vehicles with Unreliable Communication and Actuator Faults