Real-time dispatching optimization of high-speed rail based on model predictive control under partial interruption | IEEE Conference Publication | IEEE Xplore