Safe and Optimal Adaptive Cruise Control

Kim Guldstrand Larsen; Marius Mikučionis; Jakob Haahr Taankvist

doi:10.1007/978-3-319-23506-6_17

Safe and Optimal Adaptive Cruise Control

Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

38 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 language	English
Title of host publication	Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday
Editors	Roland Meyer, André Platzer, Heike Wehrheim
Number of pages	18
Publisher	Springer
Publication date	2015
Pages	260-277
ISBN (Print)	978-3-319-23505-9
ISBN (Electronic)	978-3-319-23506-6
DOIs	https://doi.org/10.1007/978-3-319-23506-6_17
Publication status	Published - 2015
Event	Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday - Oldenburg, Germany Duration: 8 Sept 2015 → 9 Sept 2015

Conference

Conference	Correct System Design
Country/Territory	Germany
City	Oldenburg
Period	08/09/2015 → 09/09/2015

Series	Lecture Notes in Computer Science
Number	9360
ISSN	0302-9743

Access to Document

10.1007/978-3-319-23506-6_17

AUB Link

Search for the material in Aalborg University Library's search engine

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), David, A. (Project Participant) & Srba, J. (Project Participant)
FP7 STREP
01/04/2013 → 31/03/2016
Project: Research
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Project Manager), Hansen, R. R. (Project Participant), Koch, P. (Project Participant), Nielsen, B. (Project Participant) & Skou, A. (Project Participant)
FP7 FET Proactive
01/10/2012 → 30/09/2015
Project: Research
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Project Licensee), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Bulychev, P. (Project Participant), Ravn, A. P. (Project Participant) & Poulsen, D. B. (Project Participant)
01/04/2011 → 30/04/2015
Project: Research

Cite this

@inbook{9476e1083f0348fba1d4ff72381a5de0,

title = "Safe and Optimal Adaptive Cruise Control",

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.",

author = "Larsen, {Kim Guldstrand} and Marius Miku{\v c}ionis and Taankvist, {Jakob Haahr}",

year = "2015",

doi = "10.1007/978-3-319-23506-6_17",

language = "English",

isbn = "978-3-319-23505-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "9360",

pages = "260--277",

editor = "Roland Meyer and Andr{\'e} Platzer and Heike Wehrheim",

booktitle = "Correct System Design",

address = "Germany",

note = "Correct System Design : Symposium in Honor of Ernst-R{\"u}diger Olderog on the Occasion of His 60th Birthday ; Conference date: 08-09-2015 Through 09-09-2015",

}

Larsen, KG , Mikučionis, M & Taankvist, JH 2015, Safe and Optimal Adaptive Cruise Control. in R Meyer, A Platzer & H Wehrheim (eds), Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Springer, Lecture Notes in Computer Science, no. 9360, pp. 260-277, Correct System Design, Oldenburg, Germany, 08/09/2015. https://doi.org/10.1007/978-3-319-23506-6_17

Safe and Optimal Adaptive Cruise Control. / Larsen, Kim Guldstrand ; Mikučionis, Marius; Taankvist, Jakob Haahr.
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. ed. / Roland Meyer; André Platzer; Heike Wehrheim. Springer, 2015. p. 260-277 (Lecture Notes in Computer Science; No. 9360).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Safe and Optimal Adaptive Cruise Control

AU - Larsen, Kim Guldstrand

AU - Mikučionis, Marius

AU - Taankvist, Jakob Haahr

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-23506-6_17

DO - 10.1007/978-3-319-23506-6_17

M3 - Book chapter

SN - 978-3-319-23505-9

T3 - Lecture Notes in Computer Science

SP - 260

EP - 277

BT - Correct System Design

A2 - Meyer, Roland

A2 - Platzer, André

A2 - Wehrheim, Heike

PB - Springer

T2 - Correct System Design

Y2 - 8 September 2015 through 9 September 2015

ER -

Safe and Optimal Adaptive Cruise Control

Abstract

Conference

Access to Document

AUB Link

Fingerprint

Projects

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

SENSATION: Self Energy-Supporting Autonomous Computation

IDEA4CPS: Foundations for Cyber-Physical Sytems

Cite this