Model-based Luenberger State Observer for Detecting Interturn Short-Circuits in PM Machines | IEEE Journals & Magazine | IEEE Xplore