New computational approach for the design of fault detection and isolation filters

We propose a numerically reliable computational approach for the design of residual generators for fault detection and isolation filters. The new approach is based on computing solutions of least dynamical orders of linear equations with rational matrix coefficients in combination with special rational factorizations. The main computational ingredients are the orthogonal reduction of the associated system matrix pencil to a certain Kronecker-like staircase form, the solution of a minimal dynamic cover design problem, and the computation of stable and proper rational factorizations with diagonal denominators. For all these computations we discuss numerically reliable algorithms relying on matrix pencil and descriptor system techniques. The proposed residual generator design approach is completely general, is applicable to both continuous- and discrete-time systems, and can easily handle even unstable and/or improper systems.

[1]  Janos Gertler,et al.  Fault detection and diagnosis in engineering systems , 1998 .

[2]  Andras Varga.  Computation of Kronecker-like forms of a system pencil: applications, algorithms and software , 1996, Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design.

[3]  Thomas Kailath,et al.  Rational matrix structure , 1979, 1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[4]  Andras Varga,et al.  Reliable algorithms for computing minimal dynamic covers , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[5]  T. Kailath,et al.  A generalized state-space for singular systems , 1981 .

[6]  Michel Kinnaert,et al.  A complete procedure for residual generation and evaluation with application to a heat exchanger , 1997, IEEE Trans. Control. Syst. Technol..

[7]  Janos Gertler,et al.  Generating directional residuals with dynamic parity relations , 1995, Autom..

[8]  J. Gertler.  Designing dynamic consistency relations for fault detection and isolation , 2000 .

[9]  András Varga,et al.  Computation of irreducible generalized state-space realizations , 1990, Kybernetika.

[10]  P. Dooren,et al.  An improved algorithm for the computation of Kronecker's canonical form of a singular pencil , 1988 .

[11]  A. Varga.  A Descriptor Systems Toolbox for MATLAB , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[12]  Sabine Van Huffel,et al.  SLICOT—A Subroutine Library in Systems and Control Theory , 1999 .

[13]  Ming Hou,et al.  Fault Detection and Isolation for Descriptor Systems , 2000 .

[14]  M. Nyberg,et al.  A Minimal Polynomial Basis Solution to Residual Generation for Fault Diagnosis in Linear Systems , 1999 .

[15]  E. Davison,et al.  A minimization algorithm for the design of linear multivariable systems , 1973 .

[16]  A. Varga,et al.  Computational issues in fault detection filter design , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[17]  P. Frank,et al.  Fault detection via factorization approach , 1990 .

[18]  P. Dooren,et al.  An improved algorithm for the computation of structural invariants of a system pencil and related geometric aspects , 1997 .

[19]  A. S. Morse,et al.  Minimal solutions to transfer matrix equations , 1976 .

[20]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[21]  A. Varga.  Computation of coprime factorizations of rational matrices , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[22]  Steven X. Ding,et al.  Frequency domain approach to optimally robust residual generation and evaluation for model-based fault diagnosis , 1994, Autom..

[23]  A. Varga.  On computing least order fault detectors using rational nullspace bases , 2003 .

[24]  Erik Frisk,et al.  Order of Residual Generators - Bounds and Algorithms , 2000 .