Skip to main content
SpringerLink
Log in

Diagnosability of Discrete Event Systems with Modular Structure

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

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.

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

    MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  • Cassandras CG, Lafortune S (1999). Introduction to Discrete Event Systems. Kluwer Academic Publishers.

  • Console L, Picarsi C, Ribaudo M (2002). Process algebras for system diagnosis. Artif Intell 142(1):19–51.

    Google Scholar 

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

  • Contant O, Lafortune S, Teneketzis D (2004b, April). Diagnosis of intermittent faults. Discret Event Dyn Syst Theory Appl 14(2):171–202.

    MathSciNet  Google Scholar 

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

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

    MathSciNet  Google Scholar 

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

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

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

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

    MathSciNet  Google Scholar 

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

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

  • 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 

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

  • 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 

  • 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 

  • Lin F (1994, May). Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl 4(2):197–212.

    MATH  Google Scholar 

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

    MathSciNet  Google Scholar 

  • Pandalai DN, Holloway LE (2000, May). Template languages for fault monitoring of discrete event processes. IEEE Trans Autom Contr 45(5):868–882.

    Article  MathSciNet  Google Scholar 

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

  • 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 

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

  • Sampath M (2001, June). A hybrid approach to failure diagnosis of industrial systems. In Proc. 2001 American Control Conference—ACC'01, Arlington, VA, USA.

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

    MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  • Sampath M, Lafortune S, Teneketzis D (1998, July). Active diagnosis of discrete event systems. IEEE Trans Autom Contr 43(7):908–929.

    Article  MathSciNet  Google Scholar 

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

  • Sinnamohideen K (2001, June). Discrete-event diagnostics of haeting, ventilation, and air-conditoning systems. Proc. 2001 American Control Conference—ACC'01, Arlington, VA, USA.

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

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

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

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122, USA

    Olivier Contant, Stéphane Lafortune & Demosthenis Teneketzis

Authors
  1. Olivier Contant
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stéphane Lafortune
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Demosthenis Teneketzis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Olivier Contant.

Additional information

*Olivier Contant is now working at Microsoft Corporation.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Contant, O., Lafortune, S. & Teneketzis, D. Diagnosability of Discrete Event Systems with Modular Structure. Discrete Event Dyn Syst 16, 9–37 (2006). https://doi.org/10.1007/s10626-006-6177-5

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-006-6177-5

Keywords

Search

Navigation