Model falsification using SVOs for a class of discrete-time dynamic systems: A coprime factorization approach

This paper introduces a new method for model falsification using Set-Valued Observers (SVOs), which can be applied to a class of discrete Linear Time-Invariant (LTI) dynamic systems with time-varying model uncertainties. In comparison with previous studies, the main advantages of this approach are as follows: the computation of the convex hull of the set-valued estimate of the state can be avoided under certain circumstances; in order to guarantee convergence of the set-valued estimate of the state, the required number of previous set-valued estimates is at most as large as the number of states of the nominal plant; it provides a straightforward non-conservative method to falsify uncertain models of dynamic systems, including open-loop unstable plants. The results obtained are illustrated in simulation.

[1]  Gary J. Balas,et al.  Detection filter design for LPV systems - a geometric approach , 2004, Autom..

[2]  Andres Marcos,et al.  An application of H∞ fault detection and isolation to a transport aircraft , 2005 .

[3]  Jie Chen,et al.  Observer-based fault detection and isolation: robustness and applications , 1997 .

[4]  Mohammad-Ali Massoumnia,et al.  A geometric approach to failure detection and identification in linear systems , 1986 .

[5]  John Doyle,et al.  Model validation: a connection between robust control and identification , 1992 .

[6]  P. Frank,et al.  Survey of robust residual generation and evaluation methods in observer-based fault detection systems , 1997 .

[7]  Andres Marcos Esteban.  Aircraft applications of fault detection and isolation techniques , 2004 .

[8]  Andreas Johansson,et al.  A Sufficient Condition for Invalidation of Linear State-Space Systems With Uncertain Time-Varying Parameters , 2009, IEEE Transactions on Automatic Control.

[9]  Carlos Silvestre,et al.  Fault Detection and Isolation of LTV systems using Set-Valued Observers , 2010, 49th IEEE Conference on Decision and Control (CDC).

[10]  József Bokor,et al.  An H/sub /spl infin// filtering approach to robust detection of failures in dynamical systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[11]  Jie Chen,et al.  Probabilistic Estimates for Mixed Model Validation Problems With ${\cal H}_{\infty}$ Type Uncertainties , 2010, IEEE Transactions on Automatic Control.

[12]  Franco Blanchini,et al.  A convex optimization approach to synthesizing bounded complexity l∞ filters , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[13]  Carlos Silvestre,et al.  Multiple-model adaptive control with set-valued observers , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[14]  J. Bokor,et al.  DETECTION FILTER DESIGN FOR LPV SYSTEMS – A GEOMETRIC APPROACH , 2002 .

[15]  M. Massoumnia.  A geometric approach to the synthesis of failure detection filters , 1986 .

[16]  Paulo Rosa,et al.  Model Falsification of LPV Systems Using Set-Valued Observers , 2011 .

[17]  F. Schweppe.  Recursive state estimation: Unknown but bounded errors and system inputs , 1967 .

[18]  Pramod Khargonekar,et al.  A Time-Domain Approach to Model Validation , 1992, 1992 American Control Conference.

[19]  Carlos Silvestre,et al.  Stability Overlay for linear and nonlinear time-varying plants , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[20]  Bozenna Pasik-Duncan,et al.  Control-oriented system identification: An Hinfinity approach: Jie Chen and Guoxiang Gu; Wiley, New York, 2000, ISBN 0471-32048-X , 2002, Autom..

[21]  E. Gilbert,et al.  Computation of minimum-time feedback control laws for discrete-time systems with state-control constraints , 1987 .

[22]  Jeff S. Shamma,et al.  Set-valued observers and optimal disturbance rejection , 1999, IEEE Trans. Autom. Control..

[23]  Carlos Silvestre,et al.  On the distinguishability of discrete linear time-invariant dynamic systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[24]  Sauro Longhi,et al.  Fault Detection for Linear Periodic Systems Using a Geometric Approach , 2009, IEEE Transactions on Automatic Control.

[25]  Eric Walter,et al.  On the structural output distinguishability of parametric models, and its relations with structural identifiability , 1984 .

[26]  Hongwei Lou,et al.  The distinguishability of linear control systems , 2009 .

[27]  G.C. Verghese,et al.  A robust failure detection and isolation algorithm , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[28]  Jakob Stoustrup,et al.  Fault Diagnosis for Non-minimum Phase Systems using Xm Optimization. , 2001 .

[29]  J. Stoustrup,et al.  Fault diagnosis for non-minimum phase systems using /spl Hscr//sub /spl infin// optimization , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[30]  Franco Blanchini,et al.  A convex optimization approach to synthesizing bounded complexity linfinity filters , 2009, CDC.

[31]  C. Cobelli,et al.  On parameter and structural identifiability: Nonunique observability/reconstructibility for identifiable systems, other ambiguities, and new definitions , 1980 .

[32]  J. T. Spooner,et al.  Adaptive and Learning Systems for Signal Processing, Communications, and Control , 2006 .

[33]  Michael Athans,et al.  ISSUES ON ROBUST ADAPTIVE FEEDBACK CONTROL , 2005 .

[34]  John O'Reilly,et al.  Observers for Linear Systems , 1983 .

[35]  Emmanuel G. Collins,et al.  Robust l1 estimation using the Popov-Tsypkin multiplier with application to robust fault detection , 2001 .

[36]  F. Bianchi,et al.  Robust identification / invalidation in an LPV framework , 2010 .

[37]  K. Glover,et al.  Identifiability of linear and nonlinear dynamical systems , 1976 .