Abstract
By means of Ramadge–Wonham supervisory control theory, supervisory controllers (supervisors) can be synthesized instead of designing them manually. This chapter presents an application of supervisory control to a patient support system for MRI scanners. The design process of the controller from its requirements to its actual implementation on real hardware has been done according to the synthesis-based engineering paradigm. This paradigm integrates the model-based engineering and supervisory control paradigms. The design process is supported by a tool framework that is based on the Compositional Interchange Format for hybrid systems (CIF). An experiment conducted in the course of the case-study indicates that this design process improves the evolvability of the controller significantly.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
van Beek DA, Reniers MA, Schiffelers RRH, Rooda JE (2007) Foundations of an interchange format for hybrid systems. In: Bemporad A, Bicchi A, Butazzo G (eds) Hybrid systems: computation and control, 10th international workshop, Springer-Verlag, Pisa. Lecture Notes in computer science, vol 4416, pp 587–600
van Beek DA, Reniers MA, Rooda JE, Schiffelers RRH (2008) Concrete syntax and semantics of the compositional interchange format for hybrid systems. In: 17th Triennial world congress of the international federation of automatic control, Seoul, Korea, pp 7979–7986
Bishop RH (2008) Mechatronic systems, sensors, and actuators, 2nd edn. CRC Press, Boca Raton, FL
Braspenning NCWM (2008) Model-based integration and testing of high-tech multi-disciplinary systems. PhD Thesis, Eindhoven University of Technology
Cassandras CG, Lafortune S (2007) Introduction to discrete event systems, 2nd edn. Springer, New York
Ogren I (2000) On the principles for model-based systems engineering. Syst Eng 3(1):38–49
Schiffelers RRH, Theunissen RJM, Beek DAv, Rooda JE (2010) Model-based engineering of supervisory controllers using CIF. Electron Commun EASST 21:1–10
Su R, van Schuppen J, Rooda J (2009) Aggregative synthesis of distributed supervisors based on automaton abstraction. Automatic Control, IEEE Transactions on p accepted, it also appears in SE Technical Report No. 2009-1, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven University of Techonology, Eindhoven, The Netherlands, 2009
Theunissen RJM, Schiffelers RRH, van Beek DA, Rooda JE (2009) Supervisory control synthesis for a patient support system. In: Proceedings of the European control conference, Budapest, Hungary, pp 4647–4652
Theunissen RJM, Petreczky M, Schiffelers RRH, van Beek DA, Rooda JE (2010) Application of supervisory control synthesis to MRI scanners: improving evolvability. SE Report No. 2010-06, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands, 2010. http://se.wtb.tue.nl/sereports
Wonham W (2007) Supervisory control of discrete-event systems. Deptartment of Electrical and Computer Engineering, University of Toronto, Toronto, ON, Canada. http://www.control.toronto.edu/DES/
Acknowledgements
The authors thank Albert Hofkamp and Dennis Hendriks for their contribution to the development of the software tools; Rong Su for his help with the theoretical aspects of supervisory control theory; the Philips employees for their input, in particular John van der Koijk; and all reviewers for their helpful feedback on the drafts of this chapter.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Theunissen, R.J.M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.E. (2010). Supervisory Control Synthesis in the Medical Domain. In: Van de Laar, P., Punter, T. (eds) Views on Evolvability of Embedded Systems. Embedded Systems. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9849-8_11
Download citation
DOI: https://doi.org/10.1007/978-90-481-9849-8_11
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9848-1
Online ISBN: 978-90-481-9849-8
eBook Packages: EngineeringEngineering (R0)