×

Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems. (English) Zbl 1007.93029

The paper deals with analytical redundancy relations for fault detection and isolation in continuous-time, time-invariant, nonlinear, dynamic systems. Supposing the systems are described using polynomial differential algebraic equations, the existence and computational issues of these relations are considered. The concept of D-detectable faults is introduced. The residual evaluation form is given for sensor, actuator, and process component faults. Fault detectability and isolability conditions are discussed. The design of robust structured residuals is presented. However, all assertions are given without proofs. A numerical example is supplied.

MSC:

93B51 Design techniques (robust design, computer-aided design, etc.)
90B25 Reliability, availability, maintenance, inspection in operations research
93C10 Nonlinear systems in control theory

Software:

FITPACK
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Buchberger, B. (1985). Gröbner bases: An algorithmic method in polynomial ideal theory. In: N. K. Bose (Ed.), Multidimensional systems theory; Buchberger, B. (1985). Gröbner bases: An algorithmic method in polynomial ideal theory. In: N. K. Bose (Ed.), Multidimensional systems theory
[2] Chow, E. Y.; Willsky, A. S., Analytical redundancy and the design of robust failure detection systems, IEEE Transactions on Automatic Control, AC-29, 603-614 (1984) · Zbl 0542.90040
[3] Christophe, C., Cocquempot, V., & Staroswiecki, M. (1999). Robust residual generation for the induction motor using elimination theory. Proceedings of the IEEE SDEMPED’99; Christophe, C., Cocquempot, V., & Staroswiecki, M. (1999). Robust residual generation for the induction motor using elimination theory. Proceedings of the IEEE SDEMPED’99
[4] Cocquempot, V., Cassar, J. Ph., & Staroswiecki, M. (1991). Generation of robust analytic redundancy relations. Proceedings of the European control conferenceECC’91; Cocquempot, V., Cassar, J. Ph., & Staroswiecki, M. (1991). Generation of robust analytic redundancy relations. Proceedings of the European control conferenceECC’91
[5] Cocquempot, V., & Christophe, C. (2000). On the equivalence between observer-based and parity space approaches for F.D.I. in non-linear systems. Proceedings of the IFAC safeprocess; Cocquempot, V., & Christophe, C. (2000). On the equivalence between observer-based and parity space approaches for F.D.I. in non-linear systems. Proceedings of the IFAC safeprocess
[6] Comtet-Varga, G., Cassar, J. Ph., & Staroswiecki, M. (1997). Analytic redundancy relations for state affine systems. Proceedings of the fourth European control conference (ECC’97); Comtet-Varga, G., Cassar, J. Ph., & Staroswiecki, M. (1997). Analytic redundancy relations for state affine systems. Proceedings of the fourth European control conference (ECC’97)
[7] Comtet-Varga, G., Christophe, C., Cocquempot, V., & Staroswiecki, M. (1999). F.D.I. for the induction motor using elimination theory. Proceedings of the fifth European Control Conference (ECC’99); Comtet-Varga, G., Christophe, C., Cocquempot, V., & Staroswiecki, M. (1999). F.D.I. for the induction motor using elimination theory. Proceedings of the fifth European Control Conference (ECC’99)
[8] Cox, D.; Little, J.; O’Shea, D., Varieties and algorithms (1992), Springer: Springer New York
[9] David, P. J., Interpolation and approximation (1975), Dover Publications: Dover Publications New York
[10] Dierckx, P., Curve and surface fitting with spline (1993), Clarendon: Clarendon Oxford, New York · Zbl 0782.41016
[11] Diop, S., Elimination in control theory, Mathematical Control Signals Systems, 4, 17-32 (1991) · Zbl 0727.93025
[12] Diop, S., & Wang, Y. (1993). Equivalence between algebraic observability and local generic observability. Proceedings of the 32nd IEEE conference on decision and control; Diop, S., & Wang, Y. (1993). Equivalence between algebraic observability and local generic observability. Proceedings of the 32nd IEEE conference on decision and control
[13] Faugère, J. C.; Gianni, P.; Lazard, D.; Mora, T., Efficient computation of Gröbner bases by change of orderings, Journal of Symbolic Computations, 16, 329-344 (1993) · Zbl 0805.13007
[14] Fliess, M., Automatique et corps différentiels, Forum Mathematicum, 1, 227-238 (1989) · Zbl 0701.93048
[15] Fox, L.; Parker, I. B., Chebyshev polynomials in numerical analysis (1968), Oxford University Press: Oxford University Press London, New York · Zbl 0153.17502
[16] Frank, P. M. (1993). Advances in observer-based fault diagnosis. Proceedings of the international conference on fault diagnosis (TOOLDIAG’93); Frank, P. M. (1993). Advances in observer-based fault diagnosis. Proceedings of the international conference on fault diagnosis (TOOLDIAG’93)
[17] Gertler, J. J.; Luo, Q., Robust isolable models for failure diagnosis, A.I.Ch.E. Journal, 35, 11, 1856-1861 (1989)
[18] Glad, S. T. (1989). Non-linear state space and input-output descriptions using differential polynomials. In J. Descusse, M. Fliess, A. Isidori, & D. Leborgne (Eds.), New trends in nonlinear control theory, Lecture notes in control and information science; Glad, S. T. (1989). Non-linear state space and input-output descriptions using differential polynomials. In J. Descusse, M. Fliess, A. Isidori, & D. Leborgne (Eds.), New trends in nonlinear control theory, Lecture notes in control and information science · Zbl 0682.93030
[19] Guernez, C., Cassar, J. Ph., & Staroswiecki, M. (1997). Extension of the parity space to non-linear polynomial dynamic systems. Proceedings of the IFAC Safeprocess ’97; Guernez, C., Cassar, J. Ph., & Staroswiecki, M. (1997). Extension of the parity space to non-linear polynomial dynamic systems. Proceedings of the IFAC Safeprocess ’97
[20] Hammouri, H.; Kinnaert, M.; El Yaagoubi, E. H., Observer based approach to fault detection and isolation for non linear systems, IEEE Transactions on Automatic Control, 44, 10 (1999) · Zbl 0956.93005
[21] Kaboré, P., Staroswiecki, M., & Wang, H. (1999)c. On parity space and observer-based approaches for FDI in state-affine systems. In Proceedings of the 38th IEEE conference on decision and control; Kaboré, P., Staroswiecki, M., & Wang, H. (1999)c. On parity space and observer-based approaches for FDI in state-affine systems. In Proceedings of the 38th IEEE conference on decision and control
[22] Lelong-Ferrand, J., & Armandiès, J.M. (1978). Cours de Mathématiques; Lelong-Ferrand, J., & Armandiès, J.M. (1978). Cours de Mathématiques
[23] Ljung, L.; Glad, S. T., On global identifiability for arbitrary model parameterizations, Automatica, 30, 265-276 (1994) · Zbl 0795.93026
[24] Magni, J. F.; Mouyon, Ph., On residual generation by observer and parity space approaches, IEEE Transactions on Automatic Control, 39, 7, 441-447 (1994) · Zbl 0800.93183
[25] Patton, R. J. (1994). Robust model based fault diagnosis: The state of the art. Proceedings of the IFAC Safeprocess’94; Patton, R. J. (1994). Robust model based fault diagnosis: The state of the art. Proceedings of the IFAC Safeprocess’94
[26] Seidenberg, A., An elimination theory for differential algebra, University of California Publication Mathematics, 3, 31-65 (1956)
[27] Seliger, R., & Frank, P. M. (1991). Fault diagnosis by disturbance decoupled non-linear observers. Proceedings of the 30th IEEE conference on decision and control; Seliger, R., & Frank, P. M. (1991). Fault diagnosis by disturbance decoupled non-linear observers. Proceedings of the 30th IEEE conference on decision and control
[28] Shumsky, A. (2000). Continuous-time parity relation method for fault diagnosis in non-linear uncertain systems. Proceedings of the IFAC safeprocess; Shumsky, A. (2000). Continuous-time parity relation method for fault diagnosis in non-linear uncertain systems. Proceedings of the IFAC safeprocess
[29] Yu, D. N., & Shields, D. N. (1995). Fault diagnosis in bi-linear systems — A survey. Proceedings of the third European control conference; Yu, D. N., & Shields, D. N. (1995). Fault diagnosis in bi-linear systems — A survey. Proceedings of the third European control conference
[30] Yu, D. N., Williams, D., Shields, D. N., & Gomm, J. B. (1995). A parity space method of fault detection for bi-linear systems. Proceedings of the American control conference; Yu, D. N., Williams, D., Shields, D. N., & Gomm, J. B. (1995). A parity space method of fault detection for bi-linear systems. Proceedings of the American control conference
[31] Zhang, Q.; Basseville, M.; Benveniste, A., Fault detection and isolation in nonlinear dynamic systemsA combined input-output and local approach, Automatica, 34, 11, 1359-1374 (1998) · Zbl 0961.93007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.