User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

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

Primary tabs

download
  • Open access
  • PDF
  • 972.09 K
Basile, Davide ter Beek, Maurice H. Legay, Axel [UCL]

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.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type Accès libre
Publication date 2020
Language Anglais
Peer reviewed yes
Collection Lecture Notes in Computer Science - 12136 (ISSN : 0302-9743)
Publisher Alexey Gotsman and Ana Sokolova
Publication status Accepté/Sous presse
Affiliation UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Keywords Security ; Railway
Links
Bibliographic reference Basile, Davide ; ter Beek, Maurice H. ; Legay, Axel. Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.
Permanent URL http://hdl.handle.net/2078.1/230824