License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ATMOS.2023.6
URN: urn:nbn:de:0030-drops-187676
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18767/
Go to the corresponding OASIcs Volume Portal


Engels, Stefan ; Peham, Tom ; Wille, Robert

A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy

pdf-format:
OASIcs-ATMOS-2023-6.pdf (1 MB)


Abstract

The European Train Control System (Hybrid) Level 3 (ETCS Hybrid Level 3) allows for introducing Virtual Subsections (VSS) into existing railway infrastructures. These VSS work similarly to blocks in conventional block signaling but do not require installation or maintenance of trackside train detection. This added flexibility can be used to adapt a given railway network’s (virtual) layout to the changing demands of new schedules. Automated methods are needed to properly use this flexibility and design such layouts on demand and avoid time-intensive manual labor. Recently, approaches inspired by design automation of electronic hardware have been proposed to address this need. But those methods - which are particularly well suited for inherently discrete problems in electronic design automation - have struggled with modeling continuous properties like train positions, time, and acceleration. This work proposes a Mixed Integer Linear Programming (MILP) formulation that, for the first time, can accurately model design problems for ETCS Hybrid Level 3 by including essential, continuous constraints, e.g., for train dynamics or braking curves. The formulation is designed to be flexible and extendable, allowing the user to include/exclude certain constraints or simplify the model as needed. By this, the user can decide whether he/she wants to quickly generate a less accurate solution or a more accurate one at the expense of higher runtimes - basically allowing him/her to trade-off accuracy and efficiency. A case study showcases the potential of the proposed approach and sketches examples to analyze which trade-offs are worthwhile and which simplifications can be safely made. The resulting tool and the benchmarks considered in this work are publicly available at https://github.com/cda-tum/mtct (as part of the Munich Train Control Toolkit, MTCT).

BibTeX - Entry

@InProceedings{engels_et_al:OASIcs.ATMOS.2023.6,
  author =	{Engels, Stefan and Peham, Tom and Wille, Robert},
  title =	{{A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy}},
  booktitle =	{23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2023)},
  pages =	{6:1--6:17},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-302-7},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{115},
  editor =	{Frigioni, Daniele and Schiewe, Philine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/18767},
  URN =		{urn:nbn:de:0030-drops-187676},
  doi =		{10.4230/OASIcs.ATMOS.2023.6},
  annote =	{Keywords: ETCS, MILP, design automation, block signaling, virtual subsection}
}

Keywords: ETCS, MILP, design automation, block signaling, virtual subsection
Collection: 23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2023)
Issue Date: 2023
Date of publication: 31.08.2023
Supplementary Material: Software (Source Code): https://github.com/cda-tum/mtct archived at: https://archive.softwareheritage.org/swh:1:dir:df97b4f2a6638ce93578147ee5d9220a63973f00


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI