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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

34 Citationer (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.

Originalsprog	Engelsk
Titel	Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday
Redaktører	Roland Meyer, André Platzer, Heike Wehrheim
Antal sider	18
Forlag	Springer
Publikationsdato	2015
Sider	260-277
ISBN (Trykt)	978-3-319-23505-9
ISBN (Elektronisk)	978-3-319-23506-6
DOI	https://doi.org/10.1007/978-3-319-23506-6_17
Status	Udgivet - 2015
Begivenhed	Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday - Oldenburg, Tyskland Varighed: 8 sep. 2015 → 9 sep. 2015

Konference

Konference	Correct System Design
Land/Område	Tyskland
By	Oldenburg
Periode	08/09/2015 → 09/09/2015

Navn	Lecture Notes in Computer Science
Nummer	9360
ISSN	0302-9743

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

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

Citationsformater

@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. i R Meyer, A Platzer & H Wehrheim (red), Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Springer, Lecture Notes in Computer Science, nr. 9360, s. 260-277, Correct System Design, Oldenburg, Tyskland, 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. red. / Roland Meyer; André Platzer; Heike Wehrheim. Springer, 2015. s. 260-277 (Lecture Notes in Computer Science; Nr. 9360).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Projekter

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

SENSATION: Self Energy-Supporting Autonomous Computation

IDEA4CPS: Foundations for Cyber-Physical Sytems

Citationsformater