CIF 3 : model-based engineering of supervisory controllers

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

    61 Citations (Scopus)
    10 Downloads (Pure)


    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.
    Original 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
    ISBN (Print)978-3-642-54861-1
    Publication statusPublished - 2014
    Eventconference; TACAS 2014 -
    Duration: 1 Jan 2014 → …

    Publication series

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


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


    Dive into the research topics of 'CIF 3 : model-based engineering of supervisory controllers'. Together they form a unique fingerprint.

    Cite this