Exponential stability of regularized moving horizon observer for N-detectable nonlinear systems | IEEE Conference Publication | IEEE Xplore