Computer Science – Logic in Computer Science
Scientific paper
2011-08-09
EPTCS 60, 2011, pp. 36-55
Computer Science
Logic in Computer Science
In Proceedings PACO 2011, arXiv:1108.1452
Scientific paper
10.4204/EPTCS.60.3
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.
Baeten Jos
Beek Bert van
Hulst Allan van
Markovski Jasen
No associations
LandOfFree
A Process Algebra for Supervisory Coordination does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Process Algebra for Supervisory Coordination, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Process Algebra for Supervisory Coordination will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-69955