Do you know a reference that presents state estimation from this point of view? I have painstakingly arrived to this myself, following somewhat sketchy remarks in Gilbert Strang's "Computational Science and Engineering".

The classical exposition is a perfect example of confounding the model and the algorithm but it just refuses to die.