Modeling and controller design of a magnetic levitation system | IEEE Conference Publication | IEEE Xplore