The on-board equipment of Chinese Train Control System-3 (CTCS-3) plays a key role in protecting trains from over-speeding. Conventional over-speed protection methods monitor the speed at discrete time instants. However, the over-speed behavior between discrete time instants cannot be detected, which may cause potential risks. To address this problem, this paper proposes a hybrid safety observation method to monitor train speed throughout the operation. In the proposed method, the train behavior is modeled with a hybrid automata, which takes parameters that affect train movement into consideration. Train behavior in the next control cycles is predicted periodically by computing the reachable set of the model. The safety property set is obtained according to the runtime speed limits. The intersection check between the reachable set and safety property set is performed to decide whether train speed may exceed the speed limit in a short future period. A case study is presented to demonstrate the proposed method in action by using real engineering data from the Chinese railway industry. The results show that the observation method is feasible in verifying the violations of CTCS-3 on-board equipment safety properties.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment


    Contributors:
    Zhang, Yong (author) / Wang, Haifeng (author) / Yuan, Tommy (author) / Lv, Jidong (author) / Xu, Tianhua (author)


    Publication date :

    2019-03-01


    Size :

    2105216 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    CTCS-Chinese Train Control System

    Ning, B. / Tang, T. / Qiu, K. et al. | British Library Conference Proceedings | 2004


    Train control system based on CTCS (China Train Control System) and driving safety inspection method

    XU XIANLIANG / QIN SHUZENG / ZHU YONGHUA et al. | European Patent Office | 2025

    Free access

    CTCS-N train display control method, device, equipment and medium

    YANG ZHENHUA / FEI ZHENHAO / HUANG QUANHUI et al. | European Patent Office | 2024

    Free access

    Method for automatically switching train-mounted equipment between CTCS-0 level and CTCS-4 level

    JIA HONG / LIANG QIANHAO / WANG PENG | European Patent Office | 2021

    Free access

    CTCS-3 level train control system integrated test method

    WANG YANHUI / CAO YINGDE | European Patent Office | 2021

    Free access