A Nonlinear Discrete-Time Model for Saturated Surface Permanent-Magnet Synchronous Machines