Model of unmanned driving system of mine locomotive based on hybrid automaton | Article Information | J-GLOBAL