Brief paperAn unknown input interval observer for LPV systems under -gain and -gain criteria☆
Introduction
Several set membership/interval observer-based solutions have been proposed in the literature to solve the so-called “guaranteed” state estimation problem for Linear Parameter Varying (LPV)/quasi-LPV systems (Chebotarev et al., 2015, Efimov et al., 2012, Wang et al., 2015). The design of an interval observer is generally based on the monotone system theory (Farina & Rinaldi, 2000) to get the cooperativity property of the observation error dynamics. The difficulty to obtain this property was relaxed for a large class of systems using a time invariant state transformation (Raissi, Efimov, & Zolghadri, 2012) and a time varying state transformation (Mazenc and Bernard, 2011, Thabet et al., 2014). Another approach consists in applying a transformation to put the system into a positive form before designing an interval observer (Cacace, Germani, & Manes, 2015). However, it has been proposed only for Linear Time Invariant (LTI) and Linear Time Variant (LTV) systems. A last approach has been proposed based on Müller’s theorem and interval analysis for nonlinear system (Kieffer and Walter, 2006, Meslem and Ramdani, 2011). This approach also exploits the monotone property.
The main limitation of the previous mentionedapproaches is their ability to simultaneously satisfy the conditions of the existence of the interval observer (especially cooperativity property) and a certain level of a priori given performance like the interval length. The work reported in Chebotarev et al. (2015) aims at proposing a solution to this problem within the framework. Unfortunately, the problem of considering the Meztler property as a part of the design process, is not addressed. Furthermore, it should be pointed out that the proposed approach is based on a LTI interval observer (to deal with LPV systems) and this leads, obviously, to conservative results. The work introduced in Briat and Khammash (2016) proposes an interval observer design method based on performance criterion, but it is limited to LTI systems.
The contribution of this paper must be thought in this context. The goal is to develop an interval observer for a general class of LPV systems, under unknown input decoupling, -gain and -gain criteria (and then a mixed -gain criterion), considering the cooperativity property of the observation error dynamics as a part of the design process. To this end, a new structure of an interval observer is proposed. The major advantage with regard to existing solutions is that it does not require the explicit knowledge of a (time-varying) state transformation, for the estimation error dynamics to satisfy the Meztler property.
Notations: In this paper, we adopt the notations that are commonly used in the robust control and interval communities: and are the set of real numbers and the set of nonnegative real numbers, respectively. is a -dimensional real space and is the set of real matrices. , denote respectively the identity and the null matrices of appropriate dimensions. For a matrix , refer to component-wise. Denote , , and . The same notations are adopted for vectors. For a vector , the notation refers to , , . For a matrix , () defines a strictly positive (negative) definite matrix. refers to the Moore–Penrose inverse of a full column matrix rank and . In large symmetric matrix expressions, terms denoted refer to terms induced by symmetry.
Section snippets
Preliminaries
This section is devoted to definitions and lemmas that will be later used in the paper.
Definition 1 A square matrix is said to be Metzler if all its off-diagonal elements are non-negative.Farina & Rinaldi, 2000 Theorem 2 p. 14
Definition 2 Let a square matrix
satisfy , and
then W is said to be a M-matrix if exists and .Poole & Boullion, 1974 Theorem 2.1 p. 420
The following lemmas provide useful results for Metzler matrices and cooperative systems.
Lemma 3 Consider a (known) parameter-dependent matrix where
, an invertible M-matrix and a real
Problem statement
Consider the following class of LPV systems, driven by unknown inputs and Here, and denote state and measured output vectors, respectively. Both and are unknown input signals. However, is assumed to be bounded with known bounds , whereas there is no assumption on . The scheduling parameter vector and its time derivative are assumed to be
Preliminary results
The following lemma provides a constructive method to design the lower and upper bounds of a product of a vector by a parameter dependent matrix in the set-membership context. The core element is that any matrix can always be decomposed into two (non unique) matrices whose elements are positives.
Lemma 10 Let a vector and some matrices ,,, such that . Then: (1) , assume that with. Then, with ,
Academic example
Consider the following model with the same notations than used in the previous sections: The parameter vector and its rate of variations are unknown but assumed to be bounded by the sets The parameters and are respectively measured through , where and
Conclusion and future works
This paper investigated the design of an unknown input interval observer, for linear parameter varying systems, to robustly estimate the state of linear parameter varying systems, in a guaranteed way under and -gain performance. A SDP formulation is derived to design all the observer parameters. The major advantage with regard to existing theories for interval observer design is that it does not require the explicit knowledge of a (time-varying) state transformation, for the estimation
Nicolas Ellero received the Master’s degree in 2014 and the Ph.D. degree in 2018 both in automatic control from the University of Bordeaux, Bordeaux, France. He is currently an Attitude and Orbit Control System (AOCS) engineer. His activities are mainly focused on robust control and on robust stability and performance analysis.
References (16)
- et al.
Interval peak-to-peak observers for continuous- and discrete-time systems with persistent inputs and delays
Automatica
(2016) - et al.
Interval observers for continuous-time LPVsystems with performance
Automatica
(2015) - et al.
Interval estimation for LPV systems applying high order sliding mode techniques
Automatica
(2012) - et al.
Guaranteed nonlinear state estimation for continuous-time dynamical models from discrete-time measurements
IFAC Proceedings Volumes
(2006) - et al.
Interval observers for linear time-invariant systems with disturbances
Automatica
(2011) - et al.
An effective method to interval observer design for time-varying systems
Automatica
(2014) - et al.
Interval observer design for LPV systems with parametric uncertainty
Automatica
(2015) - et al.
Parameter-dependent state observer design for affine LPV systems
International Journal of Control
(2001)
Cited by (46)
Functional Interval Observer for Discrete-Time Nonlinear Lipschitz Systems
2023, IFAC-PapersOnLineMoving horizon estimation of Amnioserosa cell dynamics during Drosophila dorsal closure
2023, European Journal of ControlFunctional interval observer design for multivariable linear parameter-varying systems
2023, European Journal of ControlA robust distributed secure interval observation approach for uncertain discrete-time positive systems under deception attacks
2022, Applied Mathematics and ComputationCitation Excerpt :Regarding the problems of interval estimation against uncertainties and/or disturbances, there are many excellent achievements in the references available for a wide range of systems, such as linear systems [17,18], linear parameter-varying systems [19,20], nonlinear systems [21,22], time-delay systems [23,24], Markov jump linear systems [25] and some actual systems like vehicle dynamics [26], activated sludge process [27] and proton exchange membrane fuels [28].
Interval observer-based finite-time control for linear parameter-varying systems
2021, Applied Mathematics and Computation
Nicolas Ellero received the Master’s degree in 2014 and the Ph.D. degree in 2018 both in automatic control from the University of Bordeaux, Bordeaux, France. He is currently an Attitude and Orbit Control System (AOCS) engineer. His activities are mainly focused on robust control and on robust stability and performance analysis.
David Gucik-Derigny received the Ph.D. degree in control systems from Aix-Marseille University, Marseille, France, in 2011. Since 2012, he has been an Associate Professor with Bordeaux University, Talence, France, and has integrated the IMS Laboratory. His main research interests concern model-based systems prognostic, observer based set-membership estimation, and parameter identification.
David Henry was born in Niort, France, in 1971. He received the Ph.D. degree in 1999 from the University of Bordeaux, France. He is currently a full professor at Bordeaux University, IMS laboratory (UMR CNRS n. 5218), France. His current research interests are theory and applications in model-based fault diagnosis, fault tolerant control, linear matrix inequality optimization techniques and sliding mode control with Hinf performance. His research application focuses on aeronautics and space. He has published around 40 journal papers, 6 patents with AIRBUS, 8 chapter’s book + 1 complete book. He is an expert for the European Space Agency for GNC methods, Fonds de Recherche du Québec - Nature et technologies and for Italian Ministry of Education, University and Research (MIUR). He won several international prices: best ABB application/case study paper of the Safeprocess’2015 conference, best theoretical paper of the Safecprocess’2009 conference (2nd position), best thesis ”Aerospace Valley” 2010 in the category aeronautic, space and embedded systems, best Ph.D. paper of the 2014 UKACC 10th International Conference on Control. He was involved in a wide number of aeronautical and space projects at the European level.
- ☆
The material in this paper was not presented at any conference.This paper was recommended for publication in revised form by Associate Editor Tianshi Chen under the direction of Editor Torsten Söderström.