Model-Based Engineering of Supervisory Controllers using CIF

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    21 Citaten (Scopus)
    270 Downloads (Pure)

    Samenvatting

    In the Model-Based Engineering (MBE) paradigm, models are the core elements in the design process of a system from its requirements to the actual implementation of the system. By means of Supervisory Control Theory (SCT), supervisory controllers (supervisors) can be synthesized instead of designingthem manually. In this paper, a framework based on the Compositional Interchange Format for hybrid systems (CIF) has been developed that integrates the MBE andthe SCT paradigms. To illustrate the framework, an industrial-size case study has been performed: 'synthesis of a supervisory controller for the patientsupport system of an MRI scanner'. In this case study, we address 1) modelling of the components and the control requirements; 2) synthesis of the supervisor;3) simulation of the synthesized supervisor and a hybrid model of the plant; and 4) real-time, simulation based control of the supervisor and the actual patient support system of the MRI scanner.
    Originele taal-2Engels
    TitelProceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009)
    RedacteurenT. Levendovsky, L. Lengyel
    Pagina's1-10
    StatusGepubliceerd - 2009

    Publicatie series

    NaamElectronic Communications of the EASST
    Volume21
    ISSN van geprinte versie1863-2122

    Vingerafdruk Duik in de onderzoeksthema's van 'Model-Based Engineering of Supervisory Controllers using CIF'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Schiffelers, R. R. H., Theunissen, R. J. M., Beek, van, D. A., & Rooda, J. E. (2009). Model-Based Engineering of Supervisory Controllers using CIF. In T. Levendovsky, & L. Lengyel (editors), Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009) (blz. 1-10). (Electronic Communications of the EASST; Vol. 21).