Maglev system controller design based on the feedback linearization methods | IEEE Conference Publication | IEEE Xplore