Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/9838
Título: Dual Mode for Vehicular Platoon Safety: Simulation and Formal Verification
Autor: Karoui, Oussama
Khalgui, Mohamed
Koubâa, Anis
Guerfala, Emna
Li, Zhiwu
Tovar, Eduardo
Palavras-chave: Platoon
V2V communication
Formal verification
Multi-agent system
PID controller
Data: 2017
Editora: Elsevier
Relatório da Série N.º: Information Sciences;Vol. 402
Resumo: 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 agents over a Vehicle-to-Vehicle (V2V) communication network while the degraded mode simply involves sensors for a local perception. The switching from the normal mode to the degraded one is triggered when the communication quality is considered not fully reliable. A PID (Proportional Integral Derivative) controller is proposed to regulate the inter-vehicle distance and orientation. Two models are proposed in this paper: in the first one, the management operations such as splitting and joining are set up while the second is mainly modeled to assess the implemented controller quality. In this paper, the safety of a platoon is represented by the quality of tracking and the inter-vehicle distance. The mentioned features are assessed for both modes through a formal verification using the Uppaal software. We prove the efficiency of the proposed platoon model for several situations such as merging, following or leaving the platoon by verifying different properties using the model checking. The evaluation of the second model, simulated by the Webots software, proves the impact of the number of vehicles on the platoon performance and the vehicle tracking quality. We conclude that when the platoon reaches a certain number of vehicles, the safety criterion is no more reliable.
Peer review: yes
URI: http://hdl.handle.net/10400.22/9838
DOI: http://doi.org/10.1016/j.ins.2017.03.016
ISSN: 0020-0255
Versão do Editor: http://www.sciencedirect.com/science/article/pii/S0020025517305959
Aparece nas colecções:ISEP – CISTER – Artigos

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
ART5_CISTER_2017.pdf1,94 MBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.