Nonlinear moving horizon state estimation

MHE is an optimization based strategy for state estimation that explicitly allows for nonlinear models and inequality constraints. In this work ne investigate strategies to guarantee the stability of moving horizon estimation (MHE). We begin our discussion by analyzing the stability of the abstract MHE problem. Sufficient conditions for asymptotic stability are established. Using forward dynamic programming to analyze MHE, we introduce the fundamental concept of arrival cost to bound the size of the estimation problem. The key result is if one can construct a global lower bound for the arrival cost, then asymptotic stability is guaranteed. In the second part of our discussion, nle propose a strategy that circumvents the need for a global lower bound for the arrival cost. In particular, by including bounds to guarantee the existence of a decreasing nominal sequence, we circumvent the need for a global lower bound for the arrival cost. This result is significant, because, in general, we cannot calculate nor bound the arrival cost. Notable exceptions are linear systems, where the Kalman filter covariance generates a global lower bound for the arrival cost.