Projects per year
Abstract
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. (Project Manager), Skou, A. (Project Participant), David, A. (Project Participant) & Srba, J. (Project Participant)
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)
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