A flux observer for induction machines based on a time-variant discrete model | IEEE Journals & Magazine | IEEE Xplore