Intelligent Safe Driving Methods Based on Hybrid Automata and Ensemble CART Algorithms for Multihigh-Speed Trains | IEEE Journals & Magazine | IEEE Xplore