Input design for guaranteed fault diagnosis using zonotopes

a b s t r a c t An input design method is presented for guaranteeing the diagnosability of faults from the outputs of a system. Faults are modeled by discrete switches between linear models with bounded disturbances and measurement errors. Zonotopes are used to efficiently characterize the set of inputs that are guaranteed to lead to outputs that are consistent with at most one fault scenario. Provided that this set is nonempty, an element is then chosen that is minimally harmful with respect to other control objectives. This approach leads to a nonconvex optimization problem, but is shown to be equivalent to a mixed-integer quadratic program that can be solved efficiently. Methods are given for reducing the complexity of this program, including an observer-based method that drastically reduces the number of binary variables when many sampling times are required for diagnosis.

[1]  O. Stursberg,et al.  Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes , 2010 .

[2]  S.L. Campbell,et al.  Active fault detection in nonlinear systems using auxiliary signals , 2008, 2008 American Control Conference.

[3]  Ramine Nikoukhah,et al.  Early decision making when using proper auxiliary signals , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[4]  Stephen L. Campbell,et al.  Auxiliary signal design for active failure detection in uncertain linear systems with a priori information , 2006, Autom..

[5]  Richard D. Braatz,et al.  Fault Detection and Diagnosis in Industrial Systems , 2001 .

[6]  John N. Tsitsiklis,et al.  Introduction to linear optimization , 1997, Athena scientific optimization and computation series.

[7]  Komei Fukuda,et al.  From the zonotope construction to the Minkowski addition of convex polytopes , 2004, J. Symb. Comput..

[8]  Ramine Nikoukhah,et al.  Guaranteed Active Failure Detection and Isolation for Linear Dynamical Systems , 1998, Autom..

[9]  Stephen L. Campbell,et al.  Auxiliary signal design for rapid multi-model identification using optimization , 2002, Autom..

[10]  E. Bolker.  A class of convex bodies , 1969 .

[11]  Miroslav Simandl,et al.  Active fault detection and control: Unified formulation and optimal design , 2009, Autom..

[12]  Stephen L. Campbell,et al.  Active Robust Fault Detection in Closed-Loop Systems: Quadratic Optimization Approach , 2012, IEEE Transactions on Automatic Control.

[13]  E. Gilbert,et al.  Theory and computation of disturbance invariant sets for discrete-time linear systems , 1998 .

[14]  François Delebecque,et al.  Detection signal design for failure detection: a robust approach , 2000 .

[15]  Raghunathan Rengaswamy,et al.  A review of process fault detection and diagnosis: Part I: Quantitative model-based methods , 2003, Comput. Chem. Eng..

[16]  José Fortuny-Amat,et al.  A Representation and Economic Interpretation of a Two-Level Programming Problem , 1981 .

[17]  Richard D. Braatz,et al.  Design of active inputs for set-based fault diagnosis , 2013, 2013 American Control Conference.

[18]  Ali Zolghadri,et al.  Advanced model-based FDIR techniques for aerospace systems: Today challenges and opportunities , 2012 .

[19]  Matthias Althoff,et al.  Zonotope bundles for the efficient computation of reachable sets , 2011, IEEE Conference on Decision and Control and European Control Conference.

[20]  Stephen L. Campbell,et al.  Asymptotic behavior and solution approximation of Active Robust fault detection for closed-loop systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[21]  David G. Kirkpatrick,et al.  Computing the intersection-depth of polyhedra , 1993, Algorithmica.

[22]  Wolfgang Kuehn,et al.  Rigorously computed orbits of dynamical systems without the wrapping effect , 1998, Computing.

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

[24]  Stephen L. Campbell,et al.  Effects of feedback on active fault detection , 2012, Autom..

[25]  Brian C. Williams,et al.  Active Estimation for Jump Markov Linear Systems , 2008, IEEE Transactions on Automatic Control.

[26]  Ramine Nikoukhah,et al.  Auxiliary Signal Design for Failure Detection , 2004 .

[27]  Henrik Niemann,et al.  A Setup for Active Fault Diagnosis , 2006, IEEE Transactions on Automatic Control.

[28]  K. Schittkowski,et al.  NONLINEAR PROGRAMMING , 2022 .

[29]  C. Combastel.  A state bounding observer based on zonotopes , 2003, 2003 European Control Conference (ECC).

[30]  Jing Yang,et al.  Fault detection and diagnosis of permanent-magnet DC motor based on parameter estimation and neural network , 2000, IEEE Trans. Ind. Electron..