A Unified KKL-based Interval Observer for Nonlinear Discrete-time Systems

Thach Ngoc Dinh,Gia Quoc Bao Tran

DOI: https://doi.org/10.1109/LCSYS.2024.3394324

2024-04-28

Abstract:This work proposes an interval observer design for nonlinear discrete-time systems based on the Kazantzis-Kravaris/Luenberger (KKL) paradigm. Our design extends to generic nonlinear systems without any assumption on the structure of its dynamics and output maps. Relying on a transformation putting the system into a target form where an interval observer can be directly designed, we then propose a method to reconstruct the bounds in the original coordinates using the bounds in the target coordinates, thanks to the Lipschitz injectivity of this transformation achieved under Lipschitz distinguishability when the target dynamics have a high enough dimension and are pushed sufficiently fast. An academic example serves to illustrate our methods.

Systems and Control

What problem does this paper attempt to address?

The paper attempts to address the problem of designing interval observers in nonlinear discrete-time systems without making any assumptions about the system's dynamics or output structure. Specifically, the paper proposes a unified interval observer design method based on the Kazantzis-Kravaris/Luenberger (KKL) paradigm. This method leverages the powerful properties of the KKL transformation to convert the original system into a target form, in which interval observers can be directly designed, and ensures error exponential stability under high-dimensional target dynamics through Lipschitz injectivity. Furthermore, this method can effectively reconstruct the boundaries in the original coordinate system under known upper and lower bounds of uncertainties and initial conditions, thereby overcoming the limitations of existing methods that require specific assumptions about the system structure. The paper aims to provide a general and systematic interval observer design framework for a broader range of nonlinear systems.