Modeling Guidelines for Component-Based Supervisory Control Synthesis

  • Martijn Goorden
  • Joanna van de Mortel-Fronczak
  • Michel Reniers
  • Wan FokkinkEmail author
  • Jacobus Rooda
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12018)


Supervisory control theory provides means to synthesize supervisors from a model of the uncontrolled plant and a model of the control requirements. Currently, control engineers lack experience with using automata for this purpose, which results in low adaptation of supervisory control theory in practice. This paper presents three modeling guidelines based on experience of modeling and synthesizing supervisors of large-scale infrastructural systems. Both guidelines see the model of the plant as a collection of component models. The first guideline expresses that independent components should be modeled as asynchronous models. The second guideline expresses that physical relationships between component models can be easily expressed with extended finite automata. The third guideline expresses that the input-output perspective of the control hardware should be used as the abstraction level. The importance of the guidelines is demonstrated with examples from industrial cases.


Supervisory control synthesis Automata Modeling 



The authors thank Maria Angenent, Bert van der Vegt, and Han Vogel from Rijkswaterstaat for their feedback on the results.


  1. 1.
    Balemi, S.: Control of discrete event systems: theory and application. Ph.D. thesis, Swiss Federal Institue of Technology Zurich, Zurich (1992)Google Scholar
  2. 2.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Boston (2008). Scholar
  3. 3.
    Fabian, M., Hellgren, A.: PLC-based implementation of supervisory control for discrete event systems. In: 37th IEEE Conference on Decision and Control, vol. 3, pp. 3305–3310 (1998).
  4. 4.
    Fabian, M., Fei, Z., Miremadi, S., Lennartson, B., Åkesson, K.: Supervisory control of manufacturing systems using extended finite automata. In: Campos, J., Seatzo, C., Xie, X. (eds.) Formal Methods in Manufacturing, pp. 295–314. Taylor & Francis Inc., Industrial Information Technology (2014)Google Scholar
  5. 5.
    Feng, L., Wonham, W.M.: Nonblocking coordination of discrete-event systems by control-flow nets. In: 46th IEEE Conference on Decision and Control, pp. 3375–3380.
  6. 6.
    Flordal, H., Malik, R.: Compositional verification in supervisory control. SIAM J. Control Optim. 48(3), 1914–1938.
  7. 7.
    Göbe, F., Ney, O., Kowalewski, S.: Reusability and modularity of safety specifications for supervisory control. In: 21st IEEE International Conference on Emerging Technologies and Factory Automation, pp. 1–8 (2016).
  8. 8.
    Gonzalez, A.G.C., Alves, M.V.S., Viana, G.S., Carvalho, L.K., Basilio, J.C.: Supervisory control-based navigation architecture: a new framework for autonomous robots in Industry 4.0 environments. IEEE Trans. Ind. Inform. 14(4), 1732–1743 (2018). Scholar
  9. 9.
    Goorden, M.A., Fabian, M.: No synthesis needed, we are alright already. In: 15th IEEE International Conference on Automation Science and Engineering, pp. 195–202.
  10. 10.
    Goorden, M.A., van de Mortel-Fronczak, J.M., Etman, L.F.P., Rooda, J.E.: DSM-based analysis for the recognition of modeling errors in supervisory controller design. In: 21st International Dependency and Structure Modeling Conference, pp. 127–135 (2019).
  11. 11.
    Goorden, M.A., van de Mortel-Fronczak, J.M., Reniers, M.A., Fokkink, W.J., Rooda, J.E.: The impact of requirement splitting on the efficiency of supervisory control synthesis. In: Larsen, K.G., Willemse, T. (eds.) FMICS 2019. LNCS, vol. 11687, pp. 76–92. Springer, Cham (2019). Scholar
  12. 12.
    Goorden, M.A., van de Mortel-Fronczak, J.M., Reniers, M.A., Fokkink, W.J., Rooda, J.E.: Structuring multilevel discrete-event systems with dependency structure matrices. IEEE Trans. Autom. Control (2019). Early accessCrossRefGoogle Scholar
  13. 13.
    Gössler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comput. Program. 55(1), 161–183.
  14. 14.
    Grigorov, L., Butler, B.E., Cury, J.E.R., Rudie, K.: Conceptual design of discrete-event systems using templates. Discrete Event Dyn. Syst. 21(2), 257–303 (2011). Scholar
  15. 15.
    Komenda, J., Masopust, T., van Schuppen, J.H.: Control of an engineering-structured multilevel discrete-event system. In: 13th International Workshop on Discrete Event Systems, pp. 103–108 (2016)Google Scholar
  16. 16.
    Ma, C., Wonham, W.: Nonblocking Supervisory Control of State Tree Structures. Lecture Notes in Control and Information Sciences, vol. 317. Springer, Heidelberg (2005). Scholar
  17. 17.
    Markovski, J., Jacobs, K.G.M., van Beek, D.A., Somers, L.J., Rooda, J.E.: Coordination of resources using generalized state-based requirements. In: 10th International Workshop on Discrete Event Systems, pp. 300–305 (2010)Google Scholar
  18. 18.
    Mohajerani, S., Malik, R., Fabian, M.: A framework for compositional nonblocking verification of extended finite-state machines. Discrete Event Dyn. Syst. 26(1), 33–84 (2016). Scholar
  19. 19.
    Moormann, L., Maessen, P., Goorden, M.A., van de Mortel-Fronczak, J.M., Rooda, J.E.: Design of a tunnel supervisory controller using synthesis-based engineering (2020). Accepted for ITA-AITES World Tunnel CongressGoogle Scholar
  20. 20.
    Ouedraogo, L., Kumar, R., Malik, R., Åkesson, K.: Nonblocking and safe control of discrete-event systems modeled as extended finite automata. IEEE Trans. Autom. Sci. Eng. 8(3), 560–569 (2011). Scholar
  21. 21.
    Pena, P.N., Cury, J.E.R., Lafortune, S.: Verification of nonconflict of supervisors using abstractions. IEEE Trans. Autom. Control 54(12), 2803–2815.
  22. 22.
    de Queiroz, M.H., Cury, J.E.R.: Modular supervisory control of large scale discrete event systems. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems. SECS, vol. 569, pp. 103–110. Springer, Boston (2000). Scholar
  23. 23.
    Ramadge, P.J.G., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206–230 (1987)MathSciNetCrossRefGoogle Scholar
  24. 24.
    Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81–98 (1989)CrossRefGoogle Scholar
  25. 25.
    Ramos, A.L., Ferreira, J.V., Barceló, J.: Model-based systems engineering: an emerging approach for modern systems. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 42(1), 101–111 (2012).
  26. 26.
    Reijnen, F.F.H., Erens, T.R., van de Mortel-Fronczak, J.M., Rooda, J.E.: Supervisory control synthesis for safety PLCs (2020). Submitted to International Workshop on Discrete Event SystemsGoogle Scholar
  27. 27.
    Reijnen, F.F.H., Goorden, M.A., van de Mortel-Fronczak, J.M., Reniers, M.A., Rooda, J.E.: Application of dependency structure matrices and multilevel synthesis to a production line. In: 2nd IEEE Conference on Control Technology and Applications, pp. 458–464 (2018).
  28. 28.
    Reijnen, F.F.H., Goorden, M.A., van de Mortel-Fronczak, J.M., Rooda, J.E.: Supervisory control synthesis for a waterway lock. In: 1st IEEE Conference on Control Technology and Applications, pp. 1562–1568 (2017).
  29. 29.
    Reijnen, F.F.H., Goorden, M.A., van de Mortel-Fronczak, J.M., Rooda, J.E.: Supervisory control synthesis for a lock-bridge combination (2019). Submitted to Discrete Event Dynamic SystemsGoogle Scholar
  30. 30.
    van der Sanden, L.J.: Performance analysis and optimization of supervisory controllers. Ph.D. thesis, Eindhoven University of Technology (2018)Google Scholar
  31. 31.
    van der Sanden, L.J., et al.: Modular model-based supervisory controller design for wafer logistics in lithography machines. In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (2015)Google Scholar
  32. 32.
    Skoldstam, M., Åkesson, K., Fabian, M.: Modeling of discrete event systems using finite automata with variables. In: 46th IEEE Conference on Decision and Control, pp. 3387–3392 (2007).
  33. 33.
    Su, R., van Schuppen, J.H., Rooda, J.E.: Synthesize nonblocking distributed supervisors with coordinators. In: 17th Mediterranean Conference on Control and Automation, pp. 1108–1113 (2009).
  34. 34.
    Swartjes, L., van Beek, D.A., Fokkink, W.J., van Eekelen, J.A.W.M.: Model-based design of supervisory controllers for baggage handling systems. Simul. Model. Pract. Theory 78, 28–50 (2017). Scholar
  35. 35.
    Swartjes, L.: Model-based design of baggage handling systems. Ph.D. thesis, Eindhoven University of Technology (2018)Google Scholar
  36. 36.
    Theunissen, R.J.M., Petreczky, M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.E.: Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner. IEEE Trans. Autom. Sci. Eng. 11(1), 20–32 (2013)CrossRefGoogle Scholar
  37. 37.
    Wonham, W.M., Ramadge, P.J.G.: Modular supervisory control of discrete-event systems. Math. Control Signals Syst. 1(1), 13–30 (1988)MathSciNetCrossRefGoogle Scholar
  38. 38.
    Wonham, W.M., Cai, K.: Supervisory Control of Discrete-Event Systems, 1st edn. Springer, Heidelberg (2019). Scholar
  39. 39.
    Zaytoon, J., Carre-Meneatrier, V.: Synthesis of control implementation for discrete manufacturing systems. Int. J. Prod. Res. 39(2), 329–345 (2001). Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Martijn Goorden
    • 1
  • Joanna van de Mortel-Fronczak
    • 1
  • Michel Reniers
    • 1
  • Wan Fokkink
    • 1
    • 2
    Email author
  • Jacobus Rooda
    • 1
  1. 1.Eindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Vrije UniversiteitAmsterdamThe Netherlands

Personalised recommendations