Model-based verification method for solving the parameter uncertainty in the train control system

Differential Dynamic Logic for Hybrid Systems

André Platzer · Journal of Automated Reasoning · 2008 · 389 citations · Full text

Computing, Computer Science, Systems Engineering +14

Intelligent Train Operation Algorithms for Subway by Expert System and Reinforcement Learning

Jiateng Yin, Dewang Chen, Lingxi Li · IEEE Transactions on Intelligent Transportation Systems · 2014 · 190 citations

Engineering, Computer Science, Transport +12

Approximation-Based Robust Adaptive Automatic Train Control: An Approach for Actuator Saturation

Shigen Gao, Hairong Dong, Yao Chen et al. · IEEE Transactions on Intelligent Transportation Systems · 2013 · 177 citations

Engineering, Mechatronics Engineering, Actuators +16

Coordinated cruise control for high-speed train movements based on a multi-agent model

Shukai Li, Lixing Yang, Ziyou Gao · Transportation Research Part C Emerging Technologies · 2015 · 136 citations

Computing, Autonomous Systems, Systems Engineering +16

Robust sampled-data cruise control scheduling of high speed train

Shukai Li, Lixing Yang, Keping Li et al. · Transportation Research Part C Emerging Technologies · 2014 · 127 citations

Engineering, Industrial Engineering, Systems Engineering +14