Safe and Time-Optimal Control for Railway Games

Shyamlal Karra; Kim Guldstrand Larsen; Florian Lorber; Jiri Srba

doi:10.1007/978-3-030-18744-6_7

Safe and Time-Optimal Control for Railway Games

Shyamlal Karra, Kim Guldstrand Larsen, Florian Lorber, Jiri Srba

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

8 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19)
Editors	Simon Collart-Dutilleul, Alexander Romanovsky, Thierry Lecomte
Number of pages	17
Publisher	Springer
Publication date	2019
Pages	106-122
ISBN (Print)	978-3-030-18743-9
ISBN (Electronic)	978-3-030-18744-6
DOIs	https://doi.org/10.1007/978-3-030-18744-6_7
Publication status	Published - 2019
Event	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. - Lille, Lille, France Duration: 4 Jun 2019 → 6 Jun 2019 https://conferences.ncl.ac.uk/rssrail2019/

Conference

Conference	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification.
Location	Lille
Country/Territory	France
City	Lille
Period	04/06/2019 → 06/06/2019
Internet address	https://conferences.ncl.ac.uk/rssrail2019/

Series	Lecture Notes in Computer Science
Volume	11495
ISSN	0302-9743

Access to Document

10.1007/978-3-030-18744-6_7

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Karra, S., Larsen, K. G., Lorber, F., & Srba, J. (2019). Safe and Time-Optimal Control for Railway Games. In S. Collart-Dutilleul, A. Romanovsky, & T. Lecomte (Eds.), Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19) (pp. 106-122). Springer. https://doi.org/10.1007/978-3-030-18744-6_7

Karra, Shyamlal ; Larsen, Kim Guldstrand ; Lorber, Florian et al. / Safe and Time-Optimal Control for Railway Games. Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). editor / Simon Collart-Dutilleul ; Alexander Romanovsky ; Thierry Lecomte. Springer, 2019. pp. 106-122 (Lecture Notes in Computer Science, Vol. 11495).

@inproceedings{45a3930972f742f5bfa6e5a10ba708a0,

title = "Safe and Time-Optimal Control for Railway Games",

abstract = "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. ",

author = "Shyamlal Karra and Larsen, {Kim Guldstrand} and Florian Lorber and Jiri Srba",

year = "2019",

doi = "10.1007/978-3-030-18744-6_7",

language = "English",

isbn = "978-3-030-18743-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "106--122",

editor = "Simon Collart-Dutilleul and Alexander Romanovsky and Thierry Lecomte",

booktitle = "Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19)",

address = "Germany",

note = "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification., RSSRail ; Conference date: 04-06-2019 Through 06-06-2019",

url = "https://conferences.ncl.ac.uk/rssrail2019/",

}

Karra, S, Larsen, KG, Lorber, F & Srba, J 2019, Safe and Time-Optimal Control for Railway Games. in S Collart-Dutilleul, A Romanovsky & T Lecomte (eds), Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Springer, Lecture Notes in Computer Science, vol. 11495, pp. 106-122, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification., Lille, France, 04/06/2019. https://doi.org/10.1007/978-3-030-18744-6_7

Safe and Time-Optimal Control for Railway Games. / Karra, Shyamlal; Larsen, Kim Guldstrand; Lorber, Florian et al.
Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). ed. / Simon Collart-Dutilleul; Alexander Romanovsky; Thierry Lecomte. Springer, 2019. p. 106-122 (Lecture Notes in Computer Science, Vol. 11495).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Safe and Time-Optimal Control for Railway Games

AU - Karra, Shyamlal

AU - Larsen, Kim Guldstrand

AU - Lorber, Florian

AU - Srba, Jiri

PY - 2019

Y1 - 2019

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.

AB - 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.

UR - https://link.springer.com/chapter/10.1007%2F978-3-030-18744-6_7

U2 - 10.1007/978-3-030-18744-6_7

DO - 10.1007/978-3-030-18744-6_7

M3 - Article in proceeding

SN - 978-3-030-18743-9

T3 - Lecture Notes in Computer Science

SP - 106

EP - 122

BT - Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19)

A2 - Collart-Dutilleul, Simon

A2 - Romanovsky, Alexander

A2 - Lecomte, Thierry

PB - Springer

T2 - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification.

Y2 - 4 June 2019 through 6 June 2019

ER -

Karra S, Larsen KG, Lorber F, Srba J. Safe and Time-Optimal Control for Railway Games. In Collart-Dutilleul S, Romanovsky A, Lecomte T, editors, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Springer. 2019. p. 106-122. (Lecture Notes in Computer Science, Vol. 11495). doi: 10.1007/978-3-030-18744-6_7

Safe and Time-Optimal Control for Railway Games

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this