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 条

[21] Analysis of risk levels for traffic on a multi-lane highway
Herty, Michael
Visconti, Giuseppe
IFAC PAPERSONLINE, 2018, 51 (09): : 43 - 48
[22] Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
Schwammberger, Maike
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (269): : 17 - 31
[23] Lane Change Model For Automated Vehicles on Multi-Lane Highways in Mixed Traffic
Hofinger, Felix
Mischinger-Rodziewicz, Marlies
Haberl, Michael
Fellendorf, Martin
2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 2004 - 2009
[24] Lane management for asymmetric mixed traffic flow on bidirectional multi-lane roadways
Zheng, Yuan
Xu, Min
Wu, Shining
Wang, Shuaian
TRANSPORTMETRICA A-TRANSPORT SCIENCE, 2023,
[25] Passing in multi-lane, heterogeneous traffic: Part 1, parameterisation
Joubert, Johan W.
de Koker, Nico
9TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2018) / THE 8TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2018) / AFFILIATED WORKSHOPS, 2018, 130 : 767 - 772
[26] Anisotropic property revisited - does it hold in multi-lane traffic?
Zhang, HM
TRANSPORTATION RESEARCH PART B-METHODOLOGICAL, 2003, 37 (06) : 561 - 577
[27] A Macroscopic Multi-Lane Traffic Flow Model for ACC/CACC Traffic Dynamics
Delis, Anargiros I.
Nikolos, Ioannis K.
Papageorgiou, Markos
TRANSPORTATION RESEARCH RECORD, 2018, 2672 (20) : 178 - 192
[28] Traffic flow through multi-lane tollbooths on a toll highway
Komada, Kazuhito
Nagatani, Takashi
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2010, 389 (11) : 2268 - 2279
[29] Analysis of Traffic Congestion Reducer Agents on Multi-Lane Highway
Ishihara, Yuka
Sugawara, Toshiharu
2019 2ND INTERNATIONAL CONFERENCE ON INTELLIGENT AUTONOMOUS SYSTEMS (ICOIAS 2019), 2019, : 135 - 141
[30] An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres
Hilscher, Martin
Linker, Sven
Olderog, Ernst-Ruediger
Ravn, Anders P.
FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 404 - +

← 1 2 3 4 5 →