Skip to main content
SpringerLink
Log in

Formal approach to fault diagnosis in distributed discrete event systems with OBDD

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

In this paper, we study the fault diagnosis problem for distributed discrete event systems. The model assumes that the system is composed of distributed components which are modeled in labeled Petri nets and interact with each other via sets of common resources (places). Further, a component’s own access to a common resource is an observable event. Based on the diagnoser approach proposed by Sampath et al., a distributed fault diagnosis algorithm with communication is presented. The distributed algorithm assumes that the local diagnosis process can exchange messages upon the occurrence of observable events. We prove the distributed diagnosis algorithm is correct in the sense that it recovers the same diagnostic information as the centralized diagnosis algorithm. Furthermore, we introduce the ordered binary decision diagrams (OBDD) in order to manage the state explosion problem in state estimation of the system.

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

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  3. Benveniste A, Fabre E, Haar S, Jard C (2003) Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans Automatic Control 48(5)

  4. Pencole Y, Cordier MO, Roze L (2002) Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In: Proceedings of 41st IEEE conference on decision and control

  5. Genc S, Lafortune S (2003) Distributed diagnosis of discrete-event systems using Petri nets. In: Proceedings on applications and theory of petri nets, LNCS, pp 2679

  6. Ricker SL, Fabre E (2000) On the construction of modular observers and diagnosers for discrete event systems. In: Proceedings of 39th IEEE confernece on decision and control, Sydney

  7. Bryant RE (1986) Graph-based algorithms for Boolean function manipulation. IEEE Trans Comput C-35(8)

  8. Pastor E, Cortadella J, Roig O (2001) Symbolic analysis of bounded Petri nets. IEEE Trans Comput 50(5)

  9. Murata T (1989). Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541–579

    Article  Google Scholar 

  10. Cassandras CG and Lafortune S (1999). Introduction to discrete event systems. Kluwer, Dordrecht

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tsinghua University, Beijing, 100084, China

    Fei Xue

  2. University College London, London, WC1E 6BT, UK

    Lu Yan

Authors
  1. Fei Xue
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lu Yan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lu Yan.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xue, F., Yan, L. Formal approach to fault diagnosis in distributed discrete event systems with OBDD. Innovations Syst Softw Eng 3, 259–267 (2007). https://doi.org/10.1007/s11334-007-0032-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-007-0032-1

Keywords

Search

Navigation