Skip to main content
SpringerLink
Log in

Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays

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

Abstract

Nonblocking is an important issue in supervisory control of discrete event systems. In this paper, we investigate nonblocking control for networked discrete event systems. In networked discrete event systems, there are two types of supervisory controls: nondeterministic control and deterministic control. Following the deterministic control, we investigate the nonblocking control problem in a decentralized control framework where communication among the plant and the local supervisors are subject to nondeterministic but bounded delays. We introduce delay co-observability to capture the nondeterminism caused by observation delays. With delay co-observability, we derive a necessary and sufficient condition for the existence of solutions of the nonblocking control problem. When the condition is satisfied, we propose to use state-estimate-based predictive local networked supervisors to control the plant. To illustrate the applications of the results, we consider a black start problem in micro grids.

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

Similar content being viewed by others

References

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

    Article  Google Scholar 

  • Cai K, Zhang R, Wonham WM (2015) Relative observability of discrete-event systems and its supremal sublanguages. IEEE Trans Autom Control 60(3):659–670

    Article  MathSciNet  Google Scholar 

  • Cassandras CG, Lafortune S (2009) Introduction to discrete event systems. Springer Science & Business Media

  • Fountas NA, Hatziargyriou N, Orfanogiannis C, Tasoulis A (1997) Interactive long-term simulation for power system restoration planning. IEEE Transactions on Power Systems 12(1):61–68

    Article  Google Scholar 

  • Katiraei F, Iravani MR (2006) Power management strategies for a microgrid with multiple distributed generation units. IEEE Transactions on Power Systems 21(4):1821–1831

    Article  Google Scholar 

  • Lasseter RH, Paigi P (2004) . Microgrid:, a conceptual solution 6:4285–4290

    Google Scholar 

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

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

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

    Article  MathSciNet  Google Scholar 

  • Lunze J (2014) Control theory of digitally networked dynamic systems. Springer

  • Ma C, Wonham WM (2006) Nonblocking supervisory control of state tree structures. IEEE Trans Autom Control 51(5):782–793

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  • Park S, Cho K (2007b) Supervisory control of discrete event systems with communication delays and partial observations. Systems & Control Letters 56(2):106–112

    Article  MathSciNet  Google Scholar 

  • Qiu W, Kumar R (2008) Distributed diagnosis under bounded-delay communication of immediately forwarded local observations. Systems Man and Cybernetics 38(3):628–643

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  • Rashidinejad A, Reniers MAM, Feng L (2018) Supervisory control of timed discrete-event systems subject to communication delays and non-fifo observations. IFAC-PapersOnLine 51(7):456–463

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

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

  • Shu S, Lin F (2017a) Deterministic networked control of discrete event systems with nondeterministic communication delays. IEEE Trans Autom Control 62(1):190–205

    Article  MathSciNet  Google Scholar 

  • Shu S, Lin F (2017b) Predictive networked control of discrete event systems. IEEE Trans Autom Control 62(9):4698–4705

    Article  MathSciNet  Google Scholar 

  • Takai S, Kumar R (2012) Distributed failure prognosis of discrete event systems with bounded-delay communications. IEEE Trans Autom Control 57 (5):1259–1265

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

  • Wonham W, Cai K, Rudie K (2017) Supervisory control of discrete-event systems: a brief history–1980-2015. IFAC-PapersOnLine 50(1):1791–1797

    Article  Google Scholar 

  • Yeddes M, Alla H, David R (1999) On the supervisory synthesis for distributed control of discrete event dynamic systems with communication delays. In: Proceedings of the 1999 IEEE international symposium on intelligent control intelligent systems and semiotics (Cat. No. 99CH37014), IEEE, pp 1–6

  • Yin X (2017) Supervisor synthesis for mealy automata with output functions: a model transformation approach. IEEE Trans Autom Control 62(5):2576–2581

    Article  MathSciNet  Google Scholar 

  • Yin X, Lafortune S (2016a) Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61(5):1239–1254

    Article  MathSciNet  Google Scholar 

  • Yin X, Lafortune S (2016b) A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61(8):2140–2154

    Article  MathSciNet  Google Scholar 

  • Zhong H, Wonham WM (1990) On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans Autom Control 35(10):1125–1134

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgments

We would like to thank the anonymous reviewers for their excellent comments and suggestions that significantly improve the paper.

Author information

Authors and Affiliations

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

    Pan Xu, Shaolong Shu & Feng Lin

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

    Feng Lin

Authors
  1. Pan Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shaolong Shu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Feng Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pan Xu.

Additional information

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This paper is supported by the Fundamental Research Funds for the Central Universities, the National Science Foundation of China under Grants 61673297, 61773287 and by the National Science Foundation of USA under Grant 1507096.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xu, P., Shu, S. & Lin, F. Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays. Discrete Event Dyn Syst 31, 295–315 (2021). https://doi.org/10.1007/s10626-020-00328-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-020-00328-8

Keywords

Search

Navigation