1–5 of 5 hits
|

    Novel Online Safety Observer for Railway Interlocking System

    Wang, Haifeng / Xu, Tianhua / Yuan, Tangming | ASCE | 2013

    BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems

    Xu, Tianhua / Wang, Haifeng / Yuan, Tangming et al. | IEEE | 2016

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

    Zhang, Yong / Wang, Haifeng / Yuan, Tommy et al. | IEEE | 2019

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

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

    A Topology-Based Model for Railway Train Control Systems

    Wang, Haifeng / Schmid, Felix / Chen, Lei et al. | IEEE | 2013