CIF 3 : model-based engineering of supervisory controllers

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

30 Citations (Scopus)

Abstract

The engineering of supervisory controllers for large and complex cyber-physical systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We highlight a model-based engineering framework for the engineering of supervisory controllers and explain how the CIF language and accompanying tools can be used for typical activities in that framework such as modeling, supervisory control synthesis, simulation-based validation, verification, and visualization, real-time testing, and code generation. We mention a number of case studies for which this approach was used in the recent past. We discuss future developments on the level of language and tools as well as research results that may be integrated in the longer term.
LanguageEnglish
Title of host publicationTools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
EditorsE. Abraham, K. Havelund
Place of PublicationBerlin
PublisherSpringer
Pages575-580
ISBN (Print)978-3-642-54861-1
DOIs
StatePublished - 2014
Eventconference; TACAS 2014 -
Duration: 1 Jan 2014 → …

Publication series

NameLecture Notes in Computer Science
Volume8413
ISSN (Print)0302-9743

Conference

Conferenceconference; TACAS 2014
Period1/01/14 → …
OtherTACAS 2014

Fingerprint

Controllers
Interchanges
Visualization
Testing
Code generation
Cyber Physical System

Cite this

Beek, van, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A. T., Markovski, J., Mortel - Fronczak, van de, J. M., & Reniers, M. A. (2014). CIF 3 : model-based engineering of supervisory controllers. In E. Abraham, & K. Havelund (Eds.), Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (pp. 575-580). (Lecture Notes in Computer Science; Vol. 8413). Berlin: Springer. DOI: 10.1007/978-3-642-54862-8_48
Beek, van, D.A. ; Fokkink, W.J. ; Hendriks, D. ; Hofkamp, A.T. ; Markovski, J. ; Mortel - Fronczak, van de, J.M. ; Reniers, M.A./ CIF 3 : model-based engineering of supervisory controllers. Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. editor / E. Abraham ; K. Havelund. Berlin : Springer, 2014. pp. 575-580 (Lecture Notes in Computer Science).
@inproceedings{c96cdf29eab8466ba88d06baa334aded,
title = "CIF 3 : model-based engineering of supervisory controllers",
abstract = "The engineering of supervisory controllers for large and complex cyber-physical systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We highlight a model-based engineering framework for the engineering of supervisory controllers and explain how the CIF language and accompanying tools can be used for typical activities in that framework such as modeling, supervisory control synthesis, simulation-based validation, verification, and visualization, real-time testing, and code generation. We mention a number of case studies for which this approach was used in the recent past. We discuss future developments on the level of language and tools as well as research results that may be integrated in the longer term.",
author = "{Beek, van}, D.A. and W.J. Fokkink and D. Hendriks and A.T. Hofkamp and J. Markovski and {Mortel - Fronczak, van de}, J.M. and M.A. Reniers",
year = "2014",
doi = "10.1007/978-3-642-54862-8_48",
language = "English",
isbn = "978-3-642-54861-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "575--580",
editor = "E. Abraham and K. Havelund",
booktitle = "Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings",
address = "Germany",

}

Beek, van, DA, Fokkink, WJ, Hendriks, D, Hofkamp, AT, Markovski, J, Mortel - Fronczak, van de, JM & Reniers, MA 2014, CIF 3 : model-based engineering of supervisory controllers. in E Abraham & K Havelund (eds), Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8413, Springer, Berlin, pp. 575-580, conference; TACAS 2014, 1/01/14. DOI: 10.1007/978-3-642-54862-8_48

CIF 3 : model-based engineering of supervisory controllers. / Beek, van, D.A.; Fokkink, W.J.; Hendriks, D.; Hofkamp, A.T.; Markovski, J.; Mortel - Fronczak, van de, J.M.; Reniers, M.A.

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. ed. / E. Abraham; K. Havelund. Berlin : Springer, 2014. p. 575-580 (Lecture Notes in Computer Science; Vol. 8413).

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

TY - GEN

T1 - CIF 3 : model-based engineering of supervisory controllers

AU - Beek, van,D.A.

AU - Fokkink,W.J.

AU - Hendriks,D.

AU - Hofkamp,A.T.

AU - Markovski,J.

AU - Mortel - Fronczak, van de,J.M.

AU - Reniers,M.A.

PY - 2014

Y1 - 2014

N2 - The engineering of supervisory controllers for large and complex cyber-physical systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We highlight a model-based engineering framework for the engineering of supervisory controllers and explain how the CIF language and accompanying tools can be used for typical activities in that framework such as modeling, supervisory control synthesis, simulation-based validation, verification, and visualization, real-time testing, and code generation. We mention a number of case studies for which this approach was used in the recent past. We discuss future developments on the level of language and tools as well as research results that may be integrated in the longer term.

AB - The engineering of supervisory controllers for large and complex cyber-physical systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We highlight a model-based engineering framework for the engineering of supervisory controllers and explain how the CIF language and accompanying tools can be used for typical activities in that framework such as modeling, supervisory control synthesis, simulation-based validation, verification, and visualization, real-time testing, and code generation. We mention a number of case studies for which this approach was used in the recent past. We discuss future developments on the level of language and tools as well as research results that may be integrated in the longer term.

U2 - 10.1007/978-3-642-54862-8_48

DO - 10.1007/978-3-642-54862-8_48

M3 - Conference contribution

SN - 978-3-642-54861-1

T3 - Lecture Notes in Computer Science

SP - 575

EP - 580

BT - Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

PB - Springer

CY - Berlin

ER -

Beek, van DA, Fokkink WJ, Hendriks D, Hofkamp AT, Markovski J, Mortel - Fronczak, van de JM et al. CIF 3 : model-based engineering of supervisory controllers. In Abraham E, Havelund K, editors, Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Berlin: Springer. 2014. p. 575-580. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-642-54862-8_48