Design aspects of a flux observer for induction machines are discussed. By making use of a second-order, complex-valued, state-space model of the induction machine dynamics, a stability criterion and observer estimation error bounds are obtained. An observer design method providing arbitrary convergence rate of the estimation error by means of a real-valued feedback gain matrix is introduced.