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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Topology-Based Model for Railway Train Control Systems


    Contributors:
    Wang, Haifeng (author) / Schmid, Felix (author) / Chen, Lei (author) / Roberts, Clive (author) / Xu, Tianhua (author)


    Publication date :

    2013-06-01


    Size :

    609579 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Continuous running method of railway train, railway train and railway facility

    ZHAO ZHIGANG | European Patent Office | 2015

    Free access

    Experimental validation of train control systems by using a railway model

    Einer, S. / Schrom, H. / Slovak, R. et al. | British Library Conference Proceedings | 2002


    TRAIN BRAKING CYLINDER PRESSURE CONTROL SYSTEM AND RAILWAY TRAIN

    QIAO FENG / XIN ZHIQIANG / ZHAO YANGKUN et al. | European Patent Office | 2019

    Free access

    TRAIN BRAKING CYLINDER PRESSURE CONTROL SYSTEM AND RAILWAY TRAIN

    QIAO FENG / XIN ZHIQIANG / MA YONGJING et al. | European Patent Office | 2019

    Free access