Enhancing Output-Feedback MPC With Set-Valued Moving Horizon Estimation | IEEE Journals & Magazine | IEEE Xplore