Modeling and Energy-Optimal Control for High-Speed Trains | IEEE Journals & Magazine | IEEE Xplore