Ruijun Cheng

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Temporal Properties

High Speed Train

Verification Method

Learning Algorithm

Top Venues

IEEE Trans. Intell. Transp. Syst.

Reliab. Eng. Syst. Saf.

IEEE Trans. Cybern.

Wirel. Commun. Mob. Comput.

Publications

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