An implementation methodology for supervisory control theory

In this study, a methodology for PLC implementation of Supervisory Control Theory is introduced and realized on a pneumatic manufacturing system. The implementation methodology resolves the problem of avalanche effect and enhances program readability. We use local modular approach, which exploits modular structure of the plant and of the specifications. Local modular approach, together with the implementation methodology presented in this study provides an effective way for synthesizing and realizing supervisors for Discrete Event Systems (DES) control problems. The resulting PLC program is also modular in structure, making it handable for modification and error detection.