Safe and Time-Optimal Control for Railway Games

D 2019

Safe and Time-Optimal Control for Railway Games

KARRA, Shyam Lal, Kim G. LARSEN, Florian LORBER and Jiří SRBA

Basic information

Original name

Safe and Time-Optimal Control for Railway Games

Authors

KARRA, Shyam Lal (356 India), Kim G. LARSEN (208 Denmark), Florian LORBER (40 Austria) and Jiří SRBA (203 Czech Republic, guarantor, belonging to the institution)

Edition

The Netherlands, RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p. 106-122, 17 pp. 2019

Publisher

Springer

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/19:00113641

Organization unit

Faculty of Informatics

ISBN

978-3-030-18743-9

ISSN

DOI

http://dx.doi.org/10.1007/978-3-030-18744-6_7

UT WoS

000558742000009

Keywords in English

railway games; optimal control; control synthesis

Změněno: 16/5/2022 14:28, Mgr. Michal Petr

Abstract

V originále

Railway scheduling is a complex and safety critical problem that has recently attracted attention in the formal verification community. We provide a formal model of railway scheduling as a stochastic timed game and using the tool Uppaal Stratego, we synthesise the most permissive control strategy for operating the lights and points at the railway scenario such that we guarantee system’s safety (avoidance of train collisions). Among all such safe strategies, we then select (with the help of reinforcement learning) a concrete strategy that minimizes the time needed to move all trains to their target locations. This optimizes the speed and capacity of a railway system and advances the current state-of-the-art where the optimality criteria were not considered yet. We successfully demonstrate our approach on the models of two Danish railway stations, and discuss the applicability and scalability of our approach.

Citovat

KARRA, Shyam Lal, Kim G. LARSEN, Florian LORBER and Jiří SRBA. Safe and Time-Optimal Control for Railway Games. In RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. The Netherlands: Springer, 2019, p. 106-122. ISBN 978-3-030-18743-9. Available from: https://dx.doi.org/10.1007/978-3-030-18744-6_7.

@inproceedings{1646340,
   author = {Karra, Shyam Lal and Larsen, Kim G. and Lorber, Florian and Srba, Jiří},
   address = {The Netherlands},
   booktitle = {RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification},
   doi = {http://dx.doi.org/10.1007/978-3-030-18744-6_7},
   keywords = {railway games; optimal control; control synthesis},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {The Netherlands},
   isbn = {978-3-030-18743-9},
   pages = {106-122},
   publisher = {Springer},
   title = {Safe and Time-Optimal Control for Railway Games},
   year = {2019}
}

TY  - JOUR
ID  - 1646340
AU  - Karra, Shyam Lal - Larsen, Kim G. - Lorber, Florian - Srba, Jiří
PY  - 2019
TI  - Safe and Time-Optimal Control for Railway Games
PB  - Springer
CY  - The Netherlands
SN  - 9783030187439
KW  - railway games
KW  - optimal control
KW  - control synthesis
N2  - Railway scheduling is a complex and safety critical problem that has recently attracted attention in the formal verification community. We provide a formal model of railway scheduling as a stochastic timed game and using the tool Uppaal Stratego, we synthesise the most permissive control strategy for operating the lights and points at the railway scenario such that we guarantee system’s safety (avoidance of train collisions). Among all such safe strategies, we then select (with the help of reinforcement learning) a concrete strategy that minimizes the time needed to move all trains to their target locations. This optimizes the speed and capacity of a railway system and advances the current state-of-the-art where the optimality criteria were not considered yet. We successfully demonstrate our approach on the models of two Danish railway stations, and discuss the applicability and scalability of our approach.
ER  -

KARRA, Shyam Lal, Kim G. LARSEN, Florian LORBER and Jiří SRBA. Safe and Time-Optimal Control for Railway Games. In \textit{RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification}. The Netherlands: Springer, 2019, p.~106-122. ISBN~978-3-030-18743-9. Available from: https://dx.doi.org/10.1007/978-3-030-18744-6\_{}7.

Detailed Information on Publication Record