Control synthesis and implementation for an integrated manufacturing system based on Supervisory Control Theory

This paper presents the implementation of a controller to an integrated manufacturing system, made through the application of the Supervisory Control Theory (SCT). The work explores the modeling of subsystems and the specifications of a real manufacturing system. A supervisor, which fulfills the specifications, is synthesized. Based on these SCT implementation aspects presented on the text, the synthesized supervisor is accomplished in the manufacturing execution system. A physical implementation topology, which accomplishes the control proposal, is also discussed.