Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools

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. Category: academic Difficulty: challenge