Skip to main content
SpringerLink
Log in
Book cover

Complex Systems pp 39–58Cite as

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

  • Chapter
  • First Online:

Part of the book series: Studies in Systems, Decision and Control ((SSDC,volume 55))

Abstract

Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms.

This is a preview of subscription content, 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   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Learn about institutional subscriptions

References

  1. Baeten, J., van Beek, D., Cuijpers, P., Reniers, M., Rooda, J., Schiffelers, R., Theunissen, R.: Model-based engineering of embedded systems using the hybrid process algebra Chi. ENTCS 209, 21–53 (2008)

    MathSciNet  MATH  Google Scholar 

  2. Baeten, J., van Beek, D., Luttik, B., Markovski, J., Rooda, J.: A process-theoretic approach to supervisory control theory. In: Proceedings of ACC, pp. 4496–4501. IEEE (2011)

    Google Scholar 

  3. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press (2008)

    Google Scholar 

  4. van Beek, D., Man, K., Reniers, M., Rooda, J., Schiffelers, R.: Syntax and consistent equation semantics of hybrid Chi. JLAP 68(1–2), 129–210 (2006)

    MathSciNet  MATH  Google Scholar 

  5. Bertens, E., Fabel, R., Petreczky, M., van Beek, D., Rooda, J.: Supervisory control synthesis for exception handling in printers. In: Proceedings of the Philips Conference on Applications of Control Technology (2009)

    Google Scholar 

  6. Braspenning, N., Boumen, R., van de Mortel-Fronczak, J., Rooda, J.: Estimating and quantifying the impact of using models for integration and testing. Comput. Ind. 62(1), 65–77 (2011)

    Article  Google Scholar 

  7. Braspenning, N., van de Mortel-Fronczak, J., Rooda, J.: A model-based integration and testing method to reduce system development effort. ENTCS 164(4), 13–28 (2006)

    Google Scholar 

  8. Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: Modeling and Verification of Parallel Processes, Lecture Notes in Computer Science, vol. 2067, pp. 187–195. Springer (2001)

    Google Scholar 

  9. Cai, K., Wonham, W.: Supervisor localization: a top-down approach to distributed control of discrete-event systems. IEEE Trans. Autom. Control 55(3), 605–618 (2010)

    Article  MathSciNet  Google Scholar 

  10. Estefan, J.: Survey of Model-Based Systems Engineering (MBSE) methodologies. Technical report, INCOSE (2008). http://www.incose.org

  11. Flordal, H., Malik, R., Fabian, M., Akesson, K.: Compositional synthesis of maximally permissive supervisors using supervisor equivalence. Discrete Event Dyn. Syst. 17(4), 475–504 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Forschelen, S., van de Mortel-Fronczak, J., Su, R., Rooda, J.: Application of supervisory control theory to theme park vehicles. Discrete Event Dyn. Syst. 22(4), 511–540 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Hill, R., Tilbury, D., Lafortune, S.: Modular supervisory control with equivalence-based conflict resolution. In: Proceedings of ACC, pp. 491–498 (2008)

    Google Scholar 

  14. Leduc, R., Lawford, M., Wonham, W.: Hierarchical interface-based supervisory control-part II: parallel case. IEEE Trans. Autom. Control 50(9), 1336–1348 (2005)

    Article  MathSciNet  Google Scholar 

  15. Liu, J., Darabi, H.: Ramadge-Wonham supervisory control of mobile robots: lessons from practice. Proc. ICRA 1, 670–675 (2002)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  17. Malik, R., Flordal, H.: Yet another approach to compositional synthesis of discrete event systems. In: Proceedings of WODES, pp. 16–21 (2008)

    Google Scholar 

  18. Markovski, J., Jacobs, K., van Beek, D., Somers, L., Rooda, J.: Coordination of resources using generalized state-based requirements. In: Proceedings of WODES, pp. 297–302 (2010)

    Google Scholar 

  19. Martin, J.: Systems Engineering Guidebook. CRC Press (1996)

    Google Scholar 

  20. Muller, G.: Coupling enterprise and technology by a compact and specific architecture overview. In: Proceedings of INCOSE (2007)

    Google Scholar 

  21. Nadales Agut, D.E., van Beek, D.A., Rooda, J.E.: Syntax and semantics of the compositional interchange format for hybrid systems. JLAP 82(1), 1–52 (2012)

    Google Scholar 

  22. Noorbakhsh, M., Afzalian, A.: Design and PLC based implementation of supervisory control for under-load tap-changing transformers. In: Proceedings of ICCAS, pp. 901–906 (2007)

    Google Scholar 

  23. Nourelfath, M., Niel, E.: Modular supervisory control of an experimental automated manufacturing system. Control Eng. Pract. 12(2), 205–216 (2004)

    Article  Google Scholar 

  24. van Osch, M.: Automated model-based testing of hybrid systems. Ph.D. thesis, Eindhoven University of Technology, The Netherlands (2009)

    Google Scholar 

  25. de Queiroz, M., Cury, J.: Modular supervisory control of composed systems. In: Proceedings of ACC, pp. 4051–4055 (2000)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  27. Rechtin, E., Maier, M.: The Art of Systems Architecting. CRC Press (1997)

    Google Scholar 

  28. Schiffelers, R., Theunissen, R., van Beek, D., Rooda, J.: Model-based engineering of supervisory controller using CIF. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling. Electronic Communication of the EASST, vol. 21, pp. 1–10 (2009)

    Google Scholar 

  29. Su, R., van Schuppen, J., Rooda, J.: Synthesize nonblocking distributed supervisors with coordinators. In: Proceedings of the 17th Mediterranean Conference on Control and Automation, pp. 1108–1113 (2009)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  31. Su, R., van Schuppen, J., Rooda, J.: The synthesis of time optimal supervisors by using heaps-of-pieces. IEEE Trans. Autom. Control 57(1), 105–118 (2012)

    Article  MathSciNet  Google Scholar 

  32. Su, R., Thistle, J.: A distributed supervisor synthesis approach based on weak bisimulation. In: Proceedings of WODES, pp. 64–69 (2006)

    Google Scholar 

  33. Systems Engineering Group TU/e: CIF toolset. http://cif.se.wtb.tue.nl (2013)

  34. Theunissen, R., Schiffelers, R., van Beek, D., Rooda, J.: Supervisory control synthesis for a patient support system. In: Proceedings of ECC, pp. 4647–4652 (2009)

    Google Scholar 

  35. Wong, K., Wonham, W.: Hierarchical control of discrete-event systems. Discrete Event Dyn. Syst.: Theory Appl. 6(3), 241–273 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  36. Wonham, W.: Supervisory control of discrete-event systems. Technical report, University of Toronto (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

    Jos C. M. Baeten

  2. Eindhoven University of Technology, Eindhoven, The Netherlands

    Jos C. M. Baeten, Joanna M. van de Mortel-Fronczak & Jacobus E. Rooda

Authors
  1. Jos C. M. Baeten
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joanna M. van de Mortel-Fronczak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jacobus E. Rooda
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Joanna M. van de Mortel-Fronczak .

Editor information

Editors and Affiliations

  1. School of Electrical Engineering an, St. Cyril and St. Methodius Univers, Skopje, Macedonia

    Georgi M. Dimirovski

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Baeten, J.C.M., van de Mortel-Fronczak, J.M., Rooda, J.E. (2016). Integration of Supervisory Control Synthesis in Model-Based Systems Engineering. In: Dimirovski, G. (eds) Complex Systems. Studies in Systems, Decision and Control, vol 55. Springer, Cham. https://doi.org/10.1007/978-3-319-28860-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-28860-4_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-28858-1

  • Online ISBN: 978-3-319-28860-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation