Supervisory control synthesis in the medical domain

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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.
Originele taal-2Engels
TitelViews on Evolvability of Embedded Systems
RedacteurenP. Laar, van de, T. Punter
Plaats van productieEmbedded systems
ISBN van geprinte versie978-90-481-9848-1
StatusGepubliceerd - 2010


Duik in de onderzoeksthema's van 'Supervisory control synthesis in the medical domain'. Samen vormen ze een unieke vingerafdruk.

Citeer dit