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 条

[31] Congestion in multi-lane coupled map traffic flow model
Tadaki, S
Kikuchi, M
Sugiyama, Y
Yukawa, S
STATISTICAL PHYSICS, 2000, 519 : 578 - 580
[32] A multi-lane TASEP model for crossing pedestrian traffic flows
Hilhorst, H. J.
Appert-Rolland, C.
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2012,
[33] Passing in multi-lane, heterogeneous traffic: Part 2, simulation
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 : 773 - 778
[34] A qualitative model for the simulation of traffic behaviours in a multi-lane environment
Christophe Claramunt
Bin Jiang
Journal of Geographical Sciences, 2001, 11 (Suppl 1): : 29 - 42
[35] Delayed-feedback control in multi-lane traffic system
Madaan, Nikita
Sharma, Sapna
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2022, 599
[36] A New Minimum Delay Model for Multi-Lane Traffic Circles
Tanyel, Serhan
Caliskanelli, Suheyla Pelin
Ozuysal, Mustafa
TEKNIK DERGI, 2022, 33 (01): : 11429 - 11454
[37] Speeding up multi-lane traffic cellular automata simulation
Lo, Shih-Ching
IAENG International Journal of Applied Mathematics, 2018, 48 (01): : 16 - 21
[38] A Mean Field Game approach for multi-lane traffic management
Festa, Adriano
Goettlich, Simone
IFAC PAPERSONLINE, 2018, 51 (32): : 793 - 798
[39] 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
[40] 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

← 1 2 3 4 5 →