Energy-efficient train control for metro considering the power propagation in the traction power supply system | IEEE Journals & Magazine | IEEE Xplore