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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The translation of properties into temporal logics can be partly automatized using a predefined set of queries.
References
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)
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)
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)
Hybrid-state driver/vehicle modelling, estimation and prediction. In: 13th International IEEE Conference on Intelligent Transportation Systems, pp. 806–811 (2010)
Vogel, K.: A comparison of headway and time to collision as safety indicators. Accid. Anal. Prev. 35(3), 427–433 (2003)
Minderhoud, M.M., Bovy, P.H.: Extended time-to-collision measures for road traffic safety assessment. Accid. Anal. Prev. 33(1), 89–97 (2001)
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)
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)
Gipps, P.G.: A behavioural car-following model for computer simulation. Transp. Res. Part B 15(2), 105–111 (1981)
Treiber, M., Kesting, A.: Elementary car-following models. In: Treiber, M., Kesting, A. (eds.) Traffic Flow Dynamics. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-32460-4_10
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)
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)
Treiber, M., Kesting, A.: Traffic Flow Dynamics. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-32460-4
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)
Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, vol. 222. Addison-Wesley, Boston (1999)
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_17
Arcile, J., Devillers, R., Klaudel, H., Klaudel, W., Woźna-Szcześniak, B.: Modeling and checking robustness of communicating autonomous vehicles. Distributed Computing and Artificial Intelligence, 14th International Conference. AISC, vol. 620, pp. 173–180. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-62410-5_21
UPPAAL. http://www.uppaal.org/
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transfer (STTT) 1, 134–152 (1997)
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)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Arcile, J., Sobieraj, J., Klaudel, H., Hutzler, G. (2018). Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles’ Behaviors: A Case Study. In: Belardinelli, F., Argente, E. (eds) Multi-Agent Systems and Agreement Technologies. EUMAS AT 2017 2017. Lecture Notes in Computer Science(), vol 10767. Springer, Cham. https://doi.org/10.1007/978-3-030-01713-2_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-01713-2_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01712-5
Online ISBN: 978-3-030-01713-2
eBook Packages: Computer ScienceComputer Science (R0)