Skip to main content
SpringerLink
Log in

Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations

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

Abstract

This paper proposes algorithms for supervisor synthesis in discrete event system models with distinguishers. Distinguishers are special components responsible to select an enabled event from a group of related refined events. They are a helpful modelling tool, but their use increases the state space and makes supervisor synthesis more difficult. The paper shows how general algorithms for modular or compositional synthesis can be enhanced by considering the special properties of distinguishers. This gives rise to systematic algorithms that compute least restrictive controllable and nonblocking supervisors, while working with only a part of the distinguisher model. A worked case study of a bottling plant demonstrates the efficacy of the approach.

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

Similar content being viewed by others

Notes

  1. Recall that a DES \(G^{\prime }\) disables an event μ if there exists \(s \in {{\mathscr{L}}}(G^{\prime })\) such that \(s{\mu } \notin {{\mathscr{L}}}(G^{\prime })\).

References

  • Åkesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. IFAC Proceedings 35(1):175–180

    Google Scholar 

  • Aguiar RSS, Cunha AEC, Cury JER, Queiroz MH (2013) Heuristic search of supervisors by approximated distinguishers. In 3rd IFAC Workshop on Dependable Control of Discrete Systems. DCDS 2013, pp 121–126

  • Brandin BA, Malik R, Malik P (2004) Incremental verification and synthesis of discrete-event systems guided by counter-examples. IEEE Trans Control Syst Technol 12(3):387–401

    Article  Google Scholar 

  • Cassandras CG, Lafortune S (2008) Introduction to Discrete Event Systems. Springer Science & Business Media, New York, NY, USA, 2nd edition

  • Chen Y, Lin F (2000) Modeling of discrete event systems using finite state machines with parameters. In 2000 IEEE Int. Conf. Control Applications (CCA), pp 941–946

  • Cury JER, de Queiroz MH, Bouzon G, Teixeira M (2015) Supervisory control of discrete event systems with distinguishers. Automatica 56:93–104

    Article  MathSciNet  Google Scholar 

  • Dams D, Gerth R, Grumberg O (1997) Abstract interpretation of reactive systems. ACM Trans Programming Languages and Systems 19(2):111–149

    Article  Google Scholar 

  • de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In R. Boel and G. Stremersch (eds.), Discrete Event Systems: Analysis and Control, SECS 569, 103–118. Kluwer

  • Feng L, Wonham WM (2008) Supervisory control architecture for discrete-event systems. IEEE Trans Autom Control 53(6):1449–1461

    Article  MathSciNet  Google Scholar 

  • Goorden MA, Fabian M, Van de Mortel-Fronczak JM, Reniers MA, Fokkink WJ, Rooda JE (2021) Compositional coordinator synthesis of extended finite automata. Discrete Event Dyn Syst 1(1):1–32

    MathSciNet  Google Scholar 

  • Hoare CAR (1985) Communicating Sequential Processes. Prentice-Hall

  • Leduc RJ, Brandin BA, Lawford M, Wonham WM (2005) Hierarchical interface-based supervisory control—part I: Serial case. IEEE Trans Autom Control 50(9):1322–1335

    Article  Google Scholar 

  • Liu Y, Cai K, Li Z (2019) On scalable supervisory control of multi-agent discrete-event systems. Automatica 108:108460

    Article  MathSciNet  Google Scholar 

  • Malik R, Fabian M, Åkesson K (2011) Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata. In: 18th IFAC World Congress, pp 7000–7005

  • Malik R, Teixeira M (2020a) Modular synthesis of least restrictive controllable and nonblocking supervisors with distinguishers. In 15th Int. Workshop on Discrete Event Systems, WODES ’20, 205–210. IFAC

  • Malik R, Teixeira M (2020b) Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discrete Event Dyn Syst 30(2), 211–241

  • Mohajerani S, Malik R, Fabian M (2014) A framework for compositional synthesis of modular nonblocking supervisors. IEEE Trans Autom Control 59(1):150–162

    Article  MathSciNet  Google Scholar 

  • Mohajerani S, Malik R, Fabian M (2016) A framework for compositional nonblocking verification of extended finite-state machines. Discrete Event Dyn Syst 26(1):33–84

    Article  MathSciNet  Google Scholar 

  • Moor T, Baier C, Yoo TS, Lin F, Lafortune S (2012) On the computation of supremal sublanguages relevant to supervisory control. In 11th Int. Workshop on Discrete Event Systems, WODES ’12, 175–180. IFAC

  • Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98

    Article  Google Scholar 

  • Reijnen FFH, Goorden MA, Van de Mortel-Fronczak JM, Rooda JE (2020) Modeling for supervisor synthesis — a lock-bridge combination case study. Discrete Event Dyn Syst 30(2):499–532

    Article  MathSciNet  Google Scholar 

  • Rosa M, Teixeira M, Malik R (2018) Exploiting approximations in supervisory control with distinguishers. IFAC PapersOnLine 51(7):13–18

    Article  Google Scholar 

  • Schmidt K, Breindl C (2011) Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Trans Autom Control 56 (4):723–737

    Article  MathSciNet  Google Scholar 

  • Schmidt K, Moor T, Perk S (2008) Nonblocking hierarchical control of decentralized discrete event systems. IEEE Trans Autom Control 53 (10):2252–2265

    Article  MathSciNet  Google Scholar 

  • Schmidt KW (2017) Reconfigurability of behavioural specifications for manufacturing systems. Int J Control 90(12):2605–2617

    Article  MathSciNet  Google Scholar 

  • Sköldstam M, Åkesson K, Fabian M (2007) Modeling of discrete event systems using finite automata with variables. In 46th IEEE Conf Decision and Control, CDC ’07, pp 3387–3392

  • Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discrete Event Dyn Syst 14(1):31–53

    Article  MathSciNet  Google Scholar 

  • Su R, van Schuppen JH, Rooda JE (2010) Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Trans Autom Control 55(7):1267–1640

    MathSciNet  MATH  Google Scholar 

  • Tarski A (1955) A lattice-theoretical fixpoint theorem and its applications. Pacific J Math 5(2):285–309

    Article  MathSciNet  Google Scholar 

  • Teixeira M, Cury JER, de Queiroz MH (2018) Exploiting distinguishers in local modular control of discrete-event systems. IEEE Trans Autom Sci Eng 15 (3):1431–1437

    Article  Google Scholar 

  • Ware S, Malik R (2014) Progressive events in supervisory control and compositional verification. Control Theory Tech 12(3):217–229

    Article  MathSciNet  Google Scholar 

  • Wong KC, Wonham WM (1996) Hierarchical control of discrete-event systems. Discrete Event Dyn Syst 6(3):241–273

    Article  Google Scholar 

  • Wonham WM, Ramadge PJ (1988) Modular supervisory control of discrete event systems. Math Control, Signals and Systems 1(1):13–30

    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

Author information

Authors and Affiliations

  1. University of Waikato, Hamilton, New Zealand

    Robi Malik

  2. Federal University of Technology Paraná, Pato Branco, Brazil

    Marcelo Teixeira

Authors
  1. Robi Malik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcelo Teixeira
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robi Malik.

Additional information

Publisher’s note

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

This article belongs to the Topical Collection: Topical Collection on Control 2022

Guest Editors: Joerg Raisch, Carla Seatzu and Shigemasa Takai

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Malik, R., Teixeira, M. Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations. Discrete Event Dyn Syst 31, 659–691 (2021). https://doi.org/10.1007/s10626-021-00345-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-021-00345-1

Keywords

Search

Navigation