Analytical Safety Bounds for Trajectory Following Controllers in Autonomous Vehicles

Jacumet, Robert; Rathgeber, Christian; Nenchev, Vladislav

doi:10.1109/codit58514.2023.10284507

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

2024

Publication Types

Select...

Book1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Code-Level Safety Verification for Automated Driving: A Case Study

Nenchev,

Imrie,

Gerasimou

et al. 2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The formal safety analysis of automated driving vehicles poses unique challenges due to their dynamic operating conditions and significant complexity. This paper presents a case study of applying formal safety verification to adaptive cruise controllers. Unlike the majority of existing verification approaches in the automotive domain, which only analyze (potentially imperfect) controller models, employ simulation to find counter-examples or use online monitors for runtime verification, our method verifies controllers at code level by utilizing bounded model checking. Verification is performed against an invariant set derived from formal specifications and an analytical model of the required behavior. For neural network controllers, we propose a scalable three-step decomposition, which additionally uses a neural network verifier. We show that both traditionally implemented as well as neural network controllers are verified within minutes. The dual focus on formal safety and implementation verification provides a comprehensive framework applicable to similar cyber-physical systems.

show abstract