Modeling and Analysis of Eddy-Current Damping for High-Precision Magnetic Levitation of a Small Magnet | IEEE Journals & Magazine | IEEE Xplore