Supervisory control synthesis in the medical domain

R.J.M. Theunissen, R.R.H. Schiffelers, D.A. Beek, van, J.E. Rooda

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)


By means of Ramadge-Wonham supervisory control theory, supervisorycontrollers (supervisors) can be synthesized instead of designing themmanually. This chapter presents an application of supervisory control to apatient support system for MRI scanners. The design process of the controllerfrom its requirements to its actual implementation on real hardware has beendone according to the synthesis-based engineering paradigm. This paradigmintegrates the model-based engineering and supervisory control paradigms. Thedesign process is supported by a tool framework that is based on theCompositional Interchange Format for hybrid systems (CIF). An experimentconducted in the course of the case-study indicates that this design processimproves the evolvability of the controller significantly.
Original languageEnglish
Title of host publicationViews on Evolvability of Embedded Systems
EditorsP. Laar, van de, T. Punter
Place of PublicationEmbedded systems
ISBN (Print)978-90-481-9848-1
Publication statusPublished - 2010


Dive into the research topics of 'Supervisory control synthesis in the medical domain'. Together they form a unique fingerprint.

Cite this