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 条

[41] Fundamental diagram in traffic flow of mixed vehicles on multi-lane highway
Tanaka, Katsunori
Nagatani, Takashi
Masukura, Shuichi
[J]. PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2008, 387 (22) : 5583 - 5596
[42] Length-based vehicle classification in multi-lane traffic flow
Yu Y.
Yu M.
Yan G.
Zhai Y.
[J]. Transactions of Tianjin University, 2011, 17 (5) : 362 - 368
[43] Safety Assessment of Driving Behavior in Multi-Lane Traffic for Autonomous Vehicles
Althoff, Matthias
Stursberg, Olaf
Buss, Martin
[J]. 2009 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1 AND 2, 2009, : 893 - 900
[44] TWO-WAY MULTI-LANE TRAFFIC MODEL FOR PEDESTRIANS IN CORRIDORS
Appert-Rolland, Cecile
Degond, Pierre
Motsch, Sebastien
[J]. NETWORKS AND HETEROGENEOUS MEDIA, 2011, 6 (03) : 351 - 381
[45] Efficient Traffic Coordination for Resolving Temporary Bottlenecks on the Multi-lane Freeways
Tsai, Chia-Che
Lin, Chia-Yiu
Nguyent, Van-Linh
Hwang, Ren-Hung
[J]. IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2022), 2022, : 2996 - 3001
[46] Congestion in multi-lane roads with coupled map traffic flow model
Tadaki, S
Kikuchi, M
Sugiyama, Y
Yukawa, S
[J]. PROGRESS OF THEORETICAL PHYSICS SUPPLEMENT, 2000, (138): : 594 - 595
[47] Length-Based Vehicle Classification in Multi-lane Traffic Flow
于洋
于明
阎刚
翟艳东
[J]. Transactions of Tianjin University, 2011, (05) : 362 - 368
[48] Analyzing nonlinear time series of multi-lane highway traffic volume
Xu, Meng
Yang, Jin
[J]. ISND 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON NONLINEAR DYNAMICS, PTS 1-4, 2008, 96
[49] Multi-Lane Detection and Tracking Using Vision for Traffic Situation Awareness
Tsukamoto, Yukihiro
Ishizaki, Masahiro
Hiromori, Akihito
Yamaguchi, Hirozumi
Higashino, Teruo
[J]. 2020 16TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), 2020,
[50] The impact of aggressive driving behaviors on multi-lane highway traffic flow
Zhu, H. B.
Chen, G. Y.
Lin, H.
Zhou, Y. J.
[J]. INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 2018, 29 (07):

← 1 2 3 4 5 →