Concepedia

Tianhua Xu

TX

Statistics

Publications

11

Citations

249

H-Index

10

Active since

2007

Affiliations

Beijing Jiaotong University(Current)

University of York

Tianhua Xu is an author at Beijing Jiaotong University specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringIndustrial InformaticsControl SystemsReliability EngineeringTransportation EngineeringFormal MethodsSafety Science

Publications per year

2007–2018

11

Publications

11

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 · 38 citations

Railway Traffic, Train Behavior, 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

Railway Traffic, Innovative Topology-based Method, Engineering +12

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

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

Fault Diagnosis, Engineering, Diagnosis +19

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

Railway Traffic, Petri Net, Data Communication System +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, Safety Science, Formal Verification +17

1–5 of 11