Standard
Synthesizing Controllers for Multi-lane Traffic Maneuvers. / Bochmann, Gregor V.; Hilscher, Martin
; Linker, Sven et al.
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. ed. / Xuandong Li; Zhiming Liu; Wang Yi. Cham: Springer, 2015. p. 71-86 (Lecture Notes in Computer Science; Vol. 9409).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Bochmann, GV, Hilscher, M
, Linker, S & Olderog, E-R 2015,
Synthesizing Controllers for Multi-lane Traffic Maneuvers. in X Li, Z Liu & W Yi (eds),
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9409, Springer, Cham, pp. 71-86.
https://doi.org/10.1007/978-3-319-25942-0_5APA
Bochmann, G. V., Hilscher, M.
, Linker, S., & Olderog, E.-R. (2015).
Synthesizing Controllers for Multi-lane Traffic Maneuvers. In X. Li, Z. Liu, & W. Yi (Eds.),
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (pp. 71-86). (Lecture Notes in Computer Science; Vol. 9409). Springer.
https://doi.org/10.1007/978-3-319-25942-0_5Vancouver
Bochmann GV, Hilscher M
, Linker S, Olderog ER.
Synthesizing Controllers for Multi-lane Traffic Maneuvers. In Li X, Liu Z, Yi W, editors, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Cham: Springer. 2015. p. 71-86. (Lecture Notes in Computer Science). Epub 2015 Oct 17. doi: 10.1007/978-3-319-25942-0_5
Author
Bochmann, Gregor V. ; Hilscher, Martin
; Linker, Sven et al. /
Synthesizing Controllers for Multi-lane Traffic Maneuvers. Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. editor / Xuandong Li ; Zhiming Liu ; Wang Yi. Cham : Springer, 2015. pp. 71-86 (Lecture Notes in Computer Science).
Bibtex
@inproceedings{60d66df9efc24ec8a90b60027b4ccea8,
title = "Synthesizing Controllers for Multi-lane Traffic Maneuvers",
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.",
author = "Bochmann, {Gregor V.} and Martin Hilscher and Sven Linker and Ernst-R{\"u}diger Olderog",
year = "2015",
month = nov,
day = "4",
doi = "10.1007/978-3-319-25942-0_5",
language = "English",
isbn = "9783319259413",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "71--86",
editor = "Xuandong Li and Zhiming Liu and Wang Yi",
booktitle = "Dependable Software Engineering: Theories, Tools, and Applications",
}
RIS
TY - GEN
T1 - Synthesizing Controllers for Multi-lane Traffic Maneuvers
AU - Bochmann, Gregor V.
AU - Hilscher, Martin
AU - Linker, Sven
AU - Olderog, Ernst-Rüdiger
PY - 2015/11/4
Y1 - 2015/11/4
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-25942-0_5
DO - 10.1007/978-3-319-25942-0_5
M3 - Conference contribution/Paper
SN - 9783319259413
T3 - Lecture Notes in Computer Science
SP - 71
EP - 86
BT - Dependable Software Engineering: Theories, Tools, and Applications
A2 - Li, Xuandong
A2 - Liu, Zhiming
A2 - Yi, Wang
PB - Springer
CY - Cham
ER -
