Extended kalman filter for autonomous satellite navigation system