Synthesizing Controllers for Multi-lane Traffic Maneuvers

  • Gregor v. Bochmann
  • Martin Hilscher
  • Sven Linker
  • Ernst-Rüdiger Olderog
Conference paper

DOI: 10.1007/978-3-319-25942-0_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9409)
Cite this paper as:
Bochmann G.., Hilscher M., Linker S., Olderog ER. (2015) Synthesizing Controllers for Multi-lane Traffic Maneuvers. In: Li X., Liu Z., Yi W. (eds) Dependable Software Engineering: Theories, Tools, and Applications. SETTA 2015. Lecture Notes in Computer Science, vol 9409. Springer, Cham

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.

Keywords

Multi-lane highway traffic Lane-change maneuver Safety Collision freedeom Hybrid systems Controller synthesis Interleaving and synchronous concurrency 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Gregor v. Bochmann
    • 1
  • Martin Hilscher
    • 2
  • Sven Linker
    • 2
  • Ernst-Rüdiger Olderog
    • 2
  1. 1.School of Electrical Engineering and Computer ScienceUniversity of OttawaOttawaCanada
  2. 2.Department of Computing ScienceUniversity of OldenburgOldenburgGermany

Personalised recommendations