Modular fault diagnosis based on discrete event systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 15, Issue 3, 2005, Pages 237-256

  Garcia E ^a   Correcher, A ^a   Morant, F ^a   Quiles, E ^a   Blasco, R ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Discrete event systems; Fault diagnosis; Large scale systems

Indexed keywords

AUTOMATION; COMPUTATIONAL COMPLEXITY; DECOMPOSITION; FACTORY AUTOMATION; FAULT TOLERANT COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; PROCESS CONTROL;

DISCRETE EVENT SYSTEMS; EXPONENTIAL EXPLOSION; FAULT DIAGNOSIS; MODULAR DECOMPOSITION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 23844526153     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-005-2866-8     Document Type: Article

References (20)

1. Baroni, P., Laraperti, G., Pogliano, P., and Zanella, M. 2000. Diagnosis of a class of distributed discrete-event systems. IEEE Trans. Syst. Man Cybern., Part A, 30(6): 731-752.
2. David, R., and Halla, H. 1992. Petri Nets & Grafcet: Tools for Modelling Discrete Event Systems. Prentice-Hall International Editions.
3. Debouk, R., Lafortune, S., and Tenekelzis, D. 2000. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discret. Event Dyn. Syst. Theor. Appl. 10: 33-86.
4. Denham, M. J. 1987. A Petri-net approach to the control of discrete event systems. In M. J. Denham and A. J. Laub (eds.), Advanced Computing Concepts and Techniques in Control Engineering-Series F: Computer and Systems Sciences, Vol. 47, NATO ASI Series, Springer-Verlag, New York, LLC, pp. 191-214.
5. Fabre, E., Benveniste, A., and Jara, C. 2002. Distributed diagnosis for large discrete event dynamic systems. In Proc. of the 15th IFAC World Congress, Barcelona.
6. Garcia, E. 2000. Descomposición modular de diagnoslicadores de fallos basados en modelos de eventos discretes, Ph.D. thesis, Valencia.
7. Garcia, E., and Morant, F. 1999. Modular failure diagnosis based on discrete event systems for a mixer chemical process. In 7th IEEE International Conference on Emerging Technologies and Factory Automation ETFA '99, Barcelona, pp. 1123-1130.
8. Garcia, E., Morant, F., Blasco, R., Correcher, A., and Quiles, E. 2002. Centralized modular diagnosis and the phenomenon of coupling. In Proc. of the Workshop On Discrete Event Systems WODES02. pp. 161-169.
9. Gene, S., and Lafortune, S. 2003. Distributed diagnosis of discrete event systems using Petri Nets. In Wil M. P. van der Aalst and Eike Best (eds.), Proceedings of the 24th International Conference on Applications and Theory of Petri Nefs (ICATPN 2003), Eindhoven, The Netherlands, June 23-27, 2003, pp. 316-336. Volume 2679 of Lecture Notes in Computer Science, Springer-Verlag.
10. Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison Wesley.
11. Pencolé, Y. 2004. Diagnosability analysis of distributed discrete event systems, In Proceedings of the 15th International Workshop on Principles of Diagnosis (DX'04), pp. 173-178.
12. Ricker, L. S., and Fabre, E. 2000. On the construction of modular observers and diagnosers for discrete event systems, In 39th IEEE Conference on Decision and Control (CDC), Sydney. IEEE Control Systems Society, pp. 2240-2244.
13. Ricker, S. L., and Van Schuppen, J. H. 2001. Decentralized failure diagnosis with asynchronous communication between supervisors, In Proceedings European Control Conference, pp. 1002-1006.
14. Sampath, M., Sengupla, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1994. Failure diagnosis using discrete-event models, Dep. EECS, Univ. Michigan, Tech. Rep. CGR94-3.
15. Sampath, M., Sengupla, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1995. Diagnosability of discrete-event systems. IEEE Trans. Automat. Contr. 40(9): 1555-1575.
16. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1996. Failure diagnosis using discrete-event models. IEEE Trans. Control Sysr. 4(2): 105-124.
17. Sengupta, R. 1998. Diagnosis and communications in distributed systems. In Proc. of the International Workshop on Discrete Event Systems, pp. 144-151.
18. Silva, M. 1985. Las Redes de Petri en la Aulomdtica y la Informática. Madrid: Editorial AC.
19. Su, R., Wonham, W. M., Kurien, J., and Koutsoukos, X. 2002. Distributed diagnosis for qualitative systems. Sixth International Workshop on Discrete Event Systems (WODES'02). pp. 169-175.
20. Viswanadham, N., and Narahari, Y. 1992. Performance Modeling of Automated Manufacturing Systems. Englewood Cliffs, NJ: Prentice-Hall.