The Convergence of the Extended Kalman Filter
  We demonstrate that the extended Kalman filter converges locally for a broad class of nonlinear systems. If the initial estimation error of the filter is not too large then the error goes to zero exponentially as time goes to infinity. To demonstrate this, we require that the system be $C^2$ and uniformly observable with bounded second partial derivatives. 
Arthur J. Krener