1–20 von 57 Ergebnissen
|

    Topological manifold-based monitoring method for train-centric virtual coupling control systems

    Freier Zugriff
    Zhang, Yong / Wang, Haifeng | IET | 2020

    The effectiveness and costs of speed reductions on emissions from international shipping

    Corbett, James J. / Wang, Haifeng / Winebrake, James J. | Elsevier | 2009

    Shear Stress of Asphalt Pavement in Steep Slope Sections

    Feng, Lin / Liu, Jiangbo / Wang, Haifeng et al. | ASCE | 2009

    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

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

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

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

    Wang, Haifeng / Ning, Bin / Chen, Tan 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

    Numerical Simulation of Combustion of Unlike Impinging Jets Near a Wall

    Park, Ki Sun / Sardeshmukh, Swanand / Heister, Stephen D. et al. | AIAA | 2013

    Novel Online Safety Observer for Railway Interlocking System

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

    Kinetics Modeling of Hypergolic Propellants

    Sardeshmukh, Swanand V. / Heister, Stephen D. / Sankaran, Venkateswaran et al. | AIAA | 2013