Three-Dimensional Analytical Modeling of a Permanent-Magnet Linear Actuator With Circular Magnets | IEEE Journals & Magazine | IEEE Xplore