Advertisement

Discrete Event Dynamic Systems

, Volume 16, Issue 1, pp 9–37 | Cite as

Diagnosability of Discrete Event Systems with Modular Structure

  • Olivier Contant
  • Stéphane Lafortune
  • Demosthenis Teneketzis
Research Article

Abstract

The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diagnosing such systems. The notion of modular diagnosability is introduced and the corresponding necessary and sufficient conditions to ensure it are presented. The verification of modular diagnosability is performed by a new algorithm that incrementally exploits the modular structure of the system to save on computational effort. The correctness of the algorithm is proved. Online diagnosis of modularly diagnosable systems is achieved using only local diagnosers.

Keywords

Distributed systems Diagnosability Modularity Common events 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1998, June). Fault detection and diagnosis in distributed system: an approach by partially stochastic Petri nets. Discret Event Dyn. Syst. Theory Appl. 8(2):203–231.MathSciNetGoogle Scholar
  2. Benveniste A, Fabre E, Haar S, Jard C (2003, May). Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans Autom Contr 48(5):714–727.CrossRefMathSciNetGoogle Scholar
  3. Bouloutas AT, Calo S, Finkel A (1994, Feb/Mar/Apr). Alarm correlation and fault identification in communication networks. IEEE Trans Commun 42(2/3/4):523–533.CrossRefGoogle Scholar
  4. Cassandras CG, Lafortune S (1999). Introduction to Discrete Event Systems. Kluwer Academic Publishers.Google Scholar
  5. Console L, Picarsi C, Ribaudo M (2002). Process algebras for system diagnosis. Artif Intell 142(1):19–51.Google Scholar
  6. Contant O, Lafortune S, Teneketzis D (2004a, November). Diagnosis of distributed discrete event systems: architecture and modular cerification approach. Technical Report CGR 04-04, College of Engineering Control Group Reports, University of Michigan, April. Revised.Google Scholar
  7. Contant O, Lafortune S, Teneketzis D (2004b, April). Diagnosis of intermittent faults. Discret Event Dyn Syst Theory Appl 14(2):171–202.MathSciNetGoogle Scholar
  8. Coolen R, Luiijf H (2002, January). Intrusion detection: generics and state-of-the-art. Technical Report RTO-TR-049, Research and Technology Organisation, NATO, Neuilly-sur-Seine, France.Google Scholar
  9. Debouk R, Lafortune S, Teneketzis D (2000, January). Coordinated decentralized protocols for failure diagnosis of discrete events systems. Discret Event Dyn Syst Theory Appl 10(1–2):33–86.MathSciNetGoogle Scholar
  10. Debouk R, Malik R, Brandin B (2002, December). A modular architecture for diagnosis of discrete event systems. Proc. 41st IEEE Conf. on Decision and Control—CDC'02, Las Vegas, NV, USA, pp 417–422.Google Scholar
  11. Garcia E, Morant F, Blasco-Giménez R, Correcher A, Quiles E (2002, October). Centralized modular diagnosis and the phenomenon of coupling. Proc. 2002 IFAC International Workshop on Discrete Event Systems—WODES'02, Zaragoza, Spain, pp 161–168.Google Scholar
  12. Genc S, Lafortune S (2003, June). Distributed diagnosis of discrete-event systems using Petri nets. Proc. 2003 International Conf. on Applications and Theory of Petri Nets, Eindhoven, The Netherlands, pp 316–336.Google Scholar
  13. Hashtrudi Zad S, Kwong RH, Wonham WM (2003, July). Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Trans Autom Contr 48(7):1199–1212.MathSciNetGoogle Scholar
  14. Holloway LE, Chand S (1994, June). Time templates for discrete event fault monitoring in manufacturing systems. Proc. 1994 American Control Conference—ACC'94, Baltimore, MD, USA, pp 701–706.Google Scholar
  15. Jiang S, Kumar R (2002, May). Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. Proc. 2002 American Control Conference—ACC'02, Anchorage, AK, USA, pp 128–133.Google Scholar
  16. Jiang S, Kumar R, Garcia HE (2003, April). Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Trans Robot Autom 19(2):310–323.Google Scholar
  17. Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohideen K (2001, June). Failure diagnosis of dynamis systems: an approach based on discrete event systems. Proc. 2001 American Control Conference—ACC'01, Arlington, VA, USA, pp 2058–2071.Google Scholar
  18. Lamperti G, Zanella M (2003). Diagnosis of active systems: principles and techniques, volume 741 of the Kluwer International Series in Engineering and Computer Science. Dordrecht, NL: Kluwer Academic Publishers.Google Scholar
  19. Lamperti G, Zanella M (2004, October). A bridged diagnosis method for the monitoring of polymorphic discrete-event systems. IEEE Trans Syst Man Cybern, Part B 34(5):2222–2244.Google Scholar
  20. Lin F (1994, May). Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl 4(2):197–212.MATHGoogle Scholar
  21. Lunze J (2000). Diagnosis of quantized systems based on a timed discrete-event model. IEEE Trans Syst Man Cybern, Part A 30(3):322–335.MathSciNetGoogle Scholar
  22. Pandalai DN, Holloway LE (2000, May). Template languages for fault monitoring of discrete event processes. IEEE Trans Autom Contr 45(5):868–882.CrossRefMathSciNetGoogle Scholar
  23. Pencolé Y (2000). Decentralized diagnozer approach: application to telecommunication networks. In: Provan G, Darwiche A (eds) Proc. of the 11th International Workshop on Principles of Diagnosis—DX'00, Morelia, Mexico, pp 185–192.Google Scholar
  24. Pencolé Y, Cordier M-O, Rozé L (2002). A decentralized model-based diagnostic tool for complex systems. Int J Artif Intell Tools 11(3):327–346.Google Scholar
  25. Ricker LS, Fabre E (2000, December). On the construction of modular observers and diagnosers for discrete event systems. Proc. 39th IEEE Conf. on Decision and Control—CDC'00, Sydney, Australia, pp 2240–2244.Google Scholar
  26. Sampath M (2001, June). A hybrid approach to failure diagnosis of industrial systems. In Proc. 2001 American Control Conference—ACC'01, Arlington, VA, USA.Google Scholar
  27. Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1995, September). Diagnosability of discrete ecent models. IEEE Trans Contr Syst Technol 40(9):1555–1575.MathSciNetGoogle Scholar
  28. Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1996, March). Failure diagnosis using discrete event systems. IEEE Trans Contr Syst Technol 4(2):105–124.CrossRefGoogle Scholar
  29. Sampath M, Lafortune S, Teneketzis D (1998, July). Active diagnosis of discrete event systems. IEEE Trans Autom Contr 43(7):908–929.CrossRefMathSciNetGoogle Scholar
  30. Sengupta R (2001, June). Discrete-event diagnostics of automated vehicles and highways. Proc. 2001 American Control Conference—ACC'01. Arlington, VA, USA, pp 25–27.Google Scholar
  31. Sinnamohideen K (2001, June). Discrete-event diagnostics of haeting, ventilation, and air-conditoning systems. Proc. 2001 American Control Conference—ACC'01, Arlington, VA, USA.Google Scholar
  32. Su R, Wonham WM (2004, September). Hierarchical distributed diagnosis under global consistency. In Proc. 2004 IFAC International Workshop on Discrete Event Systems—WODES'04. Reims, France, pp 157–162.Google Scholar
  33. Su R, Wonham WM, Kurien J, Koutsoukos X (2002, October). Distributed diagnosis for qualitative systems. Proc. 2002 IFAC International Workshop on Discrete Event Systems—WODES'02, Zaragoza, Spain, pp 169–174.Google Scholar
  34. Yoo T-S, Garcia HE (2004, June). Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. Proc. 2004 American Control Conference—ACC'04. Boston, MA, USA, pp 5102–5107.Google Scholar

Copyright information

© Springer Science + Business Media, Inc. 2006

Authors and Affiliations

  • Olivier Contant
    • 1
  • Stéphane Lafortune
    • 1
  • Demosthenis Teneketzis
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceThe University of MichiganAnn ArborUSA

Personalised recommendations