Skip to Main content Skip to Navigation
Book sections

Modeling and checking robustness of communicating autonomous vehicles

Abstract : This paper presents a method for the validation of communicating autonomous vehicles (CAVs) systems. The approach focuses on the formal modeling of CAVs by means of timed automata, to allow the formal analysis through model-checkers of the vehicle behavior, including their fault tolerance due to various kinds of injected faults.We also present our case studies results, based on implementations of our CAVs’ model in Uppaal.
Document type :
Book sections
Complete list of metadata
Contributor : Witold Klaudel Connect in order to contact the contributor
Submitted on : Monday, August 24, 2020 - 7:05:14 PM
Last modification on : Tuesday, February 15, 2022 - 11:24:02 AM

Links full text



Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bożena Woźna-Szcześniak. Modeling and checking robustness of communicating autonomous vehicles. S. Omatu, S. Rodriguez, G. Villarrubia, P. Faria, P. Sitek, J. Prieto. Distributed Computing and Artificial Intelligence, 14th International Conference, 620, Springer, pp.173-180, 2018, Advances in Intelligent Systems and Computing, 978-3-319-62409-9. ⟨10.1007/978-3-319-62410-5_21⟩. ⟨hal-02920656⟩



Record views