Supervisory control synthesis for a patient support system

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

    Research output: Book/ReportReportAcademic

    151 Downloads (Pure)


    The increasing complexity of systems and the increasing market pressure necessitate the need for methods to maximize reuse and to minimize the effort to develop new systems. Modelbased engineering is one of these methods. It uses models and model-based techniques in the development process to analyze and synthesize systems and components. In this report, Supervisory Control Synthesis 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 minimal 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 system.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages25
    Publication statusPublished - 2008

    Publication series

    NameSE report
    ISSN (Print)1872-1567


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

    Cite this