Skip to main content
SpringerLink
Log in

Detectability of networked discrete event systems

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

Abstract

Detectability of discrete event systems, defined as the ability to determine the current and subsequent states, is very important in diagnosis, control, and many other applications. So far only detectability of non-networked discrete event systems has been defined and investigated. Non-networked discrete event systems assume that all the communications are reliable and instantaneous without any delays or losses. This assumption is often violated in networked systems. In this paper, we study detectability for networked discrete event systems. We investigate the impact of communication delays and losses on detectability. We define two classes of detectabilities: network detectability for determining the state of a networked discrete event systems and network D-detectability for distinguishing certain pairs of states of the systems. Necessary and sufficient conditions for network detectability and network D-detectability are derived. Methods to check network detectability and network D-detectability are also developed. Examples are given to illustrate the results.

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

Similar content being viewed by others

References

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

    Article  MATH  Google Scholar 

  • Carvalho LK, Basilio JC, Moreira MV (2010) Robust diagnosability of discrete event systems subject to intermittent sensor failures. Proc 10th Int Workshop Discret Event Syst 43(12):84–9

    Google Scholar 

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

  • Chung SL, Lafortune S, Lin F (1992) Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans Autom Control 37(12):1921–1935

    Article  MathSciNet  MATH  Google Scholar 

  • Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55(5):1089–1100

    Article  MathSciNet  MATH  Google Scholar 

  • Gupta RA, Chow MY (2010) Networked control system: overview and research trends. IEEE Trans Indus Electron 57(7):2527–2535

    Article  Google Scholar 

  • Hespanha JP, Naghshtabrizi P, Xu Y (2007) A survey of recent results in networked control systems. Proc IEEE 95(1):138–162

    Article  Google Scholar 

  • Heymann M, Lin F (1994) On-line control of partially observed discrete event systems. Discret Event Dyn Syst Theory Appl 4(3):221–236

    Article  MATH  Google Scholar 

  • Jacob R, Lesage JJ, Faure JM (2015) Opacity of discrete event systems: models, validation and quantification. IFAC-PapersOnLine 48(7):174–181

    Article  Google Scholar 

  • Lin F (1993) Robust and adaptive supervisory control of discrete event systems. IEEE Trans Autom Control 38(12):1848–1852

    Article  MathSciNet  MATH  Google Scholar 

  • Lin F (2011) Opacity of discrete event systems and its applications. Automatica 47(3):496–503

    Article  MathSciNet  MATH  Google Scholar 

  • 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 

  • Lin F, Wonham WM (1988a) On observability of discrete-event systems. Inform Sci 44(3):173–198

    Article  MathSciNet  MATH  Google Scholar 

  • Lin F, Wonham WM (1988b) Decentralized supervisory control of discrete-event systems. Inform Sci 44(3):199–224

    Article  MathSciNet  MATH  Google Scholar 

  • Nunes SEV, Moreira MV, Alves MVS, Carvalho LK, Basilio JC (2018) Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discrete Event Dynamic Systems: Theory and Applications, to appear

  • Ozveren CM, Willsky AS (1990) Observability of discrete event dynamic systems. IEEE Trans Autom Control 35(7):797–806

    Article  MathSciNet  MATH  Google Scholar 

  • Park SJ, Cho KH (2007a) Supervisory control of discrete event systems with communication delays and partial observations. Syst Control Lett 56(2):106–112

    Article  MathSciNet  MATH  Google Scholar 

  • Park SJ, Cho KH (2007b) Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structure. Automatica 43(4):738–743

    Article  MathSciNet  MATH  Google Scholar 

  • Ramadge PJ (1986) Observability of discrete event systems. In: 1986 25th IEEE Conference on decision and control, vol 25, pp 1108–1112

  • Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230

    Article  MathSciNet  MATH  Google Scholar 

  • Rudie K, Wonham WM (1992) Think globally, act locally: decentralized supervisory control. IEEE Trans Autom Control 37(11):1692–1708

    Article  MathSciNet  MATH  Google Scholar 

  • Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete event system. IEEE Trans Autom Control 48(6):1965–1970

    Article  MathSciNet  MATH  Google Scholar 

  • Saboori A, Hadjicostis CN (2007) Notions of security and opacity in discrete event systems. In: Proceedings of the 46th IEEE conference on decision and control, pp 5056–5061

  • Saboori A, Hadjicostis CN (2008) Opacity-enforcing supervisory strategies for secure discrete event systems. In: Proceedings of the 47th IEEE conference on decision and control, pp 889–894

  • Saboori A, Hadjicostis CN (2013) Verification of initial-state opacity in security applications of discrete event systems. Inform Sci 246:115–132

    Article  MathSciNet  MATH  Google Scholar 

  • Sadid WH, Ricker L, Hashtrudi-Zad S (2015) Robustness of synchronous communication protocols with delay for decentralized discrete-event control. Discret 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 

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

    Article  MATH  Google Scholar 

  • Shu S, Lin F (2011) Generalized detectability for discrete event systems. Syst Control Lett 60(5):310–317

    Article  MathSciNet  MATH  Google Scholar 

  • Shu S, Lin F, Ying H (2007) Detectability of discrete event systems. IEEE Trans Autom Control 52(12):2356–2359

    Article  MathSciNet  MATH  Google Scholar 

  • Wang W, Lafortune S, Lin F (2008a) On the minimization of communication in networked systems with a central station. Discret Event Dyn Syst Theory Appl 18 (3):415–443

    Article  MathSciNet  MATH  Google Scholar 

  • Wang W, Lafortune S, Lin F (2008b) Minimization of communication of event occurrences in acyclic discrete event systems. IEEE Trans Autom Control 53 (9):2197–2202

    Article  MathSciNet  MATH  Google Scholar 

  • Wang W, Lafortune S, Lin F, Girard AR (2010) Minimization of dynamic sensor activation in discrete event systems for the purpose of control. IEEE Trans Autom Control 55(11):2447–2461

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

The authors of this paper are supported in part by National Science Foundation of USA under Grant 1507096 and the National Natural Science Foundation of China under Grant 61673297.

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering, Wayne State University, Detroit, MI, 48202, USA

    Yazeed Sasi & Feng Lin

  2. School of Electronics and Information Engineering, Tongji University, Shanghai, China

    Feng Lin

Authors
  1. Yazeed Sasi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Feng Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yazeed Sasi.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sasi, Y., Lin, F. Detectability of networked discrete event systems. Discrete Event Dyn Syst 28, 449–470 (2018). https://doi.org/10.1007/s10626-018-0268-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-018-0268-y

Keywords

Search

Navigation