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

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

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

Reliability Analysis of Train-centric Control System and CTCS-3 using PMS Modelling Method. - Yong Zhang 028; Jiawei Li; Aled R. Walters; Xuting Duan; Daxin Tian (ITSC, 2022)

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

Synchronization Control of Virtually Coupled Train Set in Dynamic Coupling: A Cooperative Consensus Approach. - Yanli Liao; Qiusheng Liu; Hongjie Liu; Jidong Lv; Yong Zhang 028; Guodong Wei; Xiaolin Luo (ITSC, 2024)