Skip to main content
SpringerLink
Log in

Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions

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

Abstract

We consider decentralized diagnosis of discrete event systems in the conditional disjunctive and conjunctive architectures, where the local failure decision and local nonfailure decision are conditional, respectively. For each of these architectures, a notion of conditional codiagnosability, which guarantees the detection of any failure by conditional decentralized diagnosis within a bounded number of steps, has been defined in the literature. In this paper, we compute the minimum number of steps, called the delay bound, within which the occurrence of any failure can be detected in a conditionally codiagnosable system. The delay bound is important to evaluate the ability of diagnosis. In addition, we use the computed delay bound to synthesize local diagnosers with conditional decisions.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22
Fig. 23

Similar content being viewed by others

References

  • Cabral FG, Moreira MV, Diene O, Basilio JC (2015) A Petri net diagnoser for discrete event systems modeled by finite state automata. IEEE Trans Autom Control 60(1):59–71

    Article  MathSciNet  Google Scholar 

  • Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer

  • Cassez F (2012) The complexity of codiagnosability for discrete event and timed systems. IEEE Trans Autom Control 57(7):1752–1764

    Article  MathSciNet  Google Scholar 

  • Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dyn Syst 10 (1&2):33–86

    Article  MathSciNet  MATH  Google Scholar 

  • Jiang S, Huang Z, Chandra V, Kumar R (2001) A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans Autom Control 46(8):1318–1321

    Article  MathSciNet  MATH  Google Scholar 

  • Kumar R, Garg VK (1995a) Optimal supervisory control of discrete event dynamical systems. SIAM J Control and Optim 33(2):419–439

    Article  MathSciNet  MATH  Google Scholar 

  • Kumar R, Garg VK (1995b) Modeling and control of logical discrete event systems. Kluwer Academic Publishers

  • Kumar R, Takai S (2007) Inference-based ambiguity management in decentralized decision-making: decentralized control of discrete event systems. IEEE Trans Autom Control 52(10):1783– 1794

    Article  MathSciNet  Google Scholar 

  • Kumar R, Takai S (2009) Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete-event systems. IEEE Trans Autom Sci Eng 6(3):479–491

    Article  Google Scholar 

  • Moreira MV, Jesus TC, Basilio JC (2011) Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Trans Autom Control 56(7):1679–1684

    Article  MathSciNet  Google Scholar 

  • Qiu W, Kumar R (2006) Decentralized failure diagnosis of discrete event systems. IEEE Trans Syst Man Cybern Part A: Syst Humans 36(2):384–395

    Article  Google Scholar 

  • Qiu W, Kumar R (2008) Distributed diagnosis under bounded-delay communication of immediately forwarded local observations. IEEE Trans Syst Man Cybern Part A: Syst Humans 38(3):628– 643

    Article  Google Scholar 

  • Qiu W, Wen Q, Kumar R (2009) Decentralized diagnosis of event-driven systems for safely reacting to failures. IEEE Trans Autom Sci Eng 6(2):362–366

    Article  Google Scholar 

  • Ricker SL, Rudie K (2007) Knowledge is a terrible thing to waste: using inference in discrete-event control problems. IEEE Trans Autom Control 52(3):428–441

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  • Schmidt K (2010) Abstraction-based verification of codiagnosability for discrete event systems. Automatica 46(9):1489–1494

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  • Takai S, Kumar R (2015) A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making. In: Proceedings of the 54th IEEE conference on decision and control, Osaka, pp 3522–3527

  • Takai S, Ushio T (2012) Verification of codiagnosability for discrete event systems modeled by Mealy automata with nondeterministic output functions. IEEE Trans Autom Control 57(3):798– 804

    Article  MathSciNet  Google Scholar 

  • Wang W, Girard AR, Lafortune S, Lin F (2011) On codiagnosability and coobservability with dynamic observations. IEEE Trans Autom Control 56(7):1551–1566

    Article  MathSciNet  Google Scholar 

  • Wang W, Lafortune S, Girard AR, Lin F (2010) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165–1175

    Article  MathSciNet  MATH  Google Scholar 

  • Wang Y, Yoo T-S, Lafortune S (2007) Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dyn Syst 17(2):233–263

    Article  MathSciNet  MATH  Google Scholar 

  • Wang Y, Yoo T-S, Lafortune S (2015) Erratum to: diagnosis of discrete event systems using decentralized architectures. Discrete Event Dyn Syst 25(4):601–603

    Article  MathSciNet  MATH  Google Scholar 

  • Yamamoto T, Takai S (2014) Reliable decentralized diagnosis of discrete event systems using the conjunctive architecture. IEICE Trans Fundamentals E97-A (7):1605–1614

    Article  Google Scholar 

  • Yamamoto T, Takai S (2015) Online synthesis of conjunctive decentralized diagnosers for discrete event systems. IEICE Trans Fundamentals E98-A(2):650–653

    Article  Google Scholar 

  • Yin X, Lafortune S (2015) Codiagnosability and coobservability under dynamic observations: transformation and verification. Automatica 61:241–252

    Article  MathSciNet  MATH  Google Scholar 

  • Yokota S, Takai S (2014) Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions. In: Proceedings of the 53rd IEEE conference on decision and control, Los Angeles, pp 5961–5966

  • Yoo T-S, Garcia HE (2008) Diagnosis of behaviors of interest in partially-observed discrete-event systems. Syst Control Lett 57(12):1023–1029

    Article  MathSciNet  MATH  Google Scholar 

  • Yoo T-S, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47(9):1491–1495

    Article  MathSciNet  Google Scholar 

  • Yoo T-S, Lafortune S (2004) Decentralized supervisory control with conditional decisions: supervisor existence. IEEE Trans Autom Control 49(11):1886–1904

    Article  MathSciNet  Google Scholar 

  • Yoo T-S, Lafortune S (2005) Decentralized supervisory control with conditional decisions: supervisor realization. IEEE Trans Autom Control 50(8):1205–1211

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgments

This work was supported in part by JSPS KAKENHI Grant Number 15K06140.

Author information

Authors and Affiliations

  1. Division of Electrical, Electronic and Information Engineering, Osaka University, Suita, Osaka, 565-0871, Japan

    Shoichi Yokota, Takashi Yamamoto & Shigemasa Takai

Authors
  1. Shoichi Yokota
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Takashi Yamamoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shigemasa Takai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shigemasa Takai.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yokota, S., Yamamoto, T. & Takai, S. Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions. Discrete Event Dyn Syst 27, 45–84 (2017). https://doi.org/10.1007/s10626-016-0229-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-016-0229-2

Keywords

Search

Navigation