I ended up confusing a Kalman Filter with a plain old Low Pass Filter at first (and you can reduce a Kalman filter to that if you don't have enough inputs) but it really is quite a powerful tool.
It's neat to see it applied to a different problem that might make it easier for novices (like myself) to understand. Thanks for posting!
You have a linear dynamical system with normal-distributed dynamical noise. You then take linear measurements of that system over time, and again those measurements are subject to noise that is normally distributed. The question is then, given the series of measurements, what is the best estimate of the state of the dynamical system? When written out like this, it's just a least squares problem. What makes it efficiently solvable is that the matrix structure is block tridiagonal. If you apply the block version of Gaussian elimination to that block tridiagonal system, you get the Kalman filtering equations. That's all there is to it.
If you want to dig more I think the best book, by far, is "Applied Optimal Estimation" by Arthur Gelb. (I have not read yet Probabilistic Robotics, though).
Finally, a finer point of Kalman filtering which is not normally mentioned is that you don't need your distributions to be gaussian. If your distributions are gaussian the Kalman filter is optimal, if they are not gaussian then the Kalman filter is not generally optimal, but it is still the best linear filter.
The classical exposition is a perfect example of confounding the model and the algorithm but it just refuses to die.