A maglev system: modeling and controller design | IEEE Conference Publication | IEEE Xplore