Kinematic formulation of energy-efficient train speed profiles