Skip to Main content Skip to Navigation
New interface
Conference papers

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

Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03283240
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, July 9, 2021 - 5:54:00 PM
Last modification on : Wednesday, November 3, 2021 - 7:05:47 AM
Long-term archiving on: : Sunday, October 10, 2021 - 8:29:38 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

31