Supervisory control synthesis for a patient support system

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

4 Citations (Scopus)

Abstract

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
Pages4647-4652
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
http://www.conferences.hu/ecc09/

Conference

Conference10th European Control Conference (ECC 2009)
Abbreviated titleECC 2009
CountryHungary
CityBudapest
Period23/08/0926/08/09
Internet address

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

  • Cite this

    Theunissen, R. J. M., Schiffelers, R. R. H., Van Beek, D. A., & Rooda, J. E. (2014). Supervisory control synthesis for a patient support system. In Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary (pp. 4647-4652). [7075134] Institute of Electrical and Electronics Engineers.