1–16 von 16 Ergebnissen
|

    A holistic solution to virtual coupling based urban rail train control system

    Zhang, Qihe / Wang, Haifeng / Zhang, Yong et al. | SAGE Publications | 2024

    A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains

    Freier Zugriff
    Chai, Ming / Wang, Haifeng / Tang, Tao et al. | IEEE | 2024

    An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning

    Pang, Bowen / Zhang, Qihe / Chai, Ming et al. | IEEE | 2023

    Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System

    Wang, Qi / Chai, Ming / Wang, Haifeng et al. | IEEE | 2022

    Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata

    Chai, Ming / Wang, Haifeng / Liu, Hongjie et al. | IEEE | 2019

    Safety monitor for train‐centric CBTC system

    Freier Zugriff
    Wang, Haifeng / Zhao, Ning / Ning, Bin et al. | Wiley | 2018

      Safety monitor for train-centric CBTC system

      Freier Zugriff
      Wang, Haifeng / Zhao, Ning / Ning, Bin et al. | IET | 2018

    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

    Chai, Ming / Wang, Haifeng / Zhang, Jian et al. | IEEE | 2018

    Positive Safety Modeling of CTCS-3 Train Control System for High-speed railway

    Tang, Shengjie / Wang, Haifeng / Ning, Bin et al. | IEEE | 2018

    Route safety verification of train control system by FTA modeling in SCADE

    Wang, Haifeng / Ning, Bin / Chen, Tan et al. | IEEE | 2018