A process algebra for supervisory coordination

J.C.M. Baeten, D.A. Beek, van, A.C. Hulst, van, J. Markovski

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (Scopus)
61 Downloads (Pure)

Samenvatting

A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studies automated synthesis of controller models, known as supervisors, based on formal models of the machine components and a formalization of the requirements. Subsequently, code generation can be used to implement this supervisor in software, on a PLC, or embedded microprocessor. In this article, we take a closer look at the control loop that couples the supervisory controller and the machine. We model both event-based and state-based observations using process algebra and bisimulation-based semantics. The main application area of supervisory control that we consider is coordination, referred to as supervisory coordination, and we give an academic and an industrial example, discussing the process-theoretic concepts employed.
Originele taal-2Engels
TitelProceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
RedacteurenL. Aceto, M.R. Mousavi
UitgeverijEPTCS
Pagina's36-55
DOI's
StatusGepubliceerd - 2011

Publicatie series

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

Vingerafdruk Duik in de onderzoeksthema's van 'A process algebra for supervisory coordination'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Baeten, J. C. M., Beek, van, D. A., Hulst, van, A. C., & Markovski, J. (2011). A process algebra for supervisory coordination. In L. Aceto, & M. R. Mousavi (editors), Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011) (blz. 36-55). (Electronic Proceedings in Theoretical Computer Science; Vol. 60). EPTCS. https://doi.org/10.4204/EPTCS.60.3