Skip to main content
SpringerLink
Log in

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation

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

Abstract

Failure diagnosis is a crucial task in modern industrial systems, and several works in the literature address this problem by modeling the system as a Discrete-Event System (DES). Most of them assume perfect communication between sensors and diagnosers, i.e., no loss of observation of events, or event communication delays between the measurement sites and the diagnosers. However, industrial systems can be large and physically distributed, in which cases, communication networks are used to provide an efficient way to establish communication between devices. In diagnosis systems, the use of networks can introduce delays in the communication of event occurrences from measurement sites to the local diagnosers, leading to an incorrect observation of the order of occurrence of events generated by the system and, as a consequence, to an incorrect diagnosis decision by the local diagnoser. In this paper, we address the problem of decentralized diagnosis of networked Discrete-Event Systems subject to event communication delays, and we introduce the definition of network codiagnosability of the language generated by a DES subject to both event communication delays and intermittent loss of observation, and present necessary and sufficient conditions for a language to be network codiagnosable, for short. We also propose an algorithm to verify this property.

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

Similar content being viewed by others

References

  • Alves MVS, Basilio JC, Cunha AEC, Carvalho LK, Moreira MV (2014) Robust supervisory control against intermittent loss of observations. In: 12th workshop on discrete event systems, vol 12. Elsevier, Cachan, pp 294–299

  • Athanasopoulou E, Lingxi L, Hadjicostis C (2010) Maximum likelihood failure diagnosis in finite state machines under unreliable observations. IEEE Trans Autom Control 55(3):579–593

    Article  MathSciNet  MATH  Google Scholar 

  • Balemi S (1994) Input/output discrete event processes and communication delays. Discrete Event Dyn Syst 4(1):41–85

    Article  MATH  Google Scholar 

  • Carvalho LK, Basilio JC, Moreira MV (2012) Robust diagnosis of discrete event systems against intermittent loss of observations. Automatica 48(9):2068–2078

    Article  MathSciNet  MATH  Google Scholar 

  • Carvalho LK, Moreira MV, Basilio JC (2011) Generalized robust diagnosability of discrete event systems. In: 18th IFAC World Congress, pp 8737–8742, Milan. Elsevier

  • Carvalho LK, Moreira MV, Basilio JC, Lafortune S (2013) Robust diagnosis of discrete-event systems against permanent loss of observations. Automatica 49(1):223–231

    Article  MathSciNet  MATH  Google Scholar 

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

    Book  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):33–86

    Article  MathSciNet  MATH  Google Scholar 

  • Debouk R, Lafortune S, Teneketzis D (2003) On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Discrete Event Dyn Syst 13(3):263–289

    Article  MathSciNet  MATH  Google Scholar 

  • Huo Z, Fang H, Ma C (2004) Networked control system: state of the art. In: Proceedings of the 5th world congress on intelligent control and automation. IEEE, Hangzhou, pp 1319–1322

  • Lin F (2014) Control of networked discrete event systems: dealing with communication delays and losses. SIAM J Control Optim 52(2):1276–1298

    Article  MathSciNet  MATH  Google Scholar 

  • Moreira MV, Basilio JC, Cabral FG (2016) Polynomial time verification of decentralized diagnosability of discrete event systems versus decentralized failure diagnosis of discrete event systems: a critical appraisal. IEEE Trans Autom Control 61(1):178–181

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

  • Nunes C, Moreira MV, Alves MVS, Basilio JC (2016) Network codiagnosability of discrete-event systems subject to event communication delay. In: 13th workshop on discrete event systems. IEEE Xian, pp 217– 223

  • Park SJ, Cho KH (2006) Delay-robust supervisory control of discrete event systems with bounded communication delays. IEEE Trans Autom Control 51(5):911–915

    Article  MathSciNet  MATH  Google Scholar 

  • Park S-J, Cho K-H (2007a) Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures. Automatica 43(4):738–743

  • Park S-J, Cho K-H (2007b) Supervisory control of discrete event systems with communication delays and partial observations. Syst Control Lett 56(2):106–112

  • Qiu W, Kumar R (2006) Decentralized failure diagnosis of discrete event systems. IEEE Trans Syst Man Cybern Part A 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 38 (3):628–642

    Article  Google Scholar 

  • Rohloff KR (2005) Sensor failure tolerant supervisory control. In: 44th IEEE conference on decision and control. IEEE, Seville, pp 3493–3498

  • Sadid WH, Ricker L, Hashtrudi-Zad S (2015) Robustness of synchronous communication protocols with delay for decentralized discrete-event control. Discrete Event Dyn Syst 25(1):159–176

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

  • Sánchez AM, Montoya F (2006) Safe supervisory control under observability failure. Discrete Event Dyn Syst 16(4):493–525

    Article  MathSciNet  MATH  Google Scholar 

  • Shu S, Lin F (2014) Decentralized control of networked discrete event systems with communication delays. Automatica 50(8):2108–2112

    Article  MathSciNet  MATH  Google Scholar 

  • Shu S, Lin F (2015) Supervisor synthesis for networked discrete event systems with communication delays. IEEE Trans Autom Control 60(8):2183–2188

    Article  MathSciNet  MATH  Google Scholar 

  • Takai S (2012) Verification of robust diagnosability for partially observed discrete event systems. Automatica 48(8):1913–1919

    Article  MathSciNet  MATH  Google Scholar 

  • Tripakis S (2004) Decentralized control of discrete-event systems with bounded or unbounded delay communication. IEEE Trans Autom Control 49(9):1489–1501

    Article  MathSciNet  MATH  Google Scholar 

  • Ushio T, Takai S (2016) Nonblocking supervisory control of discrete event systems modeled by mealy automata with nondeterministic output functions. IEEE Trans Autom Control 61(3):799–804

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, Universidade Federal do Rio de Janeiro, 21949-900, Rio de Janeiro, R.J, Brazil

    Carlos E. V. Nunes, Marcos V. Moreira, Marcos V. S. Alves, Lilian K. Carvalho & João Carlos Basilio

Authors
  1. Carlos E. V. Nunes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcos V. Moreira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marcos V. S. Alves
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Lilian K. Carvalho
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. João Carlos Basilio
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to João Carlos Basilio.

Additional information

The work of M. V. Moreira was partially supported by the Brazilian Research Council (CNPq), grants number 309084/2014-8 and 200536/2017-6.

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

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Nunes, C.E.V., Moreira, M.V., Alves, M.V.S. et al. Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discrete Event Dyn Syst 28, 215–246 (2018). https://doi.org/10.1007/s10626-017-0265-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-017-0265-6

Keywords

Search

Navigation