Model-Based Engineering of Supervisory Controllers using CIF

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)

Abstract

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.
LanguageEnglish
Title of host publicationProceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009)
EditorsT. Levendovsky, L. Lengyel
Pages1-10
StatePublished - 2009

Publication series

NameElectronic Communications of the EASST
Volume21
ISSN (Print)1863-2122

Fingerprint

Controllers
Control theory
Magnetic resonance imaging
Interchanges
Hybrid systems

Cite this

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 (Eds.), Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009) (pp. 1-10). (Electronic Communications of the EASST; Vol. 21).
Schiffelers, R.R.H. ; Theunissen, R.J.M. ; Beek, van, D.A. ; Rooda, J.E./ Model-Based Engineering of Supervisory Controllers using CIF. Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009). editor / T. Levendovsky ; L. Lengyel. 2009. pp. 1-10 (Electronic Communications of the EASST).
@inproceedings{e7fbe0c0b2a74c80aa0a190eb1c7858a,
title = "Model-Based Engineering of Supervisory Controllers using CIF",
abstract = "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.",
author = "R.R.H. Schiffelers and R.J.M. Theunissen and {Beek, van}, D.A. and J.E. Rooda",
year = "2009",
language = "English",
series = "Electronic Communications of the EASST",
pages = "1--10",
editor = "T. Levendovsky and L. Lengyel",
booktitle = "Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009)",

}

Schiffelers, RRH, Theunissen, RJM, Beek, van, DA & Rooda, JE 2009, Model-Based Engineering of Supervisory Controllers using CIF. in T Levendovsky & L Lengyel (eds), Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009). Electronic Communications of the EASST, vol. 21, pp. 1-10.

Model-Based Engineering of Supervisory Controllers using CIF. / Schiffelers, R.R.H.; Theunissen, R.J.M.; Beek, van, D.A.; Rooda, J.E.

Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009). ed. / T. Levendovsky; L. Lengyel. 2009. p. 1-10 (Electronic Communications of the EASST; Vol. 21).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Model-Based Engineering of Supervisory Controllers using CIF

AU - Schiffelers,R.R.H.

AU - Theunissen,R.J.M.

AU - Beek, van,D.A.

AU - Rooda,J.E.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

M3 - Conference contribution

T3 - Electronic Communications of the EASST

SP - 1

EP - 10

BT - Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009)

ER -

Schiffelers RRH, Theunissen RJM, Beek, van DA, Rooda JE. Model-Based Engineering of Supervisory Controllers using CIF. In Levendovsky T, Lengyel L, editors, Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009). 2009. p. 1-10. (Electronic Communications of the EASST).