Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

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

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
88 View
139 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More