Operational State-Based Maintenance Adjustment Strategy for Automatic Train Protection System by Integrating Probabilistic Model Checking With Machine Learning Algorithm

Ruijun Cheng, Yu Cheng, Haifeng Song 0001, Dewang Chen, Liping Zhang, Huize Cheng. Operational State-Based Maintenance Adjustment Strategy for Automatic Train Protection System by Integrating Probabilistic Model Checking With Machine Learning Algorithm. IEEE Transactions on Intelligent Transportation Systems, 27(6):6733-6748, June 2026. [doi]

Abstract

Abstract is missing.