Lecture notes on Kalman filtering door A. Johnson