Synthesis of optimal controller of discrete manufacturing systems by liveness extraction

This paper deals with a Refined Centralized approach to obtain an optimal controller for manufacturing systems. It bases on a modular modeling of the plant to avoid combinatory explosion found in centralized structure and a synthesis algorithm. From the local Plant Elements, local constraints are defined to build local supervisors. Liveness constraints restrict the system behavior within a desired specification and are added to establish Global Controller. The resulting automata are translated in a normalized language for implementation in a Programmable Logic Controller.