Dual Mode for Vehicular Platoon Safety: Simulation and Formal Verification

In order to cope with uncertainties in a platoon, this paper proposes a reconfigurable multi-agent architecture to address the platoon safety problem by handling two modes: the normal mode and the degraded mode. At this stage of research, the normal mode is characterized by the interaction between a...

Full description

Bibliographic Details
Main Author: Karoui, Oussama (author)
Other Authors: Khalgui, Mohamed (author), Koubâa, Anis (author), Guerfala, Emna (author), Li, Zhiwu (author), Tovar, Eduardo (author)
Format: article
Language:eng
Published: 2017
Subjects:
Platoon
Reconfiguration
V2V communication
Formal verification
Multi-agent system
PID controller
Online Access:http://hdl.handle.net/10400.22/9838
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9838

Internet

http://hdl.handle.net/10400.22/9838

Similar Items