Fixed point implementation of Kalman filtering for AC drives: a case study using TMS320F24x DSP