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 language | English |
|---|---|
| Title of host publication | Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary |
| Place of Publication | Piscataway |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 4647-4652 |
| Number of pages | 6 |
| ISBN (Electronic) | 978-3-9524173-9-3 |
| Publication status | Published - 26 Mar 2014 |
| Event | 10th European Control Conference, ECC 2009 - Budapest, Hungary Duration: 23 Aug 2009 → 26 Aug 2009 Conference number: 10 http://www.conferences.hu/ecc09/ |
Conference
| Conference | 10th European Control Conference, ECC 2009 |
|---|---|
| Abbreviated title | ECC 2009 |
| Country/Territory | Hungary |
| City | Budapest |
| Period | 23/08/09 → 26/08/09 |
| Internet address |