Tianhua Xu

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

Yong Zhang, Haifeng Wang, Jidong Lv et al. · IEEE Transactions on Intelligent Transportation Systems · 2018 · 39 citations

Engineering, Industrial Engineering, Systems Engineering +15

A Topology-Based Model for Railway Train Control Systems

Haifeng Wang, Félix Schmid, Lei Chen et al. · IEEE Transactions on Intelligent Transportation Systems · 2013 · 36 citations

Engineering, Systems Engineering, Systems Modeling +16

Text mining based fault diagnosis of vehicle on-board equipment for high speed railway

Yang Zhao, Tianhua Xu, Haifeng Wang · 2014 · 28 citations

Computing, Computer Science, Data Mining +16

The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets

Tianhua Xu, Tao Tang · 2007 · 27 citations

Computing, Computer Science, Systems Engineering +15

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

Tianhua Xu, Haifeng Wang, Tangming Yuan et al. · IEEE Transactions on Intelligent Transportation Systems · 2016 · 26 citations

Engineering, Systems Engineering, Fault-tolerant Systems +16