Mass adaptive controller design for high temperature superconducting levitation system based on feedback linearization | IEEE Conference Publication | IEEE Xplore