A formal model for incorporating shop floor controls into plant information systems

The high cost and long development cycle of shop floor controls (SFC) have prevented many small, medium, and even large-size manufacturers from deploying plant-wide, real-time information systems. In order to stay competitive in a make-to-order business model, such systems are essential. In addressing the obstacles to such systems, this article proposes a formal method that ensures that a built SFC can be applicable to a plant-wide, real- time information system. By taking advantage of both the linear growth of the complexity function in a structured adaptive supervisory control model, and the real-time responses of a virtual production line based e-Manufacturing system, a formal method for creating an integration-ready structured adaptive supervisory control model (iSASC) for a discrete manufacturing system is introduced. An iSASC-based SFC prototype system was successfully tested and evaluated in an industrial site.