Supervisory control synthesis for a patient support system

    Onderzoeksoutput: Boek/rapportRapportAcademic

    89 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.
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's25
    StatusGepubliceerd - 2008

    Publicatie series

    NaamSE report
    ISSN van geprinte versie1872-1567

    Vingerafdruk Duik in de onderzoeksthema's van 'Supervisory control synthesis for a patient support system'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Theunissen, R. J. M., Schiffelers, R. R. H., Beek, van, D. A., & Rooda, J. E. (2008). Supervisory control synthesis for a patient support system. (SE report; Vol. 2008-08). Technische Universiteit Eindhoven.