  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.
