This paper presents a systematic literature review of platooning systems with a special focus
on the strategies which have been adopted to validate platooning algorithms. We collect the …

The coordination of multiple autonomous vehicles into convoys or platoons is expected on
our highways in the near future. However, before such platoons can be deployed, the …

Learning-based testing (LBT) is a paradigm for fully automated requirements testing that
combines machine learning with model-checking techniques. LBT has been shown to be …

Safety issue of vehicular platoons remains a critical challenge and is still open for
investigation. In this study, the authors propose an accurate simulation model for vehicular …

In this paper, we present a general methodology to estimate safety related parameter values
of cooperative cyber-physical system-of-systems. As a case study, we consider a vehicle …

Abstract Development of intelligent behaviors for vehicles has to cope with rigorous
specifications. Many tests are performed for verification, validation and a detailed study of …

We propose a formal verification method for deadlock detection in the scheduling of
transportation systems in which vehicles run in fleets. Especially, as a prime example, we …

This paper studies the parameterized compositional model checking problem (PCMCP) for
analyzing global safety properties of cooperative Cyber-Physical Systems modeled as …

Cette thèse se situe dans la problématique de la conduite en convoi de véhicules
autonomes: des ensembles de véhicules qui se déplacent en conservant une configuration …

Industry classification has served as an important tool for sector analysis in capital market
research. Most of the existing classification schemes that are commonly used in academia or …