Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction.

L'analyse comportementale des vehicules auto-nomes represente un challenge majeur dans le monde de l'automobile. Dans le but d'assurer une conduite securisee et fluide, plusieurs me-thodes peuvent etre appliquees, notamment la simulation informatique. L'analyse, cependant, doit tenir compte de tres nombreux parametres evoluant en temps reel. Dans ce contexte, nous etudions le changement de voie d'un vehicule a differents niveaux d'abstraction. Cela nous conduit a determiner les proprietes qui peuvent etre validees avec un niveau d'abstraction plus haut, ou l'espace des parametres est reduit, 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.