Communicating processes with data for supervisory coordination

J. Markovski

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Samenvatting

    We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. Models of the supervisory controllers can be automatically synthesized based on formal models of the system components and a formalization of the safe coordination (control) requirements. Based on the obtained models, code generation can be used to implement the supervisory controllers in software, on a PLC, or an embedded (micro)processor. In this article, we develop a process theory with data that supports a model-based systems engineering framework for supervisory coordination. We employ communication to distinguish between the different flows of information, i.e., observation and supervision, whereas we employ data to specify the coordination requirements more compactly, and to increase the expressivity of the framework. To illustrate the framework, we remodel an industrial case study involving coordination of maintenance procedures of a printing process of a high-tech Oc´e printer.
    Originele taal-2Engels
    TitelProceedings of the 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012), September 8, 2012, Newcastle-upon-Tyne, United Kingdom
    Pagina's97-111
    StatusGepubliceerd - 2012

    Publicatie series

    NaamElectronic Proceedings in Theoretical Computer Science
    Volume91
    ISSN van geprinte versie2075-2180

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Communicating processes with data for supervisory coordination'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit