Modular supervisory control of an experimental automated manufacturing system

Abstract

International audienceAn application of modular supervisory control theory to an experimental automated manufacturing system is presented. The proposed application approach is based on three main steps: (i) the modeling of the plant basic control and behavioral specifications in the form of automata; (ii) the automatic synthesis of modular non-conflicting supervisors using a computer tool; and (iii) the implementation of the designed supervisory control. This approach guarantees that the manufacturing system closed loop behaviors do not contradict the considered specifications and are non-blocking. It also guarantees that the supervised behaviors are maximally permissive within the behavioral specifications