The supervisory control theory is a general theory for automatic synthesis of controllers (supervisors) for discrete event systems, given a plant model and a specification for the controlled behavior. Though the theory has for over a decade received substantial attention in academics, still very few industrial applications exist. The main reason for this seems to be a discrepancy between the abstract supervisor and its physical implementation. This is specifically noticeable when the implementation is supposed to be based on programmable logic controllers (PLCs), as is the case with many manufacturing systems. The asynchronous event-driven nature of the supervisor is not straightforwardly implemented in the synchronous signal-based PLC. We point out the main problems of supervisor implementation on a PLC, and suggest procedures to alleviate the problems.
[1]
S. Balemi.
Control of discrete event systems
,
1992
.
[2]
P. Ramadge,et al.
Supervisory control of a class of discrete event processes
,
1987
.
[3]
C. A. R. Hoare,et al.
Communicating sequential processes
,
1978,
CACM.
[4]
S. Marcus,et al.
On controllability and normality of discrete event dynamical systems
,
1991
.
[5]
Peter Radford,et al.
Petri Net Theory and the Modeling of Systems
,
1982
.
[6]
B.A. Brandin,et al.
The real-time supervisory control of an experimental manufacturing cell
,
1996,
IEEE Trans. Robotics Autom..
[7]
P. Ramadge,et al.
On the supremal controllable sublanguage of a given language
,
1984,
The 23rd IEEE Conference on Decision and Control.