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

2020

Conference article Open Access

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

Basile D., Ter Beek M. H., Legay A.

synthesis [INFO]Computer Science [cs] controller Uppaal Stratego moving block [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Article railway Security timed game autonomous driving

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.

Source: 40th IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'20), pp. 3–21, Valletta, Malta, 15-19/06/2020

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:423824,
	title = {Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego},
	author = {Basile D. and Ter Beek M. H. and Legay A.},
	doi = {10.1007/978-3-030-50086-3_1},
	booktitle = {40th IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'20), pp. 3–21, Valletta, Malta, 15-19/06/2020},
	year = {2020}
}