Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools

Ibtissem Ben Makhlouf; Stefan Kowalewski

doi:10.29007/zvkb

Download PDF Open PDF in browser

Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools

6 pages•Published: December 17, 2015

Ibtissem Ben Makhlouf and Stefan Kowalewski

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

Links:	https://easychair.org/publications/paper/3QLs
	https://doi.org/10.29007/zvkb

BibTeX entry

@inproceedings{ARCH15:Networked_Cooperative_Platoon_of,
  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},
  pages     = {37--42},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3QLs},
  doi       = {10.29007/zvkb}}

Download PDF Open PDF in browser