Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction
Résumé
The behavioral analysis of autonomous vehicles represents a major challenge in the automotive world. In order to ensure safe and fluid driving, several methods can be applied, including computer simulation. The analysis, however, must take into account a large number of parameters revolving in real time. In this context, we study the lane change of a vehicle at different levels of abstraction. This leads us to determine the properties that can be validated with a higher level of abstraction, where the parameter space is reduced, allowing a more efficient analysis.
L'analyse comportementale des véhicules auto-nomes représente un challenge majeur dans le monde de l'automobile. Dans le but d'assurer une conduite sécurisée et fluide, plusieurs mé-thodes peuvent être appliquées, notamment la simulation informatique. L'analyse, cependant, doit tenir compte de très nombreux paramètres évoluant en temps réel. Dans ce contexte, nous étudions le changement de voie d'un véhicule à différents niveaux d'abstraction. Cela nous conduit à déterminer les propriétés qui peuvent être validées avec un niveau d'abstraction plus haut, où l'espace des paramètres est réduit, per-mettant une analyse plus efficace. Abstract The behavioral analysis of autonomous vehicles represents a major challenge in the automotive world. In order to ensure safe and fluid driving, several methods can be applied, including computer simulation. The analysis, however, must take into account a large number of parameters evolving in real time. In this context, we study the lane change of a vehicle at different levels of abstraction. This leads us to determine the properties that can be validated with a higher level of abstraction, where the parameter space is reduced, allowing a more efficient analysis.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...