Title: Models for AC machines and their controllers