Supervisory control synthesis for a patient support system

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)


Supervisory control theory (SCT) provides a formal approach to supervisory controller synthesis. In this paper, SCT is used to design a supervisory controller for a patient support system. This system is used to position a patient in a Magnetic Resonance Imaging (MRI) scanner. To improve the evolvability of the design, the uncontrolled system and the control requirements are modeled independently, using small, loosely coupled and minimally restrictive automata. An implementation of the synthesized supervisor is realized by means of a transformation to an automaton in the Compositional Interchange Format (CIF). The supervisor is validated by means of hardware-in-the-loop simulation, using the real patient support table.

Original languageEnglish
Title of host publicationProceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Number of pages6
ISBN (Electronic)978-3-9524173-9-3
Publication statusPublished - 26 Mar 2014
Event10th European Control Conference, ECC 2009 - Budapest, Hungary
Duration: 23 Aug 200926 Aug 2009
Conference number: 10


Conference10th European Control Conference, ECC 2009
Abbreviated titleECC 2009
Internet address


Dive into the research topics of 'Supervisory control synthesis for a patient support system'. Together they form a unique fingerprint.

Cite this