Supervisory control synthesis in the medical domain

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