Comparing diagnosability in CS and DES

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 6, Issue PART 1, 2006, Pages 1163-1168

  Travé Massuyès, Louise ^a   Cordier, Marie Odile ^b   Pucel, Xavier ^a  

^a LAAS CNRS   (France)

^b INRIA   (France)

Author keywords

Continuous systems; Diagnosability; Diagnosis; Discrete event systems

Indexed keywords

DIAGNOSIS; FAULT DETECTION; LIFE CYCLE; PLANT MANAGEMENT;

CONTINUOUS SYSTEM; DIAGNOSABILITY; DIAGNOSABILITY ANALYSIS; HYBRID MODEL; MODEL BASED DIAGNOSIS;

DISCRETE EVENT SIMULATION;

EID: 79961135631     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20060829-4-cn-2909.00194     Document Type: Conference Paper

References (19)

1. Basseville, M. (2001). On fault detectability and isolability. European Journal of Control 7(8), 625-637.
2. Bénazéra, E., L. Travé-Massuyès and P. Dague (2002). State tracking of uncertain hybrid concurrent systems. In: Proceedings of the International Workshop on Principles of Diagnosis(DX'02). pp. 106-114.
3. Chen, J. and R.J. Patton (1994). A re-examination of fault detectability and isolability in linear dynamic systems. In: Proceedings of the 2nd Safeprocess Symposium, Helsinki (Finland). pp. 567-573.
4. Cimatti, A., C. Pecheur and R. Cavada (2003). Formal verification of diagnosability via symbolic model checking. Proceedings of IJCAI'03 pp. 363-369.
5. Cordier, M.-O., P. Dague, F. Lévy, J. Montmain, M. Staroswiecki and L. Travé-Massuyès (2004). Conflicts versus analytical redundancy relations : A comparative analysis of the model-based diagnostic approach from the artificial intelligence and automatic control perspectives. IEEE Transactions on Systems, Man and Cybernetics - Part B. 34(5), 2163-2177.
6. Frisk, E., D. Düştegör, M. Krysander and V. Cocquempot (2003). Improving fault isolability properties by structural analysis of faulty behavior models: application to the DAMADICS benchmark problem. In: Proceedings of IFAC Safeprocess'03. Washington, USA.
7. Jeron, T., H. Marchand and M-O. Cordier (2006). Motifs de surveillance pour le diagnostic de systèmes évènements discrets. In: Proceedings of RFIA'2006.
8. Jiang, S., Z. Huang, V. Chandra and R. Kumar (2001). A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control 46(8), 1318-1321. (Pubitemid 32829763)
9. Patton, R.J., P. Franck and R. Clark (1989). Fault diagnosis in dynamic systems - Theory and Applications. Prentice Hall International, London UK.
10. Puig, V., J. Quevedo, T. Escobet and B. Pulido (2005). On the integration of fault detection and isolation in model based fault diagnosis. In: Proceedings of DX'05. pp. 227-232.
11. Rozé, L. and M.-O. Cordier (2002). Diagnosing discrete-event systems : extending the "diagnoser approach" to deal with telecommunication networks. Journal on Discrete-Event Dynamic Systems : Theory and Applications (JDEDS) 12(1), 43-81.
12. Sampath, M., R. Sengputa, S. Lafortune, K. Sinnamohideen and D. Teneketsis (1995). Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40, 1555-1575.
13. Staroswiecki, M. and G. Comtet-Varga (1999). Fault detectability and isolability in algebraic dynamic systems. Proceedings of the European Control Conference.
14. Struss, P. and O. Dressler (2003). A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics. In: Proceedings of DX'03.
15. Travé-Massuyès, L., T. Escobet and Rob Milne (2001). Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem. Proceedings of IJCAI'01 pp. 551-556.
16. Travé-Massuyès, L., T. Escobet and X. Olive (2004). Model-based diagnosability. Internal Report LAAS N04080, Janvier 2004, 12p. to appear in IEEE Transactions on System, Man and Cybernetics, Part A.
17. Williams, B. C. and P. P. Nayak (1996). A model-based approach to reactive self-configuring systems. Proceedings of AAAI-96, Portland, Oregon pp. 971-978.
18. Yan, Y. (2004). Sensor placement and diagnosability analysis at design stage. MONET Workshop on Model-Based Systems at ECAI'04, August 22-26, Valencia, Spain.
19. Yoo, T. and S. Lafortune (2002). Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans. on Automatic Control 47(9), 1491-1495.