Robust receding-horizon estimation for uncertain discrete-time linear systems via semidefinite programming | IEEE Conference Publication | IEEE Xplore