Home > Research > Publications & Outputs > Synthesizing Controllers for Multi-lane Traffic...

Links

Text available via DOI:

View graph of relations

Synthesizing Controllers for Multi-lane Traffic Maneuvers

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
  • Gregor V. Bochmann
  • Martin Hilscher
  • Sven Linker
  • Ernst-Rüdiger Olderog
Close
Publication date4/11/2015
Host publicationDependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
EditorsXuandong Li, Zhiming Liu, Wang Yi
Place of PublicationCham
PublisherSpringer
Pages71-86
Number of pages16
ISBN (electronic)9783319259420
ISBN (print)9783319259413
<mark>Original language</mark>English

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9409
ISSN (Print)0302-9743
ISSN (electronic)1611-3349

Abstract

The dynamic behavior of a car can be modeled as a hybrid system involving continuous state changes and discrete state transitions. However, we show that the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthesis to derive the dynamic behavior of a lane-change controller. Thereby, we contrast the setting of interleaving semantics and synchronous concurrent semantics. We also consider the possibility of exchanging knowledge between neighboring cars in order to come up with the right decisions.