Modeling a permanent magnet generator and its controller for a wind turbine system | IEEE Conference Publication | IEEE Xplore