Design of maglev Automatic Train Operation system and research on predictive control algorithm | IEEE Conference Publication | IEEE Xplore