2022
DOI: 10.1109/tits.2021.3108840
|View full text |Cite
|
Sign up to set email alerts
|

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling

Abstract: Virtual coupling is a promising innovation aimed at increasing railway capacity. Compared to current railway signaling systems, it allows two or more trains to run with reduced headway between them. However, such reduced headways are a challenge to safety. In this work we consider this challenge by formally describing and verifying an approach to virtual coupling. We propose a general modeling method based on topological manifolds to describe the protection logic for virtual coupling train control systems. We … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2022
2022
2025
2025

Publication Types

Select...
7
1
1

Relationship

1
8

Authors

Journals

citations
Cited by 16 publications
(4 citation statements)
references
References 27 publications
0
4
0
Order By: Relevance
“…Proving the correctness of a train control system with formal methods is an important research direction [27]. Runtime verification is a lightweight formal method that can predict undesired behaviours while the system is running [28].…”
Section: B Predictions Of Train Operationsmentioning
confidence: 99%
“…Proving the correctness of a train control system with formal methods is an important research direction [27]. Runtime verification is a lightweight formal method that can predict undesired behaviours while the system is running [28].…”
Section: B Predictions Of Train Operationsmentioning
confidence: 99%
“…In China, the CTCS framework was established to define the standards of the signaling systems. According to the specifications, CTCS is divided into five levels [28]. Taking CTCS level 2 as an example, it consists of the digital track circuits (or analog track circuits with multi-information), transponders (Balise), and the on-board equipment with an Automatic Train Protection (ATP) function.…”
Section: System Architecture and Fault Modes Of On-board Tcsmentioning
confidence: 99%
“…Finally, reference [129] proposed a general modeling method based on topological manifolds to describe the protection logic for VCTS. Furthermore, reference [130] proposed a calculation model for station spacing to minimize the passenger travel time for increasing the station spacing and passenger transport efficiency.…”
Section: Optimization and Optimal Controlmentioning
confidence: 99%