year 1997 
author Sangkyun Kim 
Keyword Computer Integrated Manufacturing, Cell Control, Discrete Event Dynamic System Control, Maximally Permissive Adaptive Control 
Abstract For an automated manufacturing system to operate successfully, there should exist software support to integrate and operate the system effectively in addition to hardware support including highly automated machines and reliable communication systems. But, in reality, while the technological achievements in electronics and communications made great strides in the physical integration of manufacturing facilities under the principle of standardization and modularization, software technology necessary to control and manage the system on such physical backgrounds is not so much matured that some people even regards it as one of the main causes of the failure of automatization. Therefore, it is highly important to establish methodologies and software technologies to design and implement control softwares effectively. Such an effort is in line with the standardization and modularization trends of the manufacturing sector.

In this thesis, we discuss on a methodology to support synthesis of a control logic and implementation of a control software based on the characteristics of an automated manufacturing cell as a discrete-event dynamic system. The basic strategy for generating control logic we adopt is that of systhesis, which ease the automatic reconstruction of the control logic against changes in system structure. For these, we specifically discussed on methods for modeling target manufacturing systems, tasks, and control requirements, for synthesizing maximally permissive control logic satisfying control requirements, and for implementing cell control software which incorporates the synthesized control logic.

Control model consists of plant model, task model, and control requirements model. First, we define resource models to describe the behavior of component resources for a manufacturing cell. Essentially the overall behavior of the cell which is characterized by the interactions among the components are modeled by the command-response sequences among them. Similarly the behavior of a task which must be processed within the cell is also modeled by the command-response sequences which can occur while processing the task within the cell. We use finite state automata called CoreNet to model such interactions. A CoreNet describes the evolutionary pattern of the state transition of a system according to the exchanges of command-response messages. Control requirements involve rules which should be imposed on the system to restrict the overall behavior of it to a certain bound. Insisting mutual exclusion principle on sharable resources, preventing conflicts and deadlocks, and keeping priorities are examples of control requirements. We summarize the possible requirements and discusses on appropriate modeling methods such as state-constraints or events-constraints.

We adopt the supervisory control approach under the framework of Ramadge and Wonham to synthesize control logic for a manufacturing cell. Specifically, we propose and use an improved version of the variant lookahead policy to extract the maximally permissive control logic guaranteeing satisfaction of the control requirements from the control models. The proposed policy is shown to be equivalent to that of Ramadge and Wonham. Moreover, we propose a maximally permissive adaptive control policy which takes into account changes in the set of concurrent tasks within the cell due to newly input tasks. Under the policy we can show that the successive control rules are consistent through the analysis of a dynamic equation describing the evolution of control models and control rules.

Lastly, we propose an architecture for the cell control software which embeds the proposed control policies and develop an object-oriented class library to support the rapid implementation of the event-driven controller. The operation of the library is demonstrated using an example FMC. 
c PhD 

Download :

번호 c year 제목 author
61 MS  2003  Production Planning and Distribution Planning using Demand based mixed Genetic Algorithm in a Supply Chain Jung Im 
60 MS  2003  Design of a BOF Blowing Control Model Using Artificail Intelligence Jungjoon Park 
59 PhD  2003  Process Modeling and Performance Analysis Methodology toward Optimal Design of Manufacturing Systems [30] Kichang Lee 
58 PhD  2002  Flexible Job Shop Scheduling with Multi-level Job Structures [16] Yangja Jang 
57 MS  2002  A combined DEA and BSC methodology for evaluating organization efficiency [1] Bumsoo Kim 
56 MS  2002  Design and Implementation of Model Management System for Supply Chain Planning [1] Youngcheol Yang 
55 MS  2001  A Study on Components Development for Production Management Daiki Min 
54 MS  2001  A Study of Decision Support for the implementation of Cellular Manufacturing Systems. [1] Muynghee Byun 
53 MS  2000  A Study on Integrated Production Planning of Distributed Manufacturing Systems on Supply Chain Dosung Go 
52 MS  2000  Job Shop Scheduling for Minimizing the Sum of Earliness and Tardiness Dongsu Park 
51 MS  2000  Design of a Hybrid System in Integrating Kanban with MRP [2] Taeyoung Song 
50 MS  2000  A Study on Work Measurement Using Image Processing [8]
49 MS  1999  A Study on the Implementation of the Speech Recognition System for the Real-Time Decision Support of Manufacturing Cells [18] Eoksu Sim 
48 MS  1999  A Study on the Development of Event-driven MRP Components Considering Capacity Constraints [1] Seunghyun Yoon 
47 MS  1999  An Evaluation of Workload Limited Order Release Strategies considering Planning Stage in a Jop Shop Byeongdae Choi 
46 PhD  1999  A Study on the Manufacturing System State Based Scheduler using Neural Network and Simulator [20] Kitae Kim 
45 PhD  1999  A Study on Job Shop Scheduling Problems considering Production Capacity Adjustment [16] Daeyoung Chung 
44 MS  1998  Design of Integrated BOM Management System supporting Multiple Views Keumseok Kang 
43 MS  1998  A Study on UML representation of CIM-OSA and availability of analysis and design pattern in CIM-OSA [1] Seungoh Han 
42 MS  1998  A study on an efficient real-time deadlock-free control algorithm by using graph-theoretic approach [27] Jungwoon Yoo 
41 PhD  1997  A Study on the Integration of Loading and Scheduling in Flexible Manufacturing Systems [21] Sangbok Woo 
40 PhD  1997  A Study on FMS Design Justification Considering Part Type Selection and Performance Evaluation Hosub Shin 
» PhD  1997  Computer-Aided Synthesis of the Execution Controllers for Workcells in Computer Integrated Manufacturing Systems [18] Sangkyun Kim 
38 MS  1997  A New Approach to Master Production Scheduling in the MRP environment [1] Sangdo Choi 
37 MS  1997  A Study on FMS Scheduling Problems Based on Priority Functions Generated by Genetic Programming ChangUk Kim 
36 MS  1997  A Scheduling Algorithm Considering Subcontractor and Machine Setup Cost in MRP Environment [1] Kichang Lee 
35 PhD  1997  A Study on the Integration of Process Planning and Scheduling [3] Kidong Kim 
34 PhD  1996  A Design Support System for the Process Design of Computer Integrated Manufacturing [2] Chankwon Park 
33 PhD  1996  An Improved Scheduling Heuristic Based on Batch Splitting Method for The Job Shop Scheduling Problem [4] Hanil Jeong 
32 MS  1996  A Study on the Generation and DB Construction of Modular BOM [1] Yonggu Ji 
31 MS  1995  A Study on the Group Scheduling Problem with Sequence-dependent Set-up Times in a Multi-stage Cellular Manufacturing Systems Jaesoo Shim 
30 MS  1995  A study on Real-Time Collection of Shop Floor Data Using Speech Recognition [2] Namjoo Kim 
29 MS  1995  An Object-Oriented Framework for the Implementation of Distributed Shop Floor Control in FMS [2] Kyungsuk Lee 
28 MS  1995  A study on intelligent dispatching strategy in Automated Manufacturing Systems [5] Seongwoo Lee 
27 MS  1995  A Study on knowledge Acquisition for Simulation-based Scheduling Expert System [1] Soohyun Lee 
26 PhD  1995  Design Support System for the Conceptual Design of Manufacturing Databases [13] Kitae Shin 
25 MS  1994  A Study on Development of a Knowledge Based Scheduler and Knowledge Acquisition through Simulation [1] Kitae Kim 
24 MS  1994  A Study on Distributed Shop Floor Control of Flexible Manufacturing Systems [4] Daeyoung Chung 
23 MS  1994  A Finitely Recursive Processes Approach to Modeling and Control of an FMC Jaeheuk Choi 
22 PhD  1994  A Study on Design of a Cooperative- Distributed Shop Floor Control System for Computer Integrated Manufacturing [19] Namkyu Park 
21 MS  1993  A Supervisory Control Approach to Rapid Implementation of Low-Level Control Software for FMC [1] Sangkyun Kim 
20 MS  1993  A Study on the FMS Shop Floor Control by Bidding among Autonomous Objects Jangsuk Moon 
19 MS  1993  A Study on Effects of Order Release Policies to Performance of Manufacturing Systems Choonghwan Ahn 
18 MS  1993  A Comparative Analysis of Production Control Policies under Production Uncertainty [5] Janghan Lee 
17 MS  1993  A Study on the Computer-Aided Process Planning for Rotational Parts Considering Machine Status [1] Sungbum Chun 
16 MS  1992  A Decision Support System for A Machine Specifications in Design of An FMS [6] Youngkwan Ko 
15 MS  1992  Event-Driven On-Line Operational Control of Flexible Manufacturing Systems Jonghun Park 
14 MS  1992  A Study on Production Planning Problems in a Flexible Machining and Assembly System [1] Sukang Lee 
13 PhD  1991  An Integrated Decision Support System for FMS Planning and Control Problems [11] Seongyoung Jang 
12 MS  1991  A Study on Image Processing and CAD - Vision System Interface of Manufactured Parts [1] Kidong Kim