The utilization of flexible manufacturing workcells (FMCs) to produce families of parts in many possible orders of operations and choices of different machines is advantageous. The modeling and control of such discrete-event systems (DESs) have generally been performed in a hierarchical structure. Despite intensive research on the theoretical control of DESs, however, current techniques such as controlled automata can still primarily be used for the supervisory control of simple cells. In the paper, a modeling and control synthesis technique is presented for FMCs that allow part-routing flexibility. The proposed methodology combines extended Moore automata (EMA) and controlled-automata theories to synthesize supervisors for such FMCs. EMA-based supervisors have the capability to read (receive) multiple pieces of information regarding the behavior of the FMC. Based on this information they can explicitly generate control commands issued to cell devices. In order to significantly reduce the state-space of EMA-based supervisors without affecting the behavior enforced on the (controlled) FMC, a minimization procedure is also outlined.

The modeling and control of flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as discrete-event systems (DESs). In this paper, a new DES control synthesis technique that combines Moore automata and controlled-automata theories to synthesize supervisors is presented. The obtained supervisors can monitor multiple pieces of information regarding the behavior of the FMC and can explicitly generate control commands issued to individual cell devices.