Diagnosability analysis based on component-supported analytical redundancy relations

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 36, Issue 6, 2006, Pages 1146-1160

  Travé Massuyès, Louise ^a   Escobet, Teresa ^b   Olive, Xavier ^a,c,d  

^a LAAS CNRS   (France)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^c ACTIA   (France)

^d THALES ALENIA SPACE   (France)

Author keywords

Analytical redundancy; Diagnosability; Model based diagnosis; Sensor placement; Structural analysis

Indexed keywords

FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; REDUNDANCY; SENSORS;

ANALYTICAL REDUNDANCY; DIAGNOSABILITY; FAULT DETECTION;

SYSTEMS ANALYSIS;

EID: 33750588105     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2006.878984     Document Type: Article

References (21)

1. M. Bartyœ and S. de las Heras, "Actuator simulation of the DAMADICS benchmark actuator system," in Proc. IFAC 5th Symp. Fault Detection, Supervision, and Safety of Tech. Syst. SAFEPROCESS, Washington, DC, 2003, pp. 963-968.
2. T. Carpentier, "Placement de capteurs pour la surveillance des processus complexes," Ph.D. dissertation, Univ. Sci. Technol. de Lille, Lille, France, 1999.
3. J. P. Cassar and M. Staroswiecki, "A structural approach for the design of failure detection and identification systems," in Proc IFAC, IFIP, IMACS Conf. Control Ind. Syst., Belfort, France, 1997, pp. 329-334.
4. C. Commault and J. M. Dion, "Optimal sensor location for fault detection and isolation in linear structured systems," in Proc. Eur. Control Conf., Cambridge, U.K., 2003.
5. L. Console, C. Picardi, and M. Ribando, "Diagnosis and diagnosability analysis using process algebra," in Proc. 11th Int. Workshop on Principles of Diag. DX, Morelia, Mexico, 2000.
6. M.-O. Cordier, P. Dague, F. Lévy, M. Dumas, J. Montmain, M. Staroswiecki, and L. Travé-Massuyès, "AI and automatic control approaches of model-based diagnosis: Links and underlying," in Proc. IFAC 4th Symp. Fault Detection, Supervision, and Safety of Tech. Syst. SAFEPROCESS, Budapest, Hungary, 2000, pp. 25-32.
7. M.-O. Cordier, P. Dague, F. Lévy, M. Dumas, J. Montmain, M. Staroswiecki, and L. Travé-Massuyès, "Conflicts versus analytical redundancy relations - A comparative analysis of the model based diagnosis approach from the AI and automatic control perspective," IEEE Trans. Syst., Man Cybern. B, Cybern., vol. 34, no. 5, pp. 2163-2177, Oct. 2004.
8. O. Dressler and P. Struss, "A toolbox integrating model-based diagnos-ability analysis and automated generation of diagnostics," in Proc. 14th Workshop on Principles of Diag. DX, Washington, DC, Jun. 11-14, 2003, pp. 99-104.
9. E. Frisk, D. Düstegör, M. Krysander, and V. Cocquempot, "Improving fault isolability properties by structural analysis of faulty behavior models: Application to the DAMADICS benchmark problem," in Proc. IFAC 5th Symp. Fault Detection, Supervision, and Safety of Tech. Syst. SAFEPROCESS, Washington, DC, 2003.
10. G. L. Gissinger, M. Loung, and H.-F. Reynaund, "Failure detection and isolation - Optimal design of instrumentation system," in Proc. IFAC 4th Symp. Fault Detection, Supervision, and Safety of Tech. Syst. SAFEPROCESS, Budapest, Hungary, 2000, pp. 863-898.
11. M. Krysander and M. Nyberg, "Structural analysis utilizing MSS sets with application to a paper plant," in Proc. 13th Int. Workshop on Principles of Diag. DX, Semmering, Austria, May 2-4, 2002, pp. 51-57.
12. M. Luong, D. Maquin, and J. Ragot, "Sensor network design for failure detection and isolation," in Proc. 3rd IFAC Symp. SICICA, Annecy, France, 1997.
13. M. Nybert, "Criterions for detectability and strong detectability of faults in linear systems," Int. J. Control, vol. 75, no. 7, pp. 490-501, May 2002.
14. B. Pulido and C. Alonso, "Possible conflicts: A compilation technique for consistency-based diagnosis," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 5, pp. 2192-2206, Oct. 2004.
15. L. Travé-Massuyès, T. Escobet, and R. Milne, "Model based diagnos-ability and sensor placement - Application to a frame 6 gas turbine subsystem," in Proc. Int. Joint Conf. Artif. Intell., Seattle, WA, Aug. 2001, pp. 205-212.
16. L. Travé-Massuyès, T. Escobet, and S. Spanache, "Diagnosability analysis based on component supported analytical redundancy relations," in Proc. 5th Symp. Fault Detection, Supervision, and Safety of Tech. Syst. SAFEPROCESS, Washington, DC, Jun. 2003, pp. 1-6.
17. L. Travé-Massuys̀e, P. Dague, "Raisonnement Causal en Physique Qualitative," in Modèles et Raisonnements Qualitatifs. Traité IC2 Information, Commande, Communications, Hermès Science Lavoisier, Paris, France, 2003, ch. 4.
18. S. Spanache, T. Escobet, and S. de las Heras, "Structural analysis of the DAMADICS benchmark," in 4th DAMADICS Workshop, Bochum, Germany, 2002, pp. 1-28.
19. S. Spanache, T. Escobet, and L. Travé-Massuys̀e, "Sensor optimization using genetic algorithms," in Proc. 15th Int. Workshop on Principles of Diag. DX, Carcassonne, France, 2004, pp. 179-183.
20. M. Syfert, R.J. Patton, M. Bartyœ, and J. Quevedo, "Development and application of methods for actuator diagnosis in industrial control systems (DAMADICS): A benchmark study," in Proc. IFAC 5th Symp. Fault Detection, Supervision, and Safety of Tech. Syst. SAFEPROCESS, Washington, DC, 2003, pp. 939-950.
21. P. Struss, B. Rehfus, R. Brignolo, F. Cascio, L. Console, P. Dague, P. Dubois, O. Dressler, and D. Millet, "Model-based tools for the integration of design and diagnosis into a common process - A project report," in Proc. Int. Workshop on Principles of Diag. DX, Semmering, Austria, 2002, pp. 25-32.