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. © 2014 Springer-Verlag.
CITATION STYLE
Van Beek, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A., Markovski, J., Van De Mortel-Fronczak, J. M., & Reniers, M. A. (2014). CIF 3: Model-based engineering of supervisory controllers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8413 LNCS, pp. 575–580). Springer Verlag. https://doi.org/10.1007/978-3-642-54862-8_48
Mendeley helps you to discover research relevant for your work.