Skip to main content
SpringerLink
Log in

Modular Fault Diagnosis Based on Discrete Event Systems

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

An awareness of failure type and location is an indispensable requirement for the establishment of adequate recovery strategies and the maintenance of Factory Automation and Process Control systems.

The failure diagnosis methodology presented in this paper is based on Discrete Event Systems models and in the diagnoser concept, which enable the off-line and on-line analysis of systems failures. We present an approach for models and associated diagnosers based on a modular decomposition of the global system, with the aim of avoiding problems of exponential explosion in the number of states and computational complexity of the diagnosis process.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Baroni, P., Lamperti, 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.

    Google Scholar 

  • David, R., and Halla, H. 1992. Petri Nets & Grafcet: Tools for Modelling Discrete Event Systems. Prentice-Hall International Editions.

  • Debouk, R., Lafortune, S., and Teneketzis, D. 2000. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discret. Event Dyn. Syst. Theor. Appl. 33–86.

  • 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, 191–214.

  • Fabre, E., Benveniste, A., and Jara, C. 2002. Distributed diagnosis for large discrete event dynamic systems. In Proc. f the 15th IFAC World Congress, Barcelona.

  • Garcia, E. 2000. Descomposición modular de diagnosticadores de fallos basados en modelos de eventos discretos, Ph.D. thesis, Valencia.

  • García, 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.

  • García, 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.

  • Genc, 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 Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23–27, 2003, pp. 316–336. Volume 2679 of Lecture Notes in Computer Science, Springer-Verlag.

  • Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison Wesley.

    Google Scholar 

  • 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.

  • 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.

  • 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.

  • Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1994. Failure diagnosis using discrete-event models, Dep. EECS, Univ. Michigan, Tech. Rep. CGR94-3.

  • Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1995. Diagnosability of discrete-event systems. IEEE Trans. Automat. Contr. 40(9): 1555–1575.

    Article  Google Scholar 

  • Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1996. Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. 4(2): 105–124.

    Article  Google Scholar 

  • Sengupta, R. 1998. Diagnosis and communications in distributed systems. In Proc. of the International Workshop on Discrete Event Systems, pp. 144–151.

  • Silva, M. 1985. Las Redes de Petri en la Automática y la Informática. Madrid: Editorial AC.

    Google Scholar 

  • 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.

  • Viswanadham, N., and Narahari, Y. 1992. Performance Modeling of Automated Manufacturing Systems. Englewood Cliffs, NJ: Prentice-Hall.

Download references

Author information

Authors and Affiliations

  1. Department of Systems Engineering and Automation, Polytechnic University of Valencia, Camino de Vera s/n, 46071, Valencia, Spain

    E. García, A. Correcher, F. Morant, E. Quiles & R. Blasco

Authors
  1. E. García
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Correcher
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. Morant
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. E. Quiles
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. R. Blasco
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to E. García.

Rights and permissions

Reprints and permissions

About this article

Cite this article

García, E., Correcher, A., Morant, F. et al. Modular Fault Diagnosis Based on Discrete Event Systems. Discrete Event Dyn Syst 15, 237–256 (2005). https://doi.org/10.1007/s10626-005-2866-8

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-005-2866-8

keywords

Search

Navigation