Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Multiagent Learning Paradigms Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles’ Behaviors: A Case Study

Authors : Johan Arcile, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler

Published in: Multi-Agent Systems and Agreement Technologies

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Lazy Fully Probabilistic Design: Application Potential
next chapter How Game Complexity Affects the Playing Behavior of Synthetic Agents
Footnotes
1
The translation of properties into temporal logics can be partly automatized using a predefined set of queries.
 
Literature
1.
Ekren, B.Y., Heragu, S.S.: Simulation based performance analysis of an autonomous vehicle storage and retrieval system. Simul. Model. Pract. Theor. 19(7), 1640–1650 (2011)CrossRef
2.
Dia, H.: An agent-based approach to modelling driver route choice behaviour under the influence of real-time information. Transp. Res. Part C: Emerg. Technol. 10(5), 331–349 (2002)MathSciNetCrossRef
3.
Shamir, T.: How should an autonomous vehicle overtake a slower moving vehicle: design and analysis of an optimal trajectory. IEEE Trans. Automat. Control 49, 607–610 (2004)MathSciNetCrossRef
4.
Hybrid-state driver/vehicle modelling, estimation and prediction. In: 13th International IEEE Conference on Intelligent Transportation Systems, pp. 806–811 (2010)
5.
Vogel, K.: A comparison of headway and time to collision as safety indicators. Accid. Anal. Prev. 35(3), 427–433 (2003)CrossRef
6.
Minderhoud, M.M., Bovy, P.H.: Extended time-to-collision measures for road traffic safety assessment. Accid. Anal. Prev. 33(1), 89–97 (2001)CrossRef
7.
van Lint, J., Hoogendoorn, S., van Zuylen, H.: Accurate freeway travel time prediction with state-space neural networks under missing data. Transp. Res. Part C: Emerg. Technol. 13(5), 347–369 (2005)CrossRef
8.
Chang, G.-L., Mahmassani, H.S.: Travel time prediction and departure time adjustment behavior dynamics in a congested traffic system. Transp. Res. Part C: Emerg. Technol. 22(3), 217–232 (1988)CrossRef
9.
Gipps, P.G.: A behavioural car-following model for computer simulation. Transp. Res. Part B 15(2), 105–111 (1981)CrossRef
10.
11.
Zhang, S., Deng, W., Zhao, Q., Sun, H., Litkouhi, B.: Dynamic trajectory planning for vehicle autonomous driving. In: Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013, pp. 4161–4166 (2013)
12.
Bai, F., Krishnan, H.: Reliability analysis of DSRC wireless communication for vehicle safety applications. In: IEEE Intelligent Transportation Systems Conference (ITSC), pp. 355–362 (2006)
13.
14.
Kesting, A., Treiber, M., Helbing, D.: General lane-changing model MOBIL for car-following models. Transp. Res. Rec.: J. Transp. Res. Board 1999(1), 86–94 (2007)CrossRef
15.
Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, vol. 222. Addison-Wesley, Boston (1999)
16.
Taillandier, P., Vo, D.-A., Amouroux, E., Drogoul, A.: GAMA: a simulation platform that integrates geographical information data, agent-based modeling and multi-scale control. In: Desai, N., Liu, A., Winikoff, M. (eds.) PRIMA 2010. LNCS (LNAI), vol. 7057, pp. 242–258. Springer, Heidelberg (2012). https://​doi.​org/​10.​1007/​978-3-642-25920-3_​17CrossRef
17.
18.
19.
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transfer (STTT) 1, 134–152 (1997)CrossRef
20.
Emerson, E.A., Halpern, J.Y.: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. J. ACM 1(33), 151–178 (1986)MathSciNetCrossRef
Metadata
Title
Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles’ Behaviors: A Case Study
Authors
Johan Arcile
Jérémy Sobieraj
Hanna Klaudel
Guillaume Hutzler
Copyright Year
2018
Book
Multi-Agent Systems and Agreement Technologies

Print ISBN: 978-3-030-01712-5

Electronic ISBN: 978-3-030-01713-2

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-3-030-01713-2_21

Premium Partner

    Image Credits