Modeling and verification of running process control for underground mine locomotive. - Siwei Zhu; Jianjun Zhang; Sulei Zhao; Zhenchun Wei; Yang Lu 015; Lei Cheng (Comput. Electr. Eng., 2020)