A Hierarchical Model for Control of Flexible Manufacturing Systems

In this paper we discuss a new matrix-based modeling technique for flexible manufacturing systems (FMS). Four Task Plan Matrices can completely describe the job sequencing and resource assignment details of an FMS. The matrices come directly from plans generated by machine planners, or from the bill of materials and resource requirements matrix. Given the matrices, a rule-based supervisory controller operates in real-time to sequence jobs and assign resources depending on dynamic situational information about parts available, resources idle, and jobs completed. The function of the FMS can be quickly changed when new products are needed simply by changing the four matrices. By deriving explicit mathematical formulas for p-invariants and the resource requirement matrix for generalized reentrant flow lines, NP-complexity problems are avoided, which is often an issue in other modeling techniques.KeywordsManufacturingdiscrete event systemsflexible manufacturing systems.

Intelligent Control of Manufacturing Systems Using Open Communication

Control of flexible manufacturing systems (FMS) requires the complex interaction of two components: (1) computers to perform automated control and routing activities, and (2) humans to supervise the automation, to monitor system flows and outputs, and to intervene to diagnose and either correct or compensate for unanticipated events. Current academic FMS scheduling research has focused mainly on the first component in the control loop, development of scheduling algorithms for optimization and control. Here, the second component is included in both the definition of the FMS control problem and the corresponding control approach. A more realistic definition of the FMS control environment is presented using a supervisory control framework. Within this context, the concept of aiding a human operator who supervises the predominantly automated FMS operations is developed.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

In recent years, the scheduling and control of Flexible Manufacturing Systems (FMS) has received considerable attention. Due to complexity considerations, heuristic solutions are often the norm for real-time scheduling and implementation of FMS control activities. However, heuristic solutions often lack consideration of overall system implications, and various practical difficulties may arise in the control of unmanned FMS.The purpose of this research is to address deadlock situations that may arise in unmanned FMS. Petri nets are used to model the sequencing of material through the workstations and the limited capacity of resources available in the FMS. The model is then used for defining restriction policies (i.e., policies that disallow some of the options of the real-time resource allocation strategy) for deadlock avoidance. We propose an on-line restriction policy that avoids deadlock situations, while enabling completion of all active jobs in the FMS. The proposed algorithm is minimally restrictive and suitable for real-time implementation.KeywordsInternal TransitionProduction SequenceRestriction PolicyReachability GraphProduction PlaceThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

PurposeA major factor to the success of flexible manufacturing systems (FMSs) is their ability to transport work pieces between different workstations. FMS have now become more advanced and material‐handling systems have become progressively more sophisticated, it is not exceptional to have automated steering of tools to workstations as well. Such system design will improve the tool‐handling capability and the system productivity while holding tool cost to a minimum. Tool cost could represent as much as 25 percent of the operating cost. The purpose of this paper is to propose a new colored Petri net (CPN)‐based approach to the design and development of a tool sharing control system that is intended to help use of the proper and minimal number of tools for a manufacturing system.Design/methodology/approachA new black token timed PN model is first developed, to reduce the complexity of the graphical representation a new CPN model is developed. The new CPN model also allows to find the optimal sequence. The optimal sequence has no effect on the work in process (WIP) but it influences the number of tools used in the system. The main input to the PN model for a manufacturing system is the process plan. Next, all the invariants and total number of possible elementary circuits are determined using the Integrated Net Analyzer (INA) software. Output from the INA software is exported to the Excel spreadsheet. The Excel spreadsheet can be designed to calculate the total number of tokens, processing time, cycle time, etc. of each elementary circuit. Subsequently, the constraints used in Lingo will be created according to critical circuit rules. Finally, linear programming (LP) technique is used to optimize the WIP and tool inventory. Lingo software is used for the LP, the constraints from the Excel sheet will be the input data to the Lingo program, and based on those constraints the Lingo will provide the optimal values for the desired parameters. The output from Lingo will be used to recalculate the cycle time of each elementary circuit in the Excel sheet. The system is then analyzed before and after the implementation of the CPN model.FindingsA new CPN model based on tool‐sharing philosophy for an FMS with N part types and M stations is proposed.Originality/valueThe paper presents a new CPN‐based approach to the design and development of a tool sharing control system, that is, intended to help use of the proper and minimal number of tools for a manufacturing system. The new CPN model also allows to find the optimal sequence. The idea is new and pure and has not been presented before using the methodology adopted in this paper.

This paper proposes feedback control algorithms suitable for the top level of a hierarchical approach to controlling Flexible Manufacturing Systems (FMS). Preview and state feedback control techniques are employed to regulate the inventory levels near zero. The resulting controller utilizes inventory state feedback and anticipatory demand feedforward control, referred to as preview control. The preview control takes on the form of demand filtering. Special dynamic properties of the demand filter are discussed. We show how future demand information is related to present production and inventory levels. Production constraints are explicitly handled in the development of the feedback controller. We present numerical results for a test case.

Tools for Design and Optimal Control of Production Line and Flexible Manufacturing Systems

A dynamic policy for flow control of flexible manufacturing systems is introduced in the paper. The machines in the system are assumed to be unreliable. In the face of machine failures, the aim of this control method is to minimize the difference between the number of parts produced and the number of parts required at the end of production. The control law is calculated by using successively two linear programs: the first one calculates a lower bound of control law that allows production balancing; the second one maximizes production rates. To take into account machine state changes and to avoid overproduction, the control law is recalculated every time a change in machine state occurs and every time the system reaches the production target of a part type. The proposed method is very easy to use and needs little computation time. Numerical examples show that the proposed method produces good performances when applied to a simulation model of a flexible manufacturing system with failure prone machines. >

Deadlock prevention plays an important role in the modeling and control of flexible manufacturing systems (FMS). This paper presents a novel and computationally efficient method to design optimal control places, and an iteration approach that only computes the reachability graph of a plant Petri net model once in order to obtain a maximally permissive liveness-enforcing supervisor for an FMS. By using a vector covering approach, a minimal covering set of legal markings and a minimal covered set of first-met bad markings (FBM) are computed. At each iteration, an FBM from the minimal covered set is selected. By solving an integer linear programming problem, a place invariant is designed to prevent the FBM from being reached and no marking in the minimal covering set of legal markings is forbidden. This process is carried out until no FBM can be reached. In order to make the considered problem computationally tractable, binary decision diagrams (BDD) are used to compute the sets of legal markings and FBM, and solve the vector covering problem to get a minimal covering set of legal markings and a minimal covered set of FBM. Finally, a number of FMS examples are presented to illustrate the proposed approaches.

In recent years, a great deal of research has been focused on preventing deadlock in Flexible Manufacturing Systems. Policies based largely on Petri net models have been presented in the literature. Recently, a quite different approach has been developed based on supervisory control theory, and it has been adapted to solve the nonblocking maximally permissive control problem in various resource allocation systems, such as an Automatic Guided Vehicle system and a Production Cell. In this chapter, the authors obtain the corresponding control policy for a Flexible Manufacturing System, and from it derive an equivalent distributed control using the recent theory of supervisor localization.

An approach for integrated flexible manufacturing system (FMS) control is developed. Decentralized control is examined and shown to compare favorably with conventional centralized control. It complies with the requirements of flexibility, reactivity, and accessibility for use on FMSs. The principles of a coordination founded on an event-based approach are given. A presentation model and its implementation principles are presented. >

Model Based Intelligent Control in Flexible Manufacturing Systems

This paper introduces a formal specification model that covers a large class of real Flexible Manufacturing System (FMS). Using this model, a designer expresses the functional capacities of his system and the product flows. Parallel manufacturing processes, having, transformation, assembly, disassembly, test and storage operations, are considered. FMS specification is automatically transformed into a CP-net model. Hence, the verification and the supervisory control techniques based on CP-nets can be applied to the generated CP-net. Thus, a parameterized solution is defined taking into account the flexibility of the specification model. The present work led to the implementation of a specific tool, called MAC-FMS, allowing graphical specification, supervisory control and verification through its interaction with CPN tools environment (Jensen's tool).

An intelligent hierarchical workstation control model for FMS

Abstract In this study, allocation of functions and system size (number of machines) were manipulated to test their effects on operator performance and subjective response in a flexible manufacturing system (FMS). An experiment was conducted using a cross-over design with three independent variables: number of machines, task allocation, and sequence of task presentation. Operator performance was measured by response time, and subjective response assessed using two questionnaires. Physiological measures were also taken (EKG and respiratory rate). The results revealed that the number of machines in the system did not affect performance or subjective or physiological response while the effect of allocation level was significant for both performance and subjective response. Key Words: flexible manufacturing systemperformancesubjective responseallocation of function