Ruijun Cheng

13 papers Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey.
IEEE Trans. Intell. Transp. Syst.
Ruijun Cheng, Dewang Chen, Haifeng Song, Hui Liu, Huize Cheng
2024 J jnl
Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage.
IEEE Trans. Intell. Transp. Syst.
Ruijun Cheng, Dewang Chen, Xiaoping Ma, Yu Cheng, Huize Cheng
2024 J jnl
Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking.
J. Supercomput.
Yu Cheng, Jinzhao Liu, Xinliang Jiang, Xinyu Du, Ruijun Cheng
2021 J jnl
Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System.
IEEE Intell. Transp. Syst. Mag.
Yong Zhang, Haifeng Wang, Ming Chai, Ruijun Cheng
2021 J jnl
Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors.
Reliab. Eng. Syst. Saf.
Ruijun Cheng, Yu Cheng, Dewang Chen, Haifeng Song
2019 J jnl
Intelligent Positioning Approach for High Speed Trains Based on Ant Colony Optimization and Machine Learning Algorithms.
IEEE Trans. Intell. Transp. Syst.
Ruijun Cheng, Yongduan Song, Dewang Chen, Xiao-Ping Ma
2019 J jnl
Intelligent Safe Driving Methods Based on Hybrid Automata and Ensemble CART Algorithms for Multihigh-Speed Trains.
IEEE Trans. Cybern.
Ruijun Cheng, Wei Yu, Yongduan Song, Dewang Chen, Xiaoping Ma, Yu Cheng
2019 J jnl
Intelligent driving methods based on sparse LSSVM and ensemble CART algorithms for high-speed trains.
Comput. Ind. Eng.
Ruijun Cheng, Dewang Chen, Weilong Gai, Song Zheng
2018 J jnl
Two-Layer Hierarchy Optimization Model for Communication Protocol in Railway Wireless Monitoring Networks.
Wirel. Commun. Mob. Comput.
Xiaoping Ma, Honghui Dong, Junqing Tang, Limin Jia, Yong Qin, Ruijun Cheng
2017 J jnl
Intelligent Localization of a High-Speed Train Using LSSVM and the Online Sparse Optimization Approach.
IEEE Trans. Intell. Transp. Syst.
Ruijun Cheng, Yongduan Song, Dewang Chen, Long Chen
2017 J jnl
Intelligent driving methods based on expert knowledge and online optimization for high-speed trains.
Expert Syst. Appl.
Ruijun Cheng, Dewang Chen, Bao Cheng, Song Zheng
2016 J jnl
Model-based verification method for solving the parameter uncertainty in the train control system.
Reliab. Eng. Syst. Saf.
Ruijun Cheng, Jin Zhou, Dewang Chen, Yongduan Song
2016 J jnl
Position calculation models by neural computing and online learning methods for high-speed train.
Neural Comput. Appl.
Dewang Chen, Xiaojie Han, Ruijun Cheng, Lixing Yang