Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

Résumé

Moving block railway systems are the next generation signalling systems currently under development as part of the Shift2Rail European initiative, including autonomous driving technologies. In this paper, we model a suitable abstraction of a moving block signalling system with autonomous driving as a stochastic priced timed game. We then synthesise safe and optimal driving strategies for the model by applying advanced techniques that combine statistical model checking with reinforcement learning as provided by Uppaal Stratego. Hence, we show the applicability of Uppaal Stratego in this concrete case study.
Fichier principal
Vignette du fichier
495615_1_En_1_Chapter.pdf (845.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03283240 , version 1 (09-07-2021)

Licence

Identifiants

Citer

Davide Basile, Maurice Beek, Axel Legay. Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-50086-3_1⟩. ⟨hal-03283240⟩
69 Consultations
50 Téléchargements

Altmetric

Partager

More