Synthesizing Controllers for Multi-lane Traffic Maneuvers

Bochmann, Gregor V. and Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2015) Synthesizing Controllers for Multi-lane Traffic Maneuvers. In: Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 71-86. ISBN 9783319259413

Full text not available from this repository.


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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
22 Jun 2021 13:05
Last Modified:
16 Jul 2024 05:03