Bit-stream based model predictive controller for a magnetic levitation system | IEEE Conference Publication | IEEE Xplore