An online verification framework for motion planning of self-driving vehicles with safety guarantees

Christian Pek, Markus Koschi, Matthias Althoff

Research output: Contribution to conferencePaperpeer-review

Abstract

Self-driving vehicles must be able to safely navigate in any traffic scenario. However, all situations are different; even when clustering them, an impractical amount of scenarios would have to be verified. Thus, we propose a safety framework to verify the safety of each planned trajectory on-the-fly, using formal methods to handle uncertain measurements and future behaviors of traffic participants and disturbances acting on the ego vehicle, among others. Our framework can easily be integrated in existing motion planning architectures and enables fail-safe operation of self-driving vehicles, since we provide a safe plan for any given point in time. We demonstrate the benefits of our framework in different highway and urban scenarios of the CommonRoad benchmark suite.
Original languageEnglish
Publication statusPublished - 2019
Externally publishedYes
EventAAET - Automatisiertes und vernetztes Fahren - Braunschweig, Germany
Duration: 6 Feb 20197 Feb 2019

Conference

ConferenceAAET - Automatisiertes und vernetztes Fahren
Country/TerritoryGermany
CityBraunschweig
Period6/02/197/02/19

Fingerprint

Dive into the research topics of 'An online verification framework for motion planning of self-driving vehicles with safety guarantees'. Together they form a unique fingerprint.

Cite this