Survey of duality between linear quadratic regulation and linear estimation problems for discrete-time systems