Convergence of discrete-time Kalman filter estimate to continuous time estimate

This article is concerned with the convergence of the state estimate obtained from the discrete-time Kalman filter to the continuous time estimate as the temporal discretisation is refined. The convergence follows from Martingale convergence theorem as demonstrated below; however, surprisingly, no results exist on the rate of convergence. We derive convergence rate estimates for the discrete-time Kalman filter estimate for finite and infinite dimensional systems. The proofs are based on applying the discrete-time Kalman filter on a dense numerable subset of a certain time interval [0, T].