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)

Abstract

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
PublisherSpringer
Pages171-191
ISBN (Print)978-90-481-9848-1
DOIs
Publication statusPublished - 2010

Fingerprint

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

Cite this