Modeling, Design Optimization, and Verifications of Permanent Magnet Linear Actuators for Structural Vibration Mitigation Applications | IEEE Journals & Magazine | IEEE Xplore