Reduced-order hybrid interval observer for verified state estimation of an induction machine. (December 2016)