Modeling of Magnetically Levitated Planar Actuators With Moving Magnets | IEEE Journals & Magazine | IEEE Xplore