Open AccessTopological manifold‐based monitoring method for train‐centric virtual coupling control systems
Author(s) -
Zhang Yong,
Wang Haifeng
Publication year - 2020
Publication title -
iet intelligent transport systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.579
H-Index - 45
eISSN - 1751-9578
pISSN - 1751-956X
DOI - 10.1049/iet-its.2019.0330
Subject(s) - train , correctness , computer science , coupling (piping) , manifold (fluid mechanics) , topological manifold , topology (electrical circuits) , control engineering , control (management) , block (permutation group theory) , engineering , algorithm , artificial intelligence , mathematics , electrical engineering , biochemistry , chemistry , topological tensor product , geometry , cartography , functional analysis , gene , geography , mechanical engineering
Train‐centric virtual coupling is one of the promising techniques available to increase the capacity of the railway, and is much more complex than the existing train control systems. The safety issue for the system needs to be addressed since virtually coupled trains are allowed to run closer than under the traditional fixed/moving block principle. In this study, the authors proposed a topological manifold‐based monitoring method to guarantee the safety of the train‐centric virtual coupling systems. The basic signalling equipment and dynamic train behaviour are described as topological elements and manifolds. Based on that, several safety monitoring theorems are proved to ensure the safety of the virtual coupling control logic. The theorem for the verification of trains running information is proved, along with theorems for the correctness of the virtual coupling control strategy. The trains’ dynamic behaviour under specific control commands can also be supervised by a safety theorem. Finally, a case study is performed to illustrate the proposed method. The results show that the method is feasible for monitoring the train‐centric virtual coupling control systems.