Synthesizing Controllers for Multi-lane Traffic Maneuvers

被引：2

作者：

Bochmann, Gregor V. ^{[1
]}

Hilscher, Martin ^{[2
]}

Linker, Sven ^{[2
]}

Olderog, Ernst-Ruediger ^{[2
]}

机构：

[1] Univ Ottawa, Sch Elect Engn & Comp Sci, Ottawa, ON, Canada

[2] Carl von Ossietzky Univ Oldenburg, Dept Comp Sci, D-26111 Oldenburg, Germany

来源：

DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015 | 2015年 / 9409卷

关键词：

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

D O I：

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

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：71 / 86

页数：16

共 50 条

[1] Synthesizing and verifying controllers for multi-lane traffic maneuvers
Bochmann, Gregor V.
Hilscher, Martin
Linker, Sven
Olderog, Ernst-Ruediger
[J]. FORMAL ASPECTS OF COMPUTING, 2017, 29 (04) : 583 - 600
[2] Stability of multi-lane traffic flow
Sasoh, A
[J]. TRAFFIC AND GRANULAR FLOW'01, 2003, : 227 - 233
[3] Stay in your lane: Density fluctuations in multi-lane traffic
Worsfold, J.
Rogers, T.
[J]. EPL, 2024, 145 (01)
[4] THE EFFECT OF LANE UTILIZATION ON THE CAPACITY OF MULTI-LANE TRAFFIC ROUNDABOUT
Bie, Jina
Lo, Hong K.
Wong, S. C.
[J]. TRANSPORTATION AND THE ECONOMY, 2005, : 431 - 440
[5] MARKOV MODELS FOR MULTI-LANE FREEWAY TRAFFIC
SCHACH, S
[J]. TRANSPORTATION RESEARCH, 1970, 4 (03): : 259 - +
[6] Clustering Speed in Multi-lane Traffic Networks
Zhang, Bing
Trajcevski, Goce
Liu, Feiying
[J]. CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, 2016, : 2045 - 2048
[7] A Deductive Model for Multi-Lane Vehicular Traffic
Chen, Minjie
Baerwolff, Guenter
Schwandt, Hartmut
[J]. 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 900 - 905
[8] A MODEL FOR THE EVOLUTION OF TRAFFIC JAMS IN MULTI-LANE
Berthelin, Florent
Broizat, Damien
[J]. KINETIC AND RELATED MODELS, 2012, 5 (04) : 697 - 728
[9] Macroscopic Modelling and Simulation of Multi-Lane Traffic
Delis, Anargiros I.
Nikolos, Ioannis K.
Papageorgiou, Markos
[J]. 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 2213 - 2218
[10] Capacity evaluation of multi-lane traffic roundabout
Bie, Jing
Lo, Hong K.
Wong, S. C.
[J]. JOURNAL OF ADVANCED TRANSPORTATION, 2010, 44 (04) : 245 - 255

← 1 2 3 4 5 →