Levitation Force Compensation Study for HTS Maglev System Based on the Input of Electromagnetic Force | IEEE Journals & Magazine | IEEE Xplore