A Topology-Based Model for Railway Train Control Systems

An innovative topology-based method for modeling railway train control systems is proposed in this paper. The method addresses the problems of having to rely too much on designers' experience and of incurring excessive cost of validation and verification in the development of railway train control systems. Four topics are discussed in the paper: 1) the definition of basic topological units for modeling railway networks, based on the essential characteristics of these units; 2) the concept of a train movement authority topological space; 3) the interpretation of the train control logic as a topological space construct; and 4) topological space theorems for train control system verification. A case study is also presented, where the approach was applied in the simulation model of a typical railway network, and the results show good performance, which meets the system requirements.

• Record URL:
  • https://doi.org/10.1109/TITS.2012.2237509
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/oclc/41297384
• Supplemental Notes:
  • Abstract reprinted with permission of IEEE.
• Authors:
  • Wang, Haifeng
  • Schmid, Felix
  • Chen, Lei
  • Roberts, Clive
  • Xu, Tianhua
• Publication Date: 2013-6

Language

• English

Media Info

• Media Type: Digital/other
• Features: Figures; References; Tables;
• Pagination: pp 819-827
• Serial:
  • IEEE Transactions on Intelligent Transportation Systems
  • Volume: 14
  • Issue Number: 2
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • ISSN: 1524-9050
  • Serial URL: http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979

Subject/Index Terms

• TRT Terms: Automatic train control; Logic; Methodology; Networks; Railroads; Simulation; Topology
• Subject Areas: Data and Information Technology; Operations and Traffic Management; Railroads; I71: Traffic Theory; I72: Traffic and Transport Planning;

Filing Info

• Accession Number: 01524734
• Record Type: Publication
• Files: TLIB, TRIS
• Created Date: May 1 2014 4:36PM