Journal article 781 views 266 downloads
A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
,
Haifeng Wang,
Phillip James,
Markus Roggenbach ,
Daxin Tian
IEEE Transactions on Intelligent Transportation Systems, Volume: 23, Issue: 8, Pages: 11930 - 11945
Swansea University Authors:
Phillip James, Markus Roggenbach
-
PDF | Accepted Manuscript
Download (1.46MB)
DOI (Published version): 10.1109/tits.2021.3108840
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...
| Published in: | IEEE Transactions on Intelligent Transportation Systems |
|---|---|
| ISSN: | 1524-9050 1558-0016 |
| Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2022
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa57959 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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 also describe the basic train control elements in topological terms and analyze the line condition of our virtual coupling logic. We establish that the line condition safety requirements and its representation as a manifold are equivalent and further provide a formal definition of the concept of a movement authority with manifold notations. This allows us to consider the dynamic behavior of trains and a series of theorems that establish the correctness of our protection logic for virtual coupling. Finally, we apply the presented methods to a case study. The results show that the proposed method provides a suitable way to realize a virtual coupling logic safely. |
|---|---|
| College: |
Faculty of Science and Engineering |
| Funders: |
China Postdoctoral Science Foundation (Grant Number: 2021M690295); Key Project of Chinese National Programs for Fundamental Research Development (973 Program) (Grant Number: 2014CB340703); National Key Research and Development Program of China (Grant Number: 2018YFB1201500); Beijing Municipal Natural Science Foundation (Grant Number: L191001); National Natural Science Foundation of China (Grant Number: 62173012, U20A20155 and 61822101); Newton Advanced Fellowship (Grant Number: 62061130221); Science and Technology Research and Development Program of China State Railway Group Company Ltd. (Grant Number: P2018X011) |
| Issue: |
8 |
| Start Page: |
11930 |
| End Page: |
11945 |