Supervisory control synthesis for a patient support system

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

Supervisory control synthesis for a patient support system

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

Software Engineering and Technology

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

6 Citaten (Scopus)

Samenvatting

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-2	Engels
Titel	Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary
Plaats van productie	Piscataway
Uitgeverij	Institute of Electrical and Electronics Engineers
Pagina's	4647-4652
Aantal pagina's	6
ISBN van elektronische versie	978-3-9524173-9-3
Status	Gepubliceerd - 26 mrt. 2014
Evenement	10th European Control Conference, ECC 2009 - Budapest, Hongarije Duur: 23 aug. 2009 → 26 aug. 2009 Congresnummer: 10 http://www.conferences.hu/ecc09/

Congres

Congres	10th European Control Conference, ECC 2009
Verkorte titel	ECC 2009
Land/Regio	Hongarije
Stad	Budapest
Periode	23/08/09 → 26/08/09
Internet adres	http://www.conferences.hu/ecc09/

Andere bestanden en links

Link to publication in Scopus

Citeer dit

@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 = mar,

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",

note = "10th European Control Conference, ECC 2009, ECC 2009 ; Conference date: 23-08-2009 Through 26-08-2009",

url = "http://www.conferences.hu/ecc09/",

}

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, 10th European Control Conference, ECC 2009, 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. et al.
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/Congresprocedure › Conferentiebijdrage › Academic › peer 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.

N1 - Conference code: 10

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

AN - SCOPUS:84955210848

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

T2 - 10th European Control Conference, ECC 2009

Y2 - 23 August 2009 through 26 August 2009

ER -

Supervisory control synthesis for a patient support system

Samenvatting

Congres

Andere bestanden en links

Vingerafdruk

Citeer dit