Modeling and observer-based nonlinear control of a magnetic levitation system | IEEE Conference Publication | IEEE Xplore