By making use of a second-order complex-valued model of the induction machine dynamics, two observer design methods providing a guaranteed estimation error convergence rate at any, probably time-varying, rotor angular velocity are introduced. The design algorithms are based on eigenvector-eigenvalue assignment, alternatively matrix measure assignment and demonstrated to work well in an experiment