A process algebra for supervisory coordination

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

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

15 Citations (Scopus)

Abstract

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.
LanguageEnglish
Title of host publicationProceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
EditorsL. Aceto, M.R. Mousavi
PublisherEPTCS
Pages36-55
DOIs
StatePublished - 2011

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume60
ISSN (Print)2075-2180

Fingerprint

Algebra
Supervisory personnel
Controllers
Machine components
Programmable logic controllers
Control theory
Microprocessor chips
Semantics
Code generation

Cite this

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 (Eds.), Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011) (pp. 36-55). (Electronic Proceedings in Theoretical Computer Science; Vol. 60). EPTCS. DOI: 10.4204/EPTCS.60.3
Baeten, J.C.M. ; Beek, van, D.A. ; Hulst, van, A.C. ; Markovski, J./ A process algebra for supervisory coordination. Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). editor / L. Aceto ; M.R. Mousavi. EPTCS, 2011. pp. 36-55 (Electronic Proceedings in Theoretical Computer Science).
@inproceedings{8042aac3866b473ba1986221b7f8d67b,
title = "A process algebra for supervisory coordination",
abstract = "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.",
author = "J.C.M. Baeten and {Beek, van}, D.A. and {Hulst, van}, A.C. and J. Markovski",
year = "2011",
doi = "10.4204/EPTCS.60.3",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "EPTCS",
pages = "36--55",
editor = "L. Aceto and M.R. Mousavi",
booktitle = "Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)",

}

Baeten, JCM, Beek, van, DA, Hulst, van, AC & Markovski, J 2011, A process algebra for supervisory coordination. in L Aceto & MR Mousavi (eds), Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). Electronic Proceedings in Theoretical Computer Science, vol. 60, EPTCS, pp. 36-55. DOI: 10.4204/EPTCS.60.3

A process algebra for supervisory coordination. / Baeten, J.C.M.; Beek, van, D.A.; Hulst, van, A.C.; Markovski, J.

Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). ed. / L. Aceto; M.R. Mousavi. EPTCS, 2011. p. 36-55 (Electronic Proceedings in Theoretical Computer Science; Vol. 60).

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

TY - GEN

T1 - A process algebra for supervisory coordination

AU - Baeten,J.C.M.

AU - Beek, van,D.A.

AU - Hulst, van,A.C.

AU - Markovski,J.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.4204/EPTCS.60.3

DO - 10.4204/EPTCS.60.3

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 36

EP - 55

BT - Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)

PB - EPTCS

ER -

Baeten JCM, Beek, van DA, Hulst, van AC, Markovski J. A process algebra for supervisory coordination. In Aceto L, Mousavi MR, editors, Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). EPTCS. 2011. p. 36-55. (Electronic Proceedings in Theoretical Computer Science). Available from, DOI: 10.4204/EPTCS.60.3