Nonlinear high-gain observer design for operation of SPM machine under saturation using back EMF method | IEEE Conference Publication | IEEE Xplore