Design Tasks and Their Complexity for the European Train Control System with Hybrid Train Detection

Stefan Engels,Tom Peham,Judith Przigoda,Nils Przigoda,Robert Wille
2024-08-02
Abstract:Railway networks have become increasingly important in recent times, especially to move freight and public transportation from road traffic and planes to more environmentally friendly trains. Since expanding the global railway network is time and resource-consuming, maximizing the rail capacity on the existing infrastructure is desirable. However, simply running more trains is infeasible as certain constraints enforced by the train control system must be satisfied. The capacity of a network depends (amongst others) on the distance between trains allowed by this safety system. While most signaling systems rely on fixed blocks defined by costly hardware, new specifications provided by Level 2 with Hybrid Train Detection of the European Train Control System (ETCS L2 HTD), formerly known as ETCS Hybrid Level 3, allow the usage of virtual subsections. This additional degree of freedom allows for shorter train following times and, thus, more trains on existing railway tracks. On the other hand, new design tasks arise on which automated methods might be helpful for designers of modern railway networks. However, although first approaches exist that solve design problems arising within ETCS L2 HTD, neither formal descriptions nor results on the computational complexity of the corresponding design tasks exist. In this paper, we fill this gap by providing a formal description of design tasks for ETCS L2 HTD and proof that these tasks are NP-complete or NP-hard, respectively. By that, we are providing a solid basis for the future development of methods to solve those tasks, which will be integrated into the Munich Train Control Toolkit available open-source on GitHub at <a class="link-external link-https" href="https://github.com/cda-tum/mtct" rel="external noopener nofollow">this https URL</a>.
Systems and Control,Computational Engineering, Finance, and Science
What problem does this paper attempt to address?
This paper attempts to address the problem of how to formalize and analyze the complexity of design tasks in the Hybrid Train Detection (HTD) of the European Train Control System (ETCS). Specifically: 1. **Background**: - Railway networks are becoming increasingly important in reducing carbon emissions and improving the efficiency of public transportation. - Expanding railway networks is time-consuming and resource-intensive, so it is necessary to maximize railway capacity on existing infrastructure. - Constraints of train control systems limit the possibility of increasing the number of trains, with the safe distance between trains being a key factor. - The new ETCS Level 2 HTD specification allows the use of Virtual Subsections (VSS), thereby reducing train following time and increasing the utilization of railway tracks. 2. **Problem**: - Although some methods have addressed the design issues in ETCS L2 HTD, these methods lack formal descriptions and results on computational complexity. - This paper aims to fill this gap by providing a formal description of the ETCS L2 HTD design tasks and proving that these tasks are NP-complete or NP-hard. 3. **Objective**: - Provide a solid theoretical foundation to lay the groundwork for future development of methods to solve these design tasks. - Integrate these methods into the open-source Munich Train Control Toolkit (MTCT). Through this work, researchers and engineers will be able to better understand and optimize the design of modern railway networks, particularly in terms of utilizing virtual subsections to increase railway capacity.