Safe and Optimal Adaptive Cruise Control

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

35 Citations (Scopus)

Abstract

In a series of contributions Olderog et al. have formulated and verified safety controllers for a number of lane-maneuvers on multilane roads. Their work is characterized by great clarity and elegance partly due to the introduction of a special-purpose Multi-Lane Spatial Logic. In this paper, we want to illustrate the potential of current modelchecking technology for automatic synthesis of optimal yet safe (collision-free) controllers. We demonstrate this potential on an Adaptive Cruise Control problem, being a small part of the overall safety problem considered by Olderog.
Original languageEnglish
Title of host publicationCorrect System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday
EditorsRoland Meyer, André Platzer, Heike Wehrheim
Number of pages18
PublisherSpringer
Publication date2015
Pages260-277
ISBN (Print)978-3-319-23505-9
ISBN (Electronic)978-3-319-23506-6
DOIs
Publication statusPublished - 2015
EventCorrect System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday - Oldenburg, Germany
Duration: 8 Sept 20159 Sept 2015

Conference

ConferenceCorrect System Design
Country/TerritoryGermany
CityOldenburg
Period08/09/201509/09/2015
SeriesLecture Notes in Computer Science
Number9360
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Safe and Optimal Adaptive Cruise Control'. Together they form a unique fingerprint.

Cite this