Optimization of Train Speed Profiles for a Metro Transit System by Genetic Algorithms