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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Karoui, Oussama (author)
Outros Autores: Khalgui, Mohamed (author), Koubâa, Anis (author), Guerfala, Emna (author), Li, Zhiwu (author), Tovar, Eduardo (author)
Formato: article
Idioma:eng
Publicado em: 2017
Assuntos:
Platoon
Reconfiguration
V2V communication
Formal verification
Multi-agent system
PID controller
Texto completo:http://hdl.handle.net/10400.22/9838
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9838

Texto Completo

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

Registros relacionados