A Lyapunov function for robust stability of moving horizon estimation

Abstract

We provide a novel robust stability analysis for moving horizon estimation (MHE) using a Lyapunov function. Additionally, we introduce linear matrix inequalities (LMIs) to verify the necessary incremental input/output-to-state stability ($\delta$-IOSS) detectability condition. We consider an MHE formulation with time-discounted quadratic objective for nonlinear systems admitting an exponential $\delta$-IOSS Lyapunov function. We show that with a suitable parameterization of the MHE objective, the $\delta$-IOSS Lyapunov function serves as an $M$-step Lyapunov function for MHE. Provided that the estimation horizon is chosen large enough, this directly implies exponential stability of MHE. The stability analysis is also applicable to full information estimation, where the restriction to exponential $\delta$-IOSS can be relaxed. Moreover, we provide simple LMI conditions to systematically derive $\delta$-IOSS Lyapunov functions, which allows us to easily verify $\delta$-IOSS for a large class of nonlinear detectable systems. This is useful in the context of MHE in general, since most of the existing nonlinear (robust) stability results for MHE depend on the system being $\delta$-IOSS (detectable). In combination, we thus provide a framework for designing MHE schemes with guaranteed robust exponential stability. The applicability of the proposed methods is demonstrated with a nonlinear chemical reactor process and a 12-state quadrotor model.

*Julian D. Schiller and Simon Muntwiler contributed equally to this paper. 16 pages, 3 figures. Published in: IEEE Transactions on Automatic Control. This version contains an additional numerical example in Section V.B

References in corpus (4)

• Suboptimal nonlinear moving horizon estimation
• Incremental Stability and Performance Analysis of Discrete-Time Nonlinear Systems using the LPV Framework
• Robust output feedback model predictive control using online estimation bounds
• Incremental Dissipativity based Control of Discrete-Time Nonlinear Systems via the LPV Framework

Cited by in corpus (12)

• Robust adaptive MPC using control contraction metrics
• Suboptimal nonlinear moving horizon estimation
• Predictive control for nonlinear stochastic systems: Closed-loop guarantees with unbounded noise
• A moving horizon state and parameter estimation scheme with guaranteed robust convergence
• Nonlinear Functional Estimation: Functional Detectability and Full Information Estimation
• Nonlinear moving horizon estimation for robust state and parameter estimation -- extended version
• Moving horizon estimation for nonlinear systems with time-varying parameters
• On an integral variant of incremental input/output-to-state stability and its use as a notion of nonlinear detectability
• Robust stability of moving horizon estimation for continuous-time systems
• Sample-based nonlinear detectability for discrete-time systems
• Optimal state estimation: Turnpike analysis and performance results
• Event-triggered moving horizon estimation for nonlinear systems