Data-Driven Koopman Model Predictive Control for Optimal Operation of High-Speed Trains | IEEE Journals & Magazine | IEEE Xplore