Supervisory Control based Fuzzy Interval Arithmetic Applied for Discrete Scheduling of Manufacturing Systems

6 pagesInternational audienceThis paper considers the modelling and designing of a production-flow scheduler based on fuzzy interval system. Particularly, the supervisory control is built according to the satisfaction degree of conflicting objectives which are quantified by fuzzy intervals. The control system aims at adjusting the machine's production rates in such a way that satisfies the demand while maintaining the overall performances within acceptable limits. At the shop-floor level, the actual dispatching times are determined from the continuous production rates through a sampling procedure. A decision for the actual part to be processed is taken using some criterions which represent a measure of the job's priority. A case study demonstrates the efficiency of the proposed control approach

Application of a continuous supervisory fuzzy control on a discrete scheduling of manufacturing systems.

10 pagesInternational audienceThis paper considers the modelling and simulation of a hierarchical production-flow control system. Particularly, the system capacity allocation has been addressed by a set of distributed and supervised fuzzy controllers. The objective is to adjust the machine's production rates in such a way that satisfies the demand while maintaining the overall performances within acceptable limits. Given the adjusted production rates, the problem of scheduling of jobs is considered at the shop-floor level. In this case, the actual dispatching times are determined from the continuous production rates through a sampling procedure. To deal with conflicts between jobs at a shared machine, a decision for the actual part to be processed is taken using some criteria which represent a measure of the job's priority. A case study demonstrates the efficiency of the proposed control approach

Investigation into inspection system utilisation for advanced manufacturing systems.

Masters Degree. University of KwaZulu-Natal, Durban.Varied inspection is an aperiodic inspection utilisation methodology that was developed for advanced manufacturing systems. The inspection scheme was created as a solution to improve manufacturing performance where inspection hinders production, such as cases where inspection time is significantly larger than machining time. Frequent inspection impedes production cycles which result in undesirable blocking, starving, low machine utilisation, increased lead time and work-in-process. The aim of the inspection strategy was to aid manufacturing metrics by adjusting inspection utilisation through multiple control methods. The novelty of the research lies in using an inspection strategy for improved manufacturing performance. Quality control was traditionally viewed as an unintegrated aspect of production. As such, quality control was only used as a tool for ensuring certain standards of products, rather than being used as a tool to aid production. The problem was solved by using the amount of inspection performed as a variable, and changing that variable based on the needs of the manufacturing process. “Inspection intensity” was defined as the amount of inspection performed on a part stream and was based on inputs such as part quality, required production rates, work-in-process requirements among other factors. Varied inspection was executed using a two-level control architecture of fuzzy controllers. Lower level controllers performed varied inspection while an upper level supervisory controller measured overall system performance and made adjustments to lower level controllers to meet system requirements. The research was constrained to simulation results to test the effects of varied inspection on different manufacturing models. Simulation software was used to model advanced manufacturing systems to test the effects of varied inspection against traditional quality control schemes. Matlab’s SimEvents® was used for discrete-event simulation and Fuzzy Logic Toolbox® was used for the controller design. Through simulation, varied inspection was used to meet production needs such as reduced manufacturing lead time, reduced work-in-process, reduced starvation and blockage, and reduced appraisal costs. Machine utilisation was increased. The contribution of the research was that quality control could be used to aid manufacturing systems instead of slowing it down. Varied inspection can be used as a flexible form of inspection. The research can be used as a control methodology to improve the usage of inspection systems to enhance manufacturing performance

Observability and Decentralized Control of Fuzzy Discrete Event Systems

Fuzzy discrete event systems as a generalization of (crisp) discrete event systems have been introduced in order that it is possible to effectively represent uncertainty, imprecision, and vagueness arising from the dynamic of systems. A fuzzy discrete event system has been modelled by a fuzzy automaton; its behavior is described in terms of the fuzzy language generated by the automaton. In this paper, we are concerned with the supervisory control problem for fuzzy discrete event systems with partial observation. Observability, normality, and co-observability of crisp languages are extended to fuzzy languages. It is shown that the observability, together with controllability, of the desired fuzzy language is a necessary and sufficient condition for the existence of a partially observable fuzzy supervisor. When a decentralized solution is desired, it is proved that there exist local fuzzy supervisors if and only if the fuzzy language to be synthesized is controllable and co-observable. Moreover, the infimal controllable and observable fuzzy superlanguage, and the supremal controllable and normal fuzzy sublanguage are also discussed. Simple examples are provided to illustrate the theoretical development.Comment: 14 pages, 1 figure. to be published in the IEEE Transactions on Fuzzy System

State-Based Control of Fuzzy Discrete Event Systems

To effectively represent possibility arising from states and dynamics of a system, fuzzy discrete event systems as a generalization of conventional discrete event systems have been introduced recently. Supervisory control theory based on event feedback has been well established for such systems. Noting that the system state description, from the viewpoint of specification, seems more convenient, we investigate the state-based control of fuzzy discrete event systems in this paper. We first present an approach to finding all fuzzy states that are reachable by controlling the system. After introducing the notion of controllability for fuzzy states, we then provide a necessary and sufficient condition for a set of fuzzy states to be controllable. We also find that event-based control and state-based control are not equivalent and further discuss the relationship between them. Finally, we examine the possibility of driving a fuzzy discrete event system under control from a given initial state to a prescribed set of fuzzy states and then keeping it there indefinitely.Comment: 14 double column pages; 4 figures; to be published in the IEEE Transactions on Systems, Man, and Cybernetics--Part B: Cybernetic

Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach

Fuzzy {\it discrete event systems} (DESs) were proposed recently by Lin and Ying [19], which may better cope with the real-world problems with fuzziness, impreciseness, and subjectivity such as those in biomedicine. As a continuation of [19], in this paper we further develop fuzzy DESs by dealing with supervisory control of fuzzy DESs. More specifically, (i) we reformulate the parallel composition of crisp DESs, and then define the parallel composition of fuzzy DESs that is equivalent to that in [19]; {\it max-product} and {\it max-min} automata for modeling fuzzy DESs are considered; (ii) we deal with a number of fundamental problems regarding supervisory control of fuzzy DESs, particularly demonstrate controllability theorem and nonblocking controllability theorem of fuzzy DESs, and thus present the conditions for the existence of supervisors in fuzzy DESs; (iii) we analyze the complexity for presenting a uniform criterion to test the fuzzy controllability condition of fuzzy DESs modeled by max-product automata; in particular, we present in detail a general computing method for checking whether or not the fuzzy controllability condition holds, if max-min automata are used to model fuzzy DESs, and by means of this method we can search for all possible fuzzy states reachable from initial fuzzy state in max-min automata; also, we introduce the fuzzy $n$-controllability condition for some practical problems; (iv) a number of examples serving to illustrate the applications of the derived results and methods are described; some basic properties related to supervisory control of fuzzy DESs are investigated. To conclude, some related issues are raised for further consideration

Optimization Of Fuzzy Logic Controllers With Genetic Algorithm For Two-Part-Type And Re-Entrant Production Systems

Improvement in the performance of production control systems is so important that many of past studies were dedicated to this problem. The applicability of fuzzy logic controllers (FLCs) in production control systems has been shown in the past literature. Furthermore, genetic algorithm (GA) has been used to optimize the FLCs performance. This is addressed as genetic fuzzy logic controller (GFLC). The GFLC methodology is used to develop two production control architectures named “genetic distributed fuzzy” (GDF), and “genetic supervisory fuzzy” (GSF) controllers. These control architectures have been applied to single-part-type production systems. In their new application, the GDF and GSF controllers are developed to control multipart- type and re-entrant production systems. In multi-part-type and re-entrant production systems the priority of production as well as the production rate for each part type is determined by production control systems. A genetic algorithm is developed to tune the membership functions (MFs) of input variables of GDF and GSF controllers. The objective function of the GSF controller is to minimize the overall production cost based on work-in-process (WIP) and backlog cost, while surplus minimization is considered in GDF controller. The GA module is programmed in MATLAB® software. The performance of each GDF or GSF controllers in controlling the production system model is evaluated using Simulink® software. The performance indices are used as chromosomes ranking criteria. The optimized GDF and GSF can be used in real implementations. GDF and GSF controllers are evaluated for two test cases namely “two-part-type production line” and “re-entrant production system”. The results have been compared with two heuristic controllers namely “heuristic distributed fuzzy” (HDF) and “heuristic supervisory fuzzy” (HSF) controllers. The results showed that GDF and GSF controllers can improve the performance of production system. In GSF control architecture, WIP level is 30% decreased rather than HSF controllers. Moreover the overall production cost is reduced in most of the test cases by 30%. GDF controllers show their abilities in reducing the backlog level but generally production cost for GDF controller is greater than GSF controller

AI and OR in management of operations: history and trends

The last decade has seen a considerable growth in the use of Artificial Intelligence (AI) for operations management with the aim of finding solutions to problems that are increasing in complexity and scale. This paper begins by setting the context for the survey through a historical perspective of OR and AI. An extensive survey of applications of AI techniques for operations management, covering a total of over 1200 papers published from 1995 to 2004 is then presented. The survey utilizes Elsevier's ScienceDirect database as a source. Hence, the survey may not cover all the relevant journals but includes a sufficiently wide range of publications to make it representative of the research in the field. The papers are categorized into four areas of operations management: (a) design, (b) scheduling, (c) process planning and control and (d) quality, maintenance and fault diagnosis. Each of the four areas is categorized in terms of the AI techniques used: genetic algorithms, case-based reasoning, knowledge-based systems, fuzzy logic and hybrid techniques. The trends over the last decade are identified, discussed with respect to expected trends and directions for future work suggested

Prospects of a mathematical theory of human behavior in complex man-machine systems tasks

A hierarchy of human activities is derived by analyzing automobile driving in general terms. A structural description leads to a block diagram and a time-sharing computer analogy. The range of applicability of existing mathematical models is considered with respect to the hierarchy of human activities in actual complex tasks. Other mathematical tools so far not often applied to man machine systems are also discussed. The mathematical descriptions at least briefly considered here include utility, estimation, control, queueing, and fuzzy set theory as well as artificial intelligence techniques. Some thoughts are given as to how these methods might be integrated and how further work might be pursued