Projects per year
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 | |
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 |
Fingerprint
Dive into the research topics of 'Safe and Optimal Adaptive Cruise Control'. Together they form a unique fingerprint.Projects
- 3 Finished
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Project: Research
-
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
Project: Research