Supervisory control synthesis for a patient support system

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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.

Originele taal-2Engels
TitelProceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Aantal pagina's6
ISBN van elektronische versie978-3-9524173-9-3
StatusGepubliceerd - 26 mrt 2014
Evenement10th European Control Conference (ECC 2009) - Budapest, Hongarije
Duur: 23 aug 200926 aug 2009
Congresnummer: 10


Congres10th European Control Conference (ECC 2009)
Verkorte titelECC 2009
Internet adres


Duik in de onderzoeksthema's van 'Supervisory control synthesis for a patient support system'. Samen vormen ze een unieke vingerafdruk.

Citeer dit