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] Intelligent Traffic Safety Management on a Section of a Multi-lane Motorway
Mandzuka, Sadko
Vidovic, Kresimir
Kos, Goran
Dedic, Luka
NEW TECHNOLOGIES, DEVELOPMENT AND APPLICATION VII, VOL 2, NT-2024, 2024, 1070 : 130 - 138
[32] Congestion in multi-lane coupled map traffic flow model
Tadaki, S
Kikuchi, M
Sugiyama, Y
Yukawa, S
STATISTICAL PHYSICS, 2000, 519 : 578 - 580
[33] 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 - +
[34] A multi-lane TASEP model for crossing pedestrian traffic flows
Hilhorst, H. J.
Appert-Rolland, C.
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2012,
[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] 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
[39] 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
[40] A Mean Field Game approach for multi-lane traffic management
Festa, Adriano
Goettlich, Simone
IFAC PAPERSONLINE, 2018, 51 (32): : 793 - 798

← 1 2 3 4 5 →