Structured design of reconfigurable logic control functions through sequential functional charts

In the present work a modular logic control design methodology for reconfigurable manufacturing systems is presented. The presented method guarantees reachability, liveness, and reversibility for the designed control solution. In particular, the logic control functions are designed through the sequential functional charts graphical language, which is one of the programming languages included in the IEC 61131 standard for industrial programmable logic controllers. The different steps of the proposed framework are presented with reference to a real size industrial application example, where the design of the logic control for an innovative shoe reconfigurable manufacturing system assembly line is discussed.