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] Multi-lane traffic load model of widening bridges considering lane load disparity
Zhou, J. Y.
Chen, Z. X.
Shi, X. F.
Ye, X. J.
Yi, J.
BRIDGE MAINTENANCE, SAFETY, MANAGEMENT, LIFE-CYCLE SUSTAINABILITY AND INNOVATIONS, 2021, : 433 - 440
[42] Investigation of multi-lane factor models for bridge traffic load effects using multiple lane traffic data
Zhou, Junyong
Chen, Zhixing
Yi, Jiang
Ma, Haiying
STRUCTURES, 2020, 24 : 444 - 455
[43] Fundamental diagram in traffic flow of mixed vehicles on multi-lane highway
Tanaka, Katsunori
Nagatani, Takashi
Masukura, Shuichi
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2008, 387 (22) : 5583 - 5596
[44] The impact of multi-lane traffic flow distribution on road noise variability
Makarewicz, Rufin
Golebiewski, Roman
NOISE CONTROL ENGINEERING JOURNAL, 2016, 64 (03) : 354 - 362
[45] Length-based vehicle classification in multi-lane traffic flow
Yu Y.
Yu M.
Yan G.
Zhai Y.
Transactions of Tianjin University, 2011, 17 (5) : 362 - 368
[46] TWO-WAY MULTI-LANE TRAFFIC MODEL FOR PEDESTRIANS IN CORRIDORS
Appert-Rolland, Cecile
Degond, Pierre
Motsch, Sebastien
NETWORKS AND HETEROGENEOUS MEDIA, 2011, 6 (03) : 351 - 381
[47] Safety Assessment of Driving Behavior in Multi-Lane Traffic for Autonomous Vehicles
Althoff, Matthias
Stursberg, Olaf
Buss, Martin
2009 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1 AND 2, 2009, : 893 - 900
[48] Length-Based Vehicle Classification in Multi-lane Traffic Flow
于洋
于明
阎刚
翟艳东
Transactions of Tianjin University, 2011, (05) : 362 - 368
[49] Congestion in multi-lane roads with coupled map traffic flow model
Tadaki, S
Kikuchi, M
Sugiyama, Y
Yukawa, S
PROGRESS OF THEORETICAL PHYSICS SUPPLEMENT, 2000, (138): : 594 - 595
[50] Efficient Traffic Coordination for Resolving Temporary Bottlenecks on the Multi-lane Freeways
Tsai, Chia-Che
Lin, Chia-Yiu
Nguyent, Van-Linh
Hwang, Ren-Hung
IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2022), 2022, : 2996 - 3001

← 1 2 3 4 5 →