Real-time scheduling for trains in urban rail transit systems using nonlinear optimization | IEEE Conference Publication | IEEE Xplore