Kalman filtering, discrete time linear systems, convergence behaviour