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

L'analyse comportementale des véhicules autonomes 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, permettant une analyse plus efficace.