Dynamic Modeling and Adaptive Sliding Mode Control for a Maglev Train System Based on a Magnetic Flux Observer | IEEE Journals & Magazine | IEEE Xplore