1–7 von 7 Ergebnissen
|

    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

    Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking

    Han, Xiao / Tang, Tao / Lv, Jidong et al. | British Library Conference Proceedings | 2016

    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

    Bilevel Feature Extraction-Based Text Mining for Fault Diagnosis of Railway Systems

    Wang, Feng / Xu, Tianhua / Tang, Tao et al. | IEEE | 2017

    A novel framework for supporting the design of moving block train control system schemes

    Wang, Haifeng / Tang, Tao / Roberts, Clive et al. | SAGE Publications | 2014

    Architecture Design of a Novel Train-centric CBTC System

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