Skip to main content
SpringerLink
Log in

Implementation of inference-based diagnosis: computing delay bound and ambiguity levels

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

Abstract

Inference-based decentralized diagnosis is a framework introduced in the authors’ former work, where inferencing over the ambiguities of the self and the others is used to issue diagnosis decisions. The implementation of the framework requires the online computation of the ambiguity levels by each of the local decision makers, following each of their local observations. This in turn requires knowing the delay bound of diagnosis, which needs to be computed offline, prior to the online monitoring for fault detection. The paper presents the offline computation of the delay bound of diagnosis, along with a certain set of languages, which together aid the online computation of the ambiguity levels.

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

Similar content being viewed by others

Notes

  1. In this paper, an automaton is deterministic, unless otherwise stated.

References

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

    Article  MathSciNet  MATH  Google Scholar 

  • Chakib H, Khoumsi A (2012) Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems. Discrete Event Dyn Syst 22(3):333–380

    Article  MathSciNet  MATH  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 

  • Kumar R, Garg VK (1995) 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  MATH  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 

  • 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 

  • 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 W M (2005) Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans Autom Control 50(12):1923–1935

    Article  MathSciNet  MATH  Google Scholar 

  • Takai S, Kumar R (2011) Inference-based decentralized prognosis in discrete event systems. IEEE Trans Autom Control 56(1):165–171

    Article  MathSciNet  MATH  Google Scholar 

  • Takai S, Kumar R (2016) Delay bound of inference-based decentralized diagnosis in discrete event systems. In: Proceedings of the 13th international workshop on discrete event systems. Xi’an, China, pp 224–229

  • Takai S, Kumar R (2017) A generalized framework for inference-based diagnosis of discrete event systems capturing both disjunctive and conjunctive decision-making. IEEE Trans Autom Control 62(6):2778–2793

    Article  MathSciNet  MATH  Google Scholar 

  • 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  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  • Wang W, Lafortune S, Girard A R, 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 

  • Yamamoto T, Takai S (2014) Reliable decentralized diagnosis of discrete event systems using the conjunctive architecture. IEICE Trans Fundamentals E 97-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 E 98-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, Yamamoto T, Takai S (2017) Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions. Discrete Event Dyn Syst 27(1):45–84

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  • Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for Discrete Event Systems. Annu Rev Control 37(2):308–320

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Shigemasa Takai

  2. Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, 50011-3060, USA

    Ratnesh Kumar

Authors
  1. Shigemasa Takai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ratnesh Kumar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shigemasa Takai.

Additional information

This article belongs to the Topical Collection: Special Issue on Diagnosis, Opacity and Supervisory Control of Discrete Event Systems

Guest Editors: Christos G. Cassandras and Alessandro Giua

This work was supported in part by the National Science Foundation under Grants NSF-CCF-1331390, NSF-ECCS-1509420, and NSF-IIP-1602089 and by JSPS KAKENHI Grant Number JP15K06140.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Takai, S., Kumar, R. Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Discrete Event Dyn Syst 28, 315–348 (2018). https://doi.org/10.1007/s10626-017-0253-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-017-0253-x

Keywords

Search

Navigation