Order-Preserving Languages for the Supervisory Control of Automated Manufacturing Systems

Nooruldeen, Anas
Schmidt, Klaus Verner
Automated manufacturing systems (AMSs) consist of computer-controlled interconnected manufacturing components (MCs) that are used to transport and process different product types. Each product type requires a certain sequence of processing steps in different MCs. Hereby, multiple product types can share processing steps on the same MC and the paths of different products types can overlap. In this paper we consider the modeling of AMSs in the scope of supervisory control for discrete event systems (DES). On the one hand, a suitable AMS model must allow the representation of sequential and concurrent processing steps in MCs. On the other hand, such model must be able to track different product types traveling through the AMS so as to process the products correctly. While previous work is commonly concerned with the first requirement, this paper identifies that the existing literature lacks a general treatment of the second requirement. Accordingly, we first introduce order-preserving (OP) languages that preserve the order of different product types in MCs and we propose a suitable finite state automaton model for OP languages. Then, we show that the composition of OP languages again leads to an OP language. That is, modeling MCs by OP languages, an OP model of a complete AMS that is suitable for supervisory control is obtained. In addition, it is possible to use both OP models and non-OP models for general AMSs, where MCs have different properties. We demonstrate the applicability of the proposed modeling technique by a flexible manufacturing system example.


Hierarchical and modular control of reconfigurable manufacturing systems
Arslan, Övül; Schmidt, Klaus Verner; Department of Electrical and Electronics Engineering (2022-2-11)
Reconfigurable manufacturing systems (RMS) were introduced as a new manufacturing concept for rapidly adjusting the production capacity and functionality of manufacturing systems. Hereby, the control of RMS requires realizing each desired configuration and changing between configurations on request, whereby a suitable design approach should scale to large-scale systems. In this thesis, we develop a controller design method for RMS that supports modular design and is scalable to RMS of large size. As the f...
Operation assignment and capacity allocation problem in automated manufacturing systems
Bilgin, Selin; Azizoğlu, Meral (Elsevier BV, 2009-03-01)
We address an operation assignment and capacity allocation problem that arises in semiconductor industries and flexible manufacturing systems. We assume the automated machines have scarce time and tool magazine capacities and the tools are available in limited quantities. The aim is to select a subset of operations with maximum total weight. We show that the problem is NP-hard in the strong sense, develop two heuristics and a Tabu Search procedure. The results of our computational tests have revealed that o...
Optimal configuration changes for reconfigurable manufacturing systems
Schmidt, Klaus Verner (2013-01-01)
Reconfigurable manufacturing systems (RMSs) are designed to quickly adapt to new products and production requirements. To this end, RMSs need to be able to perform fast changes between different configurations. This paper investigates the reconfiguration of RMSs in a supervisory control framework. Different from previous work, we formulate and solve a reconfiguration problem that allows to start a newly requested configuration before the previously active configuration has been completed. Our solution is op...
Nickel and Gold Coatings of Germanium and Kovar Substrates
Cetin, Yasin; ERDOĞAN, METEHAN; Demirci, Gokhan; Karakaya, İshak (2016-06-02)
The integration of germanium to other materials such as Kovar® (registered trademark of Carpenter Technology Corporation), an Fe-Ni-Co alloy, by soldering requires a surface preparation due to poor wetting characteristics of germanium. Coating (metallization) by successive electroplating of 3 mm wide nickel and gold frames well adhered to the outer edge of a circular germanium window and kovar body was applied to attain successful joining of germanium to kovar. Surface cleaning of parts to be joined or plat...
Utility analysis and computer simulation of RFID technologies in the supply chain applications of production systems
Bolatlı, Yurtseven; Eren, Pekin Erhan; Department of Information Systems (2009)
In this thesis, the feasibility of deploying RFID technologies in the case of “lowvolume high-value” products is considered by focusing on the production processes of a real company. First, the processes of the company are examined and associated problems are determined. Accordingly, a simulation of the current situation is constructed by using the discrete event simulation technique, in order to obtain an accurate model. In addition to modeling the current situation, this simulation model provides a flexib...
Citation Formats
A. Nooruldeen and K. V. Schmidt, “Order-Preserving Languages for the Supervisory Control of Automated Manufacturing Systems,” IEEE ACCESS, pp. 131901–131919, 2020, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/46251.