Position calculation models by neural computing and online learning methods for high-speed train. - Dewang Chen; Xiaojie Han; Ruijun Cheng; Lixing Yang (Neural Comput. Appl., 2016)

Model-based verification method for solving the parameter uncertainty in the train control system. - Ruijun Cheng; Jin Zhou 003; Dewang Chen; Yongduan Song (Reliab. Eng. Syst. Saf., 2016)

Intelligent driving methods based on expert knowledge and online optimization for high-speed trains. - Ruijun Cheng; Dewang Chen; Bao Cheng; Song Zheng (Expert Syst. Appl., 2017)

Intelligent Localization of a High-Speed Train Using LSSVM and the Online Sparse Optimization Approach. - Ruijun Cheng; Yongduan Song; Dewang Chen; Long Chen 001 (IEEE Trans. Intell. Transp. Syst., 2017)

Two-Layer Hierarchy Optimization Model for Communication Protocol in Railway Wireless Monitoring Networks. - Xiaoping Ma; Honghui Dong; Junqing Tang; Limin Jia 002; Yong Qin 002; Ruijun Cheng (Wirel. Commun. Mob. Comput., 2018)

Intelligent driving methods based on sparse LSSVM and ensemble CART algorithms for high-speed trains. - Ruijun Cheng; Dewang Chen; Weilong Gai; Song Zheng (Comput. Ind. Eng., 2019)

Intelligent Safe Driving Methods Based on Hybrid Automata and Ensemble CART Algorithms for Multihigh-Speed Trains. - Ruijun Cheng; Wei Yu; Yongduan Song; Dewang Chen; Xiaoping Ma; Yu Cheng (IEEE Trans. Cybern., 2019)

Intelligent Positioning Approach for High Speed Trains Based on Ant Colony Optimization and Machine Learning Algorithms. - Ruijun Cheng; Yongduan Song; Dewang Chen; Xiao-Ping Ma (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)

Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors. - Ruijun Cheng; Yu Cheng; Dewang Chen; Haifeng Song 001 (Reliab. Eng. Syst. Saf., 2021)

Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage. - Ruijun Cheng; Dewang Chen; Xiaoping Ma; Yu Cheng; Huize Cheng (IEEE Trans. Intell. Transp. Syst., 2024)

Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking. - Yu Cheng; Jinzhao Liu; Xinliang Jiang; Xinyu Du; Ruijun Cheng (J. Supercomput., 2024)

Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey. - Ruijun Cheng; Dewang Chen; Haifeng Song 001; Hui Liu; Huize Cheng (IEEE Trans. Intell. Transp. Syst., 2025)