Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study
| Autor: | Johan Arcile, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler |
|---|---|
| Přispěvatelé: | Informatique, Biologie Intégrative et Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Model checking
050210 logistics & transportation Point (typography) Computer science business.industry Behavioural analysis Distributed computing 05 social sciences Automotive industry Autonomous vehicles [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Context (language use) 02 engineering and technology simulation [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Order (exchange) 0502 economics and business 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing business verification Formal verification |
| Zdroj: | 15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017) 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⟩ Multi-Agent Systems and Agreement Technologies ISBN: 9783030017125 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|