Modeling Electromagnetic Force and Axial-Stiffness for an Electromagnetic Negative-Stiffness Spring Toward Vibration Isolation | IEEE Journals & Magazine | IEEE Xplore