Kalman filtering

Kalman filter is the most widely used modern result from systems theory. We derive first rigorously the Kalman filter and its optimality in a discrete time setup. Then we use duality between control and observation to extend the filter to the continuous time case.