1–20 of 22 hits
|

    Design of cooling system for underwater motor based on phase-change heat transfer

    Huang yuanfeng, / Wang haifeng, / Du yumei, | IEEE | 2014

    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

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

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

    Free access
    Chai, Ming / Wang, Haifeng / Tang, Tao et al. | IEEE | 2024

    A Train Protection Logic Based on Topological Manifolds for Virtual Coupling

    Zhang, Yong / Wang, Haifeng / James, Phillip et al. | IEEE | 2022

    Data Censoring in Renewable Energy Enabled Wireless Sensor Networks

    Yang, Miao / Yang, Liu / Zhu, Zhenghang et al. | IEEE | 2019

    Heterogeneous Mission Planning for Multiple UAV Formations via Metaheuristic Algorithms

    Wu, Yu / Liang, Tianjiao / Gou, Jinzhan et al. | IEEE | 2023

    Automating Robot Motion Planning for Magnetic Resonance Navigation Using Q-Learning

    Wang, Xiaoyan / An, Zhenzhou / Zhou, Yihang 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

    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

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

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

    Thermal analysis and optimization of the stator structure of a submerged cryogenic induction motor

    Ai Chengliu, / Huang Yuanfeng, / Wang Haifeng, et al. | IEEE | 2014

    Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System

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

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

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

    Architecture Design of a Novel Train-centric CBTC System

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