Skip to main content
SpringerLink
Log in

Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency

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

Abstract

In previous work the authors proposed a distributed diagnosis approach consisting of two phases—preliminary diagnosis in each local diagnoser and inter-diagnoser communication. The objective of communication is to achieve either global or local consistency among local diagnoses, where global consistency is captured by the equilibrium concept of supremal global support. To achieve this equilibrium, an algorithm called Computational Procedure for Global Consistency (CPGC) was proposed. But it turns out that CPGC has high time complexity and weak scalability. To rectify these shortcomings, we propose a hierarchical computational procedure. A further advantage of this procedure is demonstrated, based on multiresolutional diagnosis. With the latter, fault detection is conducted at each hierarchical level, so that computation can be confined to those modules likely to possess faults, while fault-free modules are safely disregarded. A simplified industrial example is provided in illustration.

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

  • Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1997, December). A Petri net approach to fault detection and diagnosis in distributed systems. In Proc. 1997 IEEE Conference on Decision and Control (CDC'97), pp 720–725.

  • Autio K, Reiter R (1998, August). Structural abstraction in model-based diagnosis. Proc. 13th European Conference on Artificial Intelligence (ECAI'98), Brighton, UK pp 269–273.

  • Baroni P, Lamperti G, Pogliano P, Zanella M (1999, May). Diagnosis of large active systems. Artif Intell 110(1):135–183.

    Article  MathSciNet  Google Scholar 

  • Beeri C, Fagin R, Maier D, Yannakakis M (1983, July). On the desirability of acyclic database schemes. J Assoc Comput Mach 30(3):479–513.

    MathSciNet  Google Scholar 

  • Collin Z, Dechter R, Katz S (1991). On the feasibility of distributed constraint satisfaction. Proc. 12th International Joint Conference on Artificial Intelligence, pp 318–324.

  • Contant O, Lafortune S, Teneketzis D (2004, September). Diagnosis of modular discrete event systems. Proc. 7th International Workshop on Discrete Event Systems (WODES04), Reims, France, pp 337–342.

  • Debouk R, Lafortune S, Teneketzis D (2000, January). Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 10(1/2):33–86.

    MathSciNet  Google Scholar 

  • Duarte E, Nanya T (1998). A hierarchical adaptive distributed system-level diagnosis algorithm. IEEE Trans. on Computers 47(1):34–45.

    Article  Google Scholar 

  • Fabre E, Benveniste A, Jard C (2002, July). Distributed diagnosis for large discrete event dynamic systems. Proc. 15th IFAC World Congress, Barcelona, Spain.

  • Fabre E, Benveniste A, Haar S, Jard C (2000, March). Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dynamic Systems: Theory and Applications 15(1):33–84.

    MathSciNet  Google Scholar 

  • Fagin R (1983, July). Degrees of acyclicity for hypergraphs and relational database schemes. J Assoc Comput Mach 30(3):514–550.

    MATH  MathSciNet  Google Scholar 

  • Giunchiglia F, Walsh T (1992). A theory of abstraction. Artif Intell 57(2):323–389.

    Article  MathSciNet  Google Scholar 

  • Hadjicostis CN, Verghese GC (1999, June). Monitoring discrete event systems using Petri net embeddings. Springer-Verlag Lect. Notes in Comput Sci 1639:188–207.

    MathSciNet  Google Scholar 

  • Harel D (1987). Statecharts: a visual formalism for complex systems. Sci Comput Program 8:231–274.

    Article  MATH  MathSciNet  Google Scholar 

  • Harel D (1997). Executable object modeling with statecharts. IEEE Comput 30(7):31–42.

    Google Scholar 

  • Hashtrudi Zad S, Kwong RH, Wonham WM (2003). Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Automat Contr 48(7):1199–1212.

    MathSciNet  Google Scholar 

  • Hopcroft JE, Ullman JD (1979). Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Mac Lane S, Birkhoff G (1988). Algebra. Chelsea, New York.

  • Meyer Y (1992). Wavelets and Operators. Cambridge University, Cambridge.

    Google Scholar 

  • Mohammadi Idghamishi A, Hashtrudi Zad S (2004a, December). Fault diagnosis in hierarchical discrete-event systems. Proc. of the 43th IEEE Conference on Decision and Control, Nassau, Bahamas.

  • Mohammadi Idghamishi A, Hashtrudi Zad S (2004b, December). Hierarchical fault diagnosis: application to an ozone plant. 2004 IEEE Conference on Robotics, Automation and Mechatronics, Singapore.

  • Mozetic I (1991). Hierarchical model-based diagnosis. Int J Man-Mach Stud 35(3):329–362.

    Google Scholar 

  • Nayak PP, Levy AY (1995). A semantic theory of abstractions. Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, pp 196–203.

  • Pencolé Y, Cordier M-O, Rozé L (2002, September). A decentralized model-based diagnostic tool for complex systems. Int J Artif Intell Tools (IJAIT) 11(3):327–346.

    Google Scholar 

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

    Article  Google Scholar 

  • Stroobandt D, Van Campenhout J (1996, November). Hierarchical test generation with built-in fault diagnosis. Proc. 5th Asian Test Symp, pp 22–28.

  • Su R, Wonham WM (2000, March). Decentralized fault diagnosis for discrete-event systems. In Proc. 2000 CISS, Princeton, New Jersey, pp TP1:1–6.

  • Su R, Wonham WM (2004, September). A model of component consistency in distributed diagnosis. Proc. 2004 IFAC Workshop on Discrete Event Systems (WODES’04), Reims, France, pp 427–432.

  • Su R, Wonham WM (2005, December). Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Transactions on Automatic Control 50(12): 1923–1935.

    MathSciNet  Google Scholar 

  • Su M-S, Thulasiraman K, Das A (2001, October). A multi-level adaptive distributed diagnosis algorithm for fault detection in a network of processors. Proc. 39th Annual Allerton Conf. on Communication, Control, and Computers, Monticello, IL.

  • Su R, Wonham WM, Kurien J, Koutsoukos X (2002, October). Distributed diagnosis for qualitative systems. Proc. 6th International Workshop on Discrete Event Systems (WODES’02), Zaragoza, Spain, pp 169–174.

  • Weigel R, Faltings B (1999). Compiling constraint satisfaction problems. Artif Intell 115(2): 257–287.

    Article  MathSciNet  Google Scholar 

  • Wong K C, Wonham WM (2004, January). On the computation of observers in discreteevent systems. Discrete Event Dynamic Systems: Theory and Applications 14(1):55–107.

    MathSciNet  Google Scholar 

  • Wonham WM (2004a). Supervisory Control of Discrete-Event Systems. Systems Control Group, Dept. of ECE, University of Toronto. URL: www.control.utoronto.ca/DES.

  • Wonham WM (2004b). Design Software. Systems Control Group, Dept. of ECE, University of Toronto. URL: www.control.utoronto.ca/DES.

  • Yokoo M, Durfee EH, Ishida T, Kuwabara K (1998). The distributed constraint satisfaction problem: formalization and algorithms. IEEE Trans Knowl Data Eng 10(5):673–685.

    Article  Google Scholar 

  • Zhang Y, Mackworth A (1991). Parallel and distributed algorithms for finite constraint satisfaction problems. Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, pp 394–397.

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1, Canada

    R. Su

  2. Edward S. Rogers Sr. Department of Electrical and Computer Engineering, University of Toronto, 10 King's College Road, Toronto, Ontario, M5S 3G4, Canada

    W. M. Wonham

Authors
  1. R. Su
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. W. M. Wonham
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to R. Su.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Su, R., Wonham, W.M. Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency. Discrete Event Dyn Syst 16, 39–70 (2006). https://doi.org/10.1007/s10626-006-6178-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-006-6178-4

Keywords

Search

Navigation