Separation theorem for linearly constrained LQG optimal control