Supervisory control synthesis for a patient support system

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaties (Scopus)

Uittreksel

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.

TaalEngels
TitelProceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's4647-4652
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
http://www.conferences.hu/ecc09/

Congres

Congres10th European Control Conference (ECC 2009)
Verkorte titelECC 2009
LandHongarije
StadBudapest
Periode23/08/0926/08/09
Internet adres

Vingerafdruk

Supervisory personnel
Control theory
Controllers
Interchanges
Hardware
Magnetic Resonance Imaging

Citeer dit

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 (blz. 4647-4652). [7075134] Piscataway: Institute of Electrical and Electronics Engineers.
Theunissen, R.J.M. ; Schiffelers, R.R.H. ; Van Beek, D.A. ; Rooda, J.E./ Supervisory control synthesis for a patient support system. Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary. Piscataway : Institute of Electrical and Electronics Engineers, 2014. blz. 4647-4652
@inproceedings{ba2d4de9857043bc92e875e98c853c6b,
title = "Supervisory control synthesis for a patient support system",
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.",
author = "R.J.M. Theunissen and R.R.H. Schiffelers and {Van Beek}, D.A. and J.E. Rooda",
year = "2014",
month = "3",
day = "26",
language = "English",
pages = "4647--4652",
booktitle = "Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

Theunissen, RJM, Schiffelers, RRH, Van Beek, DA & Rooda, JE 2014, Supervisory control synthesis for a patient support system. in Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary., 7075134, Institute of Electrical and Electronics Engineers, Piscataway, blz. 4647-4652, Budapest, Hongarije, 23/08/09.

Supervisory control synthesis for a patient support system. / Theunissen, R.J.M.; Schiffelers, R.R.H.; Van Beek, D.A.; Rooda, J.E.

Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary. Piscataway : Institute of Electrical and Electronics Engineers, 2014. blz. 4647-4652 7075134.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

TY - GEN

T1 - Supervisory control synthesis for a patient support system

AU - Theunissen,R.J.M.

AU - Schiffelers,R.R.H.

AU - Van Beek,D.A.

AU - Rooda,J.E.

PY - 2014/3/26

Y1 - 2014/3/26

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

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

UR - http://www.scopus.com/inward/record.url?scp=84955210848&partnerID=8YFLogxK

M3 - Conference contribution

SP - 4647

EP - 4652

BT - Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway

ER -

Theunissen RJM, Schiffelers RRH, Van Beek DA, Rooda JE. Supervisory control synthesis for a patient support system. In Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary. Piscataway: Institute of Electrical and Electronics Engineers. 2014. blz. 4647-4652. 7075134.