Modeling and experimental validation of diamagnetic levitation system* | IEEE Conference Publication | IEEE Xplore