Model-Based Commutation of a Long-Stroke Magnetically Levitated Linear Actuator | IEEE Conference Publication | IEEE Xplore