Supervisory control synthesis in the medical domain

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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.
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
StatePublished - 2010

Fingerprint

Interchanges
Hybrid systems
Control theory
Magnetic resonance imaging
Hardware
Controllers

Cite this

Theunissen, R. J. M., Schiffelers, R. R. H., Beek, van, D. A., & Rooda, J. E. (2010). Supervisory control synthesis in the medical domain. In P. Laar, van de, & T. Punter (Eds.), Views on Evolvability of Embedded Systems (pp. 171-191). Embedded systems: Springer. DOI: 10.1007/978-90-481-9849-8_11
Theunissen, R.J.M. ; Schiffelers, R.R.H. ; Beek, van, D.A. ; Rooda, J.E./ Supervisory control synthesis in the medical domain. Views on Evolvability of Embedded Systems. editor / P. Laar, van de ; T. Punter. Embedded systems : Springer, 2010. pp. 171-191
@inbook{84ca7b1b5aea443ebed15de1a00800bf,
title = "Supervisory control synthesis in the medical domain",
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.",
author = "R.J.M. Theunissen and R.R.H. Schiffelers and {Beek, van}, D.A. and J.E. Rooda",
year = "2010",
doi = "10.1007/978-90-481-9849-8_11",
language = "English",
isbn = "978-90-481-9848-1",
pages = "171--191",
editor = "{Laar, van de}, P. and T. Punter",
booktitle = "Views on Evolvability of Embedded Systems",
publisher = "Springer",
address = "Germany",

}

Theunissen, RJM, Schiffelers, RRH, Beek, van, DA & Rooda, JE 2010, Supervisory control synthesis in the medical domain. in P Laar, van de & T Punter (eds), Views on Evolvability of Embedded Systems. Springer, Embedded systems, pp. 171-191. DOI: 10.1007/978-90-481-9849-8_11

Supervisory control synthesis in the medical domain. / Theunissen, R.J.M.; Schiffelers, R.R.H.; Beek, van, D.A.; Rooda, J.E.

Views on Evolvability of Embedded Systems. ed. / P. Laar, van de; T. Punter. Embedded systems : Springer, 2010. p. 171-191.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - Supervisory control synthesis in the medical domain

AU - Theunissen,R.J.M.

AU - Schiffelers,R.R.H.

AU - Beek, van,D.A.

AU - Rooda,J.E.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1007/978-90-481-9849-8_11

DO - 10.1007/978-90-481-9849-8_11

M3 - Chapter

SN - 978-90-481-9848-1

SP - 171

EP - 191

BT - Views on Evolvability of Embedded Systems

PB - Springer

CY - Embedded systems

ER -

Theunissen RJM, Schiffelers RRH, Beek, van DA, Rooda JE. Supervisory control synthesis in the medical domain. In Laar, van de P, Punter T, editors, Views on Evolvability of Embedded Systems. Embedded systems: Springer. 2010. p. 171-191. Available from, DOI: 10.1007/978-90-481-9849-8_11