Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study

Résumé

Autonomous vehicles’ behavioural analysis represents a major challenge in the automotive world. In order to ensure safety and fluidity of driving, various methods are available, in particular, simulation and formal verification. The analysis, however, has to cope with very complex environments depending on many parameters evolving in real time. In this context, none of the aforementioned approaches is fully satisfactory, which lead us to propose a combined methodology in order to point out suspicious behaviours more efficiently. We illustrate this approach by studying a non deterministic scenario involving a vehicle, which has to react to some perilous situation.
Fichier principal
Vignette du fichier
eumas2017_IDM.pdf (744.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01918518 , version 1 (12-11-2019)

Identifiants

Citer

Johan Arcile,, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler. Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study. 15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017), Dec 2017, Evry, France. pp.292--304, ⟨10.1007/978-3-030-01713-2_21⟩. ⟨hal-01918518⟩
84 Consultations
135 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More