Model-Based Commutation of a Long-Stroke Magnetically Levitated Linear Actuator | IEEE Journals & Magazine | IEEE Xplore