Extended kalman filter example