Convergence of Dynamic Programming on the Semidefinite Cone for Discrete-Time Infinite-Horizon LQR | IEEE Journals & Magazine | IEEE Xplore