Double Moving Horizon Estimation: Linearization by a Nonlinear Transformation | IEEE Conference Publication | IEEE Xplore