PLC-based implementation of supervisory control for discrete event systems

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