Robust Safety Monitoring and Synergistic Operation Planning Between Time- and Energy-Efficient Movements of High-Speed Trains Based on MPC | IEEE Journals & Magazine | IEEE Xplore