The relationship of alternate state-space representations in linear filtering problems.

Proof of relationship between state estimates and error covariance matrices in state-space representations in linear filtering