Thrust control of superconducting DC linear motor for electromagnetic launch | IEEE Conference Publication | IEEE Xplore