Stabilization of a mass and spring system with electromagnetic actuation | IEEE Conference Publication | IEEE Xplore