Synchronization control of a magnetic levitation system powered by alternating current | IEEE Conference Publication | IEEE Xplore