Project Details
Description
The European Train Control System (ETCS) strives to harmonize and improve train control systems throughout Europe. One particular aspect (within the so-called Level 2 with hybrid train detection, formerly known as Hybrid Level 3) is the utilization of virtual subsections, which allow for a much higher degree of freedom and provide significant potential for increasing efficiency in today’s train schedules. However, exploiting this potential is a highly non-trivial task which, thus far, mainly relied on manual labor. In our work, we aim to introduce design automation methods that aid designers of corresponding railway networks and train schedules. An overview paper on the arising design tasks is available in the preprint “Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System” .
In a first attempt, we developed an initial solution that utilizes satisfiability solvers to generate, verify, and optimize train layouts and/or schedules. A detailed description of this solution is available in the paper “Towards Automatic Design and Verification for Level 3 of the European Train Control System” , which we improved for optimized railway schedules in a follow-up work available in the paper “Optimal Railway Routing Using Virtual Subsections” . An implementation of these initial solutions is available at https://github.com/cda-tum/da_etcs .
Recently, we have introduced a mixed integer linear programming (MILP) approach for VSS generation in the paper “A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy” . The proposed MILP is flexible and extendable and includes more accurate constraints than previous methods. The resulting tool and benchmarks are publicly available as part of the Munich Train Control Toolkit (MTCT) at https://github.com/cda-tum/mtct .
The Munich Train Control Toolkit (MTCT) is under active development, and further methods will be included in the future.
In a first attempt, we developed an initial solution that utilizes satisfiability solvers to generate, verify, and optimize train layouts and/or schedules. A detailed description of this solution is available in the paper “Towards Automatic Design and Verification for Level 3 of the European Train Control System” , which we improved for optimized railway schedules in a follow-up work available in the paper “Optimal Railway Routing Using Virtual Subsections” . An implementation of these initial solutions is available at https://github.com/cda-tum/da_etcs .
Recently, we have introduced a mixed integer linear programming (MILP) approach for VSS generation in the paper “A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy” . The proposed MILP is flexible and extendable and includes more accurate constraints than previous methods. The resulting tool and benchmarks are publicly available as part of the Munich Train Control Toolkit (MTCT) at https://github.com/cda-tum/mtct .
The Munich Train Control Toolkit (MTCT) is under active development, and further methods will be included in the future.
Status | Not started |
---|
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.