Download PDFOpen PDF in browser

Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools

6 pagesPublished: December 17, 2015

Abstract

A practical benchmark for testing analysis and verification methods for continuous as well as hybrid systems is suggested. It consists of a platoon of controlled vehicles. The vehicles exchange information via a communication network that is subject to failure of single nodes or a complete loss of communication. The worst case scenario corresponding to the transition from a fully functioning communication between the vehicles to a total loss of communication is considered in particular. The safety properties of the considered networked platoon are investigated. The system is modeled as a hybrid automaton. The continuous part represents the dynamical behavior of the platoon and the
discrete part are spontaneous events related to the switching communication topology. The proposed example is a linear time invariant system.

Keyphrases: academic, benchmark, control, safety, verification

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 37-42.

BibTeX entry
@inproceedings{ARCH15:Networked_Cooperative_Platoon_Vehicles,
  author    = {Ibtissem Ben Makhlouf and Stefan Kowalewski},
  title     = {Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3QLs},
  doi       = {10.29007/zvkb},
  pages     = {37-42},
  year      = {2015}}
Download PDFOpen PDF in browser