Energy-efficient Train Control for Maglev Train Using Mixed-integer Linear Programming | IEEE Conference Publication | IEEE Xplore