Analytical Calculation and Experimental Verification of Superconducting Electrodynamic Suspension System Using Null-Flux Ground Coils | IEEE Journals & Magazine | IEEE Xplore