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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Train Protection Logic Based on Topological Manifolds for Virtual Coupling


    Beteiligte:
    Zhang, Yong (Autor:in) / Wang, Haifeng (Autor:in) / James, Phillip (Autor:in) / Roggenbach, Markus (Autor:in) / Tian, Daxin (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2022-08-01


    Format / Umfang :

    2535598 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Train group and train dynamic virtual coupling method

    WU WEIPING / ZHAO YE / WEN ZHENG et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    Multiscenario-Based Train Headway Analysis under Virtual Coupling System

    Jinyi Pan / Qiyuan Peng / Shuguang Zhan et al. | DOAJ | 2021

    Freier Zugriff

    Train virtual coupling control system and method

    ZHANG HUIQI / WAN SHUAI / NING HAISHI et al. | Europäisches Patentamt | 2021

    Freier Zugriff