Supervisory control synthesis for a patient support system

Author

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

Author_Institution

Dept. of Mech. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands

fYear

2009

fDate

23-26 Aug. 2009

Firstpage

4647

Lastpage

4652

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.

Keywords

automata theory; biomedical MRI; control system synthesis; medical control systems; optical scanners; CIF; MRI scanner; SCT; compositional interchange format; hardware-in-the-loop simulation; magnetic resonance imaging; minimally restrictive automata; patient support system; patient support table; supervisory control synthesis; supervisory control theory; supervisory controller design; Automata; Computational modeling; Magnetic resonance imaging; Manuals; Supervisory control; Switches;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (ECC), 2009 European

Conference_Location

Budapest

Print_ISBN

978-3-9524173-9-3

Type

conf

Filename

7075134