Modular Supervisory Control for the Coordination of a Manufacturing Cell with Observable Faults

In the present paper, a manufacturing cell in the presence of faults, coming from the devices of the process, is considered. The modular modeling of the subsystems of the cell is accomplished using of appropriate finite deterministic automata. The desired functionality of the cell as well as appropriate safety specifications are formulated as eleven desired languages. The desired languages are expressed as regular expressions in analytic forms. The languages are realized in the form of appropriate general type supervisor forms. Using these forms, a modular supervisory design scheme is accomplished providing satisfactory performance in the presence of faults as well guaranteeing the safety requirements. The aim of the present supervisor control scheme is to achieve tolerance of basic characteristics of the process coordination to upper-level faults, despite the presence of low-level faults in the devices of the process. The complexity of the supervisor scheme is computed.