Finite-horizon discrete-time robust guaranteed cost state estimation for nonlinear stochastic uncertain systems | IEEE Conference Publication | IEEE Xplore