Route safety verification of train control system by FTA modeling in SCADE. - Haifeng Wang 005; Bin Ning; Tan Chen; Shengjie Tang; Yong Zhang 028; Ming Chai (ITSC, 2018)

Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata. - Ming Chai; Haifeng Wang 005; Hongjie Liu; Jidong Lv; Qian Hu (ITSC, 2019)

Modeling and Verification of Route Protection for Train-centric Train Control System. - Xuefei Li; Ming Chai; Haifeng Wang 005 (ITSC, 2019)

Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment. - Yong Zhang 028; Haifeng Wang 005; Tommy Yuan; Jidong Lv; Tianhua Xu (IEEE Trans. Intell. Transp. Syst., 2019)

Train Operation Strategy Optimization of Virtual Coupling: A Cooperative Game Based Approach. - Qi Wang 099; Ming Chai; Haifeng Wang 005; Lijie Chen 006; Jidong Lv (ITSC, 2021)

Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System. - Yong Zhang 028; Haifeng Wang 005; Ming Chai; Ruijun Cheng (IEEE Intell. Transp. Syst. Mag., 2021)

Runtime verification of train control systems with parameterized modal live sequence charts. - Ming Chai; Haifeng Wang 005; Tao Tang 004; Hongjie Liu (J. Syst. Softw., 2021)

A Novel Long Short Term Memory Network Based Train Dynamic Identification for Virtual Coupling. - Haoyuan Liu; Ming Chai; Hongjie Liu; Haifeng Wang 005; Jinchuan Chai (ITSC, 2022)

Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System. - Qi Wang 099; Ming Chai; Haifeng Wang 005; Hao Zhang; Jinchuan Chai; Bingyue Lin (ITSC, 2022)

Model-based Design and Testing for Route Control of Railway Virtual Coupling. - Xinyi Zhang; Ming Chai; Lijie Chen 006; Hai-Feng Wang 005; Junfeng Cui; Jinchuan Chai (ITSC, 2022)

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. - Yong Zhang 028; Haifeng Wang 005; Phillip James; Markus Roggenbach; Daxin Tian (IEEE Trans. Intell. Transp. Syst., 2022)

An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning. - Bowen Pang; Qihe Zhang; Ming Chai; Haifeng Wang 005 (ITSC, 2023)

A Distributed Convergent Clock Synchronization Algorithm Based on Exponential Smoothing for Cloud-Based Railway Interlocking System. - Qihe Zhang; Shunli Li; Zhiguo Liang; Jiacheng Kong; Dongdong Wei; Yong Yang; Ming Chai; Haifeng Wang 005 (ITSC, 2023)

A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System. - Huan Zheng; Qihe Zhang; Zhiguo Liang; Jiacheng Kong; Dongdong Wei; Yong Yang; Ming Chai; Haifeng Wang 005 (ITSC, 2023)

A Space-Time Interval Based Safety Protection Model for Virtual Coupling Heavy-Haul Trains. - Xinyi Zhang; Ming Chai; Qi Wang 099; Haoxiang Su; Hai-Feng Wang 005; Jidong Lv; Yong Zhang 028 (ITSC, 2024)

A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains. - Ming Chai; Haifeng Wang 005; Tao Tang 004; Jinchuan Chai; Hongjie Liu (IEEE Trans. Intell. Veh., 2024)

Automatic Train Operation of Heavy-Haul Trains Based on Model Predictive Control. - Haoyu Yang; Ming Chai; Youbin Su; Zhanyuan He; Haoyuan Liu; Hai-Feng Wang 005 (ITSC, 2025)