A Process Algebra for Supervisory Coordination

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.

[1]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[2]  R. J. vanGlabbeek.  The linear time - branching time spectrum , 1990 .

[3]  G. Meyer,et al.  An algebra of discrete event processes , 1991 .

[4]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[5]  Mark A. Shayman,et al.  Nonblocking supervisory control of nondeterministic systems via prioritized synchronization , 1996, IEEE Trans. Autom. Control..

[6]  Bengt Lennartson,et al.  On non-deterministic supervisory control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[7]  Jan A. Bergstra,et al.  Process Algebra with Propositional Signals , 1994, Theor. Comput. Sci..

[8]  A. Overkamp.  Supervisory control using failure semantics and partial specifications , 1997 .

[9]  Stéphane Lafortune,et al.  Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines , 1998, Discret. Event Dyn. Syst..

[10]  Michael Heymann,et al.  Discrete-event control of nondeterministic systems , 1998 .

[11]  J. Rutten.  Coalgebra, concurrency, and control , 1999 .

[12]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[13]  Rob J. van Glabbeek,et al.  The Linear Time - Branching Time Spectrum I , 2001, Handbook of Process Algebra.

[14]  R. V. Glabbeek.  CHAPTER 1 – The Linear Time - Branching Time Spectrum I.* The Semantics of Concrete, Sequential Processes , 2001 .

[15]  Ratnesh Kumar,et al.  Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems , 2003 .

[16]  Ratnesh Kumar,et al.  Control of nondeterministic discrete-event systems for bisimulation equivalence , 2007, IEEE Transactions on Automatic Control.

[17]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[18]  R. Kumar,et al.  Control of nondeterministic discrete event systems for simulation equivalence , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[19]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

[20]  R. Kumar,et al.  Control of Nondeterministic Discrete Event Systems for Simulation Equivalence , 2007, IEEE Transactions on Automation Science and Engineering.

[21]  Jos C. M. Baeten,et al.  Process Algebra , 2007, Handbook of Dynamic System Modeling.

[22]  B. Lennartson,et al.  Extraction and representation of a supervisor using guards in extended finite automata , 2008, 2008 9th International Workshop on Discrete Event Systems.

[23]  R. Kumar,et al.  Asynchronous implementation of synchronous discrete event control , 2008, 2008 9th International Workshop on Discrete Event Systems.

[24]  Paulo Tabuada,et al.  Controller synthesis for bisimulation equivalence , 2007, Syst. Control. Lett..

[25]  Jos C. M. Baeten,et al.  Process Algebra: Equational Theories of Communicating Processes , 2009 .

[26]  Harsh Beohar,et al.  A theory of desynchronisable closed loop system , 2010, ICE.

[27]  Tim Muller,et al.  Expressiveness modulo bisimilarity of regular expressions with parallel composition , 2010, Mathematical Structures in Computer Science.

[28]  Jasen Markovski,et al.  Coordination of resources using generalized state-based requirements , 2010, WODES.

[29]  Jos C. M. Baeten,et al.  A process-theoretic approach to supervisory control theory , 2011, Proceedings of the 2011 American Control Conference.

[30]  L. Aceto,et al.  A Process Algebra for Supervisory Coordination Jos , 2011 .