A new proof of the discrete-time LQG optimal control theorems | IEEE Journals & Magazine | IEEE Xplore