“…Moreover, there exists a unique matrix P ∞ ≥ 0 such that Ricc(P ∞ ) = 0 and the spectral abscissa of the matrix A ∞ := A − P ∞ S is negative (7) If (A, R 1/2 ) is controllable, then P ∞ > 0. When the pair (A, R 1/2 ) is stabilisable, and (A, S 1/2 ) is detectable, we have P t −→ t→∞ P ∞ and thus A t −→ t→∞ A ∞ exponentially fast for any initial matrices (8) For proof of these classical results on the true Kalman-Bucy filter see, e.g., [33,36], and the convergence results in [35,15,56,5,6]. Going forward we may assume an even stronger notion of controllability and observability; and suppose that the logarithmic norm (defined later) of A ∞ is negative.…”