No Cover Image

Journal article 922 views 304 downloads

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling

Yong Zhang Orcid Logo, Haifeng Wang, Phillip James, Markus Roggenbach Orcid Logo, Daxin Tian Orcid Logo

IEEE Transactions on Intelligent Transportation Systems, Volume: 23, Issue: 8, Pages: 11930 - 11945

Swansea University Authors: Phillip James, Markus Roggenbach Orcid Logo

Check full text

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...

Full description

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!
first_indexed 2021-09-27T10:15:56Z
last_indexed 2023-01-11T14:38:12Z
id cronfa57959
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>57959</id><entry>2021-09-19</entry><title>A Train Protection Logic Based on Topological Manifolds for Virtual Coupling</title><swanseaauthors><author><sid>fd3b15ff96c5ea91a100131abac558b6</sid><firstname>Phillip</firstname><surname>James</surname><name>Phillip James</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2021-09-19</date><deptcode>SCS</deptcode><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.</abstract><type>Journal Article</type><journal>IEEE Transactions on Intelligent Transportation Systems</journal><volume>23</volume><journalNumber>8</journalNumber><paginationStart>11930</paginationStart><paginationEnd>11945</paginationEnd><publisher>Institute of Electrical and Electronics Engineers (IEEE)</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>1524-9050</issnPrint><issnElectronic>1558-0016</issnElectronic><keywords/><publishedDay>1</publishedDay><publishedMonth>8</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-08-01</publishedDate><doi>10.1109/tits.2021.3108840</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><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)</funders><projectreference/><lastEdited>2023-07-10T09:52:08.3804317</lastEdited><Created>2021-09-19T17:33:23.5561893</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Yong</firstname><surname>Zhang</surname><orcid>0000-0002-8205-0006</orcid><order>1</order></author><author><firstname>Haifeng</firstname><surname>Wang</surname><order>2</order></author><author><firstname>Phillip</firstname><surname>James</surname><order>3</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>4</order></author><author><firstname>Daxin</firstname><surname>Tian</surname><orcid>0000-0001-7796-5650</orcid><order>5</order></author></authors><documents><document><filename>57959__21415__a85df82990c14314b1ade178eaa98822.pdf</filename><originalFilename>57959.pdf</originalFilename><uploaded>2021-11-03T09:31:23.4029589</uploaded><type>Output</type><contentLength>1535387</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling v2 57959 2021-09-19 A Train Protection Logic Based on Topological Manifolds for Virtual Coupling fd3b15ff96c5ea91a100131abac558b6 Phillip James Phillip James true false 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2021-09-19 SCS 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. Journal Article IEEE Transactions on Intelligent Transportation Systems 23 8 11930 11945 Institute of Electrical and Electronics Engineers (IEEE) 1524-9050 1558-0016 1 8 2022 2022-08-01 10.1109/tits.2021.3108840 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 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) 2023-07-10T09:52:08.3804317 2021-09-19T17:33:23.5561893 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Yong Zhang 0000-0002-8205-0006 1 Haifeng Wang 2 Phillip James 3 Markus Roggenbach 0000-0002-3819-2787 4 Daxin Tian 0000-0001-7796-5650 5 57959__21415__a85df82990c14314b1ade178eaa98822.pdf 57959.pdf 2021-11-03T09:31:23.4029589 Output 1535387 application/pdf Accepted Manuscript true true eng
title A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
spellingShingle A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
Phillip James
Markus Roggenbach
title_short A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
title_full A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
title_fullStr A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
title_full_unstemmed A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
title_sort A Train Protection Logic Based on Topological Manifolds for Virtual Coupling
author_id_str_mv fd3b15ff96c5ea91a100131abac558b6
7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Phillip James
Markus Roggenbach
author2 Yong Zhang
Haifeng Wang
Phillip James
Markus Roggenbach
Daxin Tian
format Journal article
container_title IEEE Transactions on Intelligent Transportation Systems
container_volume 23
container_issue 8
container_start_page 11930
publishDate 2022
institution Swansea University
issn 1524-9050
1558-0016
doi_str_mv 10.1109/tits.2021.3108840
publisher Institute of Electrical and Electronics Engineers (IEEE)
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
description 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.
published_date 2022-08-01T09:52:05Z
_version_ 1771022975674351616
score 11.037603

Similar Items