Skip to main content
SpringerLink
Log in

The Road Ahead for Supervisor Synthesis

  • Conference paper
  • First Online:
Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2020)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12153))

Abstract

This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and maintenance of infrastructure in the Netherlands.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://github.com/magoorden/SETTA2020.

  2. 2.

    https://projects.eclipse.org/projects/technology.escet.

References

  1. van Beek, D.A., et al.: CIF 3: model-based engineering of supervisory controllers. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 575–580. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54862-8_48

    Chapter  Google Scholar 

  2. Wonham, W.M., Cai, K.: Supervisory Control of Discrete-Event Systems. CCE. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-77452-7

    Book  MATH  Google Scholar 

  3. Dietrich, P., Malik, R., Wonham, W., Brandin, B.: Implementation considerations in supervisory control. In: Synthesis and Control of Discrete Event Systems, pp. 185–201. Kluwer (2002)

    Google Scholar 

  4. Fabian, M., Hellgren, A.: PLC-based implementation of supervisory control for discrete event systems. In: 37th Conference on Decision and Control, CDC 1998, vol. 3, pp. 3305–3310. IEEE (1998)

    Google Scholar 

  5. Goorden, M., Dingemans, C., Reniers, M., van de Mortel-Fronczak, J., Fokkink, W., Rooda, J.: Supervisory control of multilevel discrete-event systems with a bus structure. In: 17th European Control Conference, ECC 2019, pp. 3204–3211. IEEE (2019)

    Google Scholar 

  6. Goorden, M., Fabian, M.: No synthesis needed, we are alright already. In: 15th Conference on Automation Science and Engineering, CASE 2019, pp. 195–202. IEEE (2019)

    Google Scholar 

  7. Goorden, M., van de Mortel-Fronczak, J., Etman, L., Rooda, J.: DSM-based analysis for the recognition of modeling errors in supervisory controller design. In: 21st Dependency and Structure Modeling Conference, DSM 2019, pp. 127–135 (2019)

    Google Scholar 

  8. Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W., Rooda, J.: 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). https://doi.org/10.1007/978-3-030-27008-7_5

    Chapter  MATH  Google Scholar 

  9. Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W., Rooda, J.: Modeling guidelines for component-based supervisory control synthesis. In: Arbab, F., Jongmans, S.S. (eds.) FACS 2019. LNCS, vol. 12018. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-40914-2_1

    Chapter  Google Scholar 

  10. Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W., Rooda, J.: Structuring multilevel discrete-event systems with dependency structure matrices. IEEE Trans. Autom. Control 65(4), 1625–1639 (2019)

    Article  Google Scholar 

  11. Goorden, M., Reniers, M., van de Mortel-Fronczak, J., Fokkink, W., Rooda, J.: Compositional coordinator synthesis for discrete event systems (2020). Submitted to Discrete Event Dynamic Systems

    Google Scholar 

  12. Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fabian, M., Fokkink, W., Rooda, J.: Model properties for efficient synthesis of nonblocking modular supervisors. arXiv preprint arXiv:2007.05795 (2020)

  13. Grigorov, L., Butler, B., Cury, J., Rudie, K.: Conceptual design of discrete-event systems using templates. Discret. Event Dyn. Syst. 21(2), 257–303 (2011)

    Article  MathSciNet  Google Scholar 

  14. Lafortune, S., Rudie, K., Tripakis, S.: Thirty years of the Ramadge-Wonham theory of supervisory control: a retrospective and future perspectives. IEEE Contr. Syst. Mag. 38(4), 111–112 (2018)

    Article  Google Scholar 

  15. Malik, P.: From Supervisory Control to Nonblocking Controllers for Discrete Event Systems. Ph.D. thesis, Universität Kaiserslautern (2003)

    Google Scholar 

  16. Malik, R., Åkesson, K., Flordal, H., Fabian, M.: Supremica-an efficient tool for large-scale discrete event systems. IFAC-PapersOnLine 50(1), 5794–5799 (2017). 20th IFAC World Congress

    Article  Google Scholar 

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

    Article  Google Scholar 

  18. Mohajerani, S., Malik, R., Fabian, M.: A framework for compositional nonblocking verification of extended finite-state machines. Discret. Event Dyn. Syst. 26(1), 33–84 (2015). https://doi.org/10.1007/s10626-015-0217-y

    Article  MathSciNet  MATH  Google Scholar 

  19. Moor, T.: A discussion of fault-tolerant supervisory control in terms of formal languages. Ann. Rev. Contr. 41, 159–169 (2016)

    Article  Google Scholar 

  20. Moormann, L., Goorden, M., van de Mortel-Fronczak, J., Fokkink, W., Maessen, P., Rooda, J.: Efficient validation of supervisory controllers using symmetry reduction. In: 15th Workshop on Discrete Event Systems, WODES 2020. IFAC (2020, in press)

    Google Scholar 

  21. Moormann, L., Maessen, P., Goorden, M., van de Mortel-Fronczak, J., Rooda, J.: Design of a tunnel supervisory controller using synthesis-based engineering. In: ITA-AITES World Tunnel Congress, WTC 2020 (2020, in press)

    Google Scholar 

  22. Moormann, L., van de Mortel-Fronczak, J., Fokkink, W., Rooda, J.: Exploiting symmetry in dependency graphs for model reduction in supervisor synthesis. In: 16th Conference on Automation Science and Engineering, CASE 2020, pp. 660–667. IEEE (2020)

    Google Scholar 

  23. 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)

    Article  Google Scholar 

  24. Paoli, A., Sartini, M., Lafortune, S.: Active fault tolerant control of discrete event systems using online diagnostics. Automatica 47(4), 639–649 (2011)

    Article  MathSciNet  Google Scholar 

  25. 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. The Springer International Series in Engineering and Computer Science, vol. 569. Springer, Boston (2000). https://doi.org/10.1007/978-1-4615-4493-7_10

    Chapter  MATH  Google Scholar 

  26. Ramadge, P., Wonham, W.: Supervisory control of a class of discrete event processes. SIAM J. Contr. Optim. 25(1), 206–230 (1987)

    Article  MathSciNet  Google Scholar 

  27. Reijnen, F., Erens, T., van de Mortel-Fronczak, J., Rooda, J.: Supervisory control synthesis for safety PLCs. In: 15th Workshop on Discrete Event Systems, WODES 2020. IFAC (2020, in press)

    Google Scholar 

  28. Reijnen, F., Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Rooda, J.: Application of dependency structure matrices and multilevel synthesis to a production line. In: 2nd Conference on Control Technology and Applications, CCTA 2018, pp. 458–464. IEEE (2018)

    Google Scholar 

  29. Reijnen, F., Goorden, M., van de Mortel-Fronczak, J., Rooda, J.: Supervisory control synthesis for a waterway lock. In: 1st Conference on Control Technology and Applications, CCTA 2017, pp. 1562–1563. IEEE (2017)

    Google Scholar 

  30. Reijnen, F., Goorden, M., van de Mortel-Fronczak, J., Rooda, J.: Modeling for supervisor synthesis - a lock-bridge combination case study. Discret. Event Dyn. Syst. 30(3), 499–532 (2020)

    Article  MathSciNet  Google Scholar 

  31. Reijnen, F., Hofkamp, A., van de Mortel-Fronczak, J., Rooda, J.: Finite response and confluence of state-based supervisory controllers. In: 15th Conference on Automation Science and Engineering, CASE 2019, pp. 509–516. IEEE (2019)

    Google Scholar 

  32. Reijnen, F., Leliveld, E.B., van de Mortel-Fronczak, J., van Dinther, J., Rooda, J., Fokkink, W.: A synthesized fault-tolerant supervisory controller for a rotating bridge (2020, under submission)

    Google Scholar 

  33. Reijnen, F., van de Mortel-Fronczak, J., Reniers, M., Rooda, J.: Design of a supervisor platform for movable bridges. In: 16th Conference on Automation Science and Engineering, CASE 2020, pp. 1298–1304. IEEE (2020)

    Google Scholar 

  34. Reijnen, F., Reniers, M., van de Mortel-Fronczak, J., Rooda, J.: Structured synthesis of fault-tolerant supervisory controllers. IFAC-PapersOnLine 51(24), 894–901 (2018). 10th Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS 2018

    Article  Google Scholar 

  35. Reijnen, F., Verbakel, J., van de Mortel-Fronczak, J., Rooda, J.: Hardware-in-the-loop set-up for supervisory controllers with an application: the Prinses Marijke complex. In: 3rd Conference on Control Technology and Applications, CCTA 2019, pp. 843–850. IEEE (2019)

    Google Scholar 

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

    Google Scholar 

  37. Swartjes, L., van Beek, D., Reniers, M.: Towards the removal of synchronous behavior of events in automata. IFAC Proc. Vol. 47(2), 188–194 (2014). 12th Workshop on Discrete Event Systems, WODES 2014

    Article  Google Scholar 

  38. Swartjes, L., Reniers, M., Fokkink, W.: Deducing causes for the absence of states in supervised systems. In: 6th Conference on Control, Decision and Information Technologies, CoDIT 2019, pp. 144–149. IEEE (2019)

    Google Scholar 

  39. Thuijsman, S., Hendriks, D., Theunissen, R., Reniers, M., Schiffelers, R.: Computational effort of BDD-based supervisor synthesis of extended finite automata. In: 15th Conference on Automation Science and Engineering, CASE 2019, pp. 486–493. IEEE (2019)

    Google Scholar 

  40. Wilschut, T., Etman, L., Rooda, J., Adan, I.: Multilevel flow-based Markov clustering for design structure matrices. J. Mech. Des. 139(12), 121402 (2017)

    Article  Google Scholar 

  41. Wonham, W., Ramadge, P.: Modular supervisory control of discrete-event systems. Math. Contr. Sig. Syst. 1(1), 13–30 (1988)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    M. A. Goorden, L. Moormann, F. F. H. Reijnen, J. J. Verbakel, D. A. van Beek, A. T. Hofkamp, J. M. van de Mortel-Fronczak, M. A. Reniers, W. J. Fokkink, J. E. Rooda & L. F. P. Etman

Authors
  1. M. A. Goorden
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Moormann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. F. H. Reijnen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. J. Verbakel
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. D. A. van Beek
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. A. T. Hofkamp
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. J. M. van de Mortel-Fronczak
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. M. A. Reniers
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. W. J. Fokkink
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. J. E. Rooda
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. L. F. P. Etman
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to W. J. Fokkink .

Editor information

Editors and Affiliations

  1. University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Jun Pang

  2. Chinese Academy of Sciences, Beijing, China

    Lijun Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Goorden, M.A. et al. (2020). The Road Ahead for Supervisor Synthesis. In: Pang, J., Zhang, L. (eds) Dependable Software Engineering. Theories, Tools, and Applications. SETTA 2020. Lecture Notes in Computer Science(), vol 12153. Springer, Cham. https://doi.org/10.1007/978-3-030-62822-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-62822-2_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-62821-5

  • Online ISBN: 978-3-030-62822-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation