Research

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
111 PhD  1995  Design Support System for the Conceptual Design of Manufacturing Databases [13] Kitae Shin 
110 PhD  1991  An Integrated Decision Support System for FMS Planning and Control Problems [11] Seongyoung Jang 
109 PhD  1994  A Study on Design of a Cooperative- Distributed Shop Floor Control System for Computer Integrated Manufacturing [19] Namkyu Park 
108 PhD  1996  An Improved Scheduling Heuristic Based on Batch Splitting Method for The Job Shop Scheduling Problem [4] Hanil Jeong 
107 PhD  1996  A Design Support System for the Process Design of Computer Integrated Manufacturing [2] Chankwon Park 
106 PhD  1997  A Study on the Integration of Process Planning and Scheduling [3] Kidong Kim 
» PhD  1997  Computer-Aided Synthesis of the Execution Controllers for Workcells in Computer Integrated Manufacturing Systems [18] Sangkyun Kim 
104 PhD  1997  A Study on FMS Design Justification Considering Part Type Selection and Performance Evaluation Hosub Shin 
103 PhD  1997  A Study on the Integration of Loading and Scheduling in Flexible Manufacturing Systems [21] Sangbok Woo 
102 PhD  1999  A Study on Job Shop Scheduling Problems considering Production Capacity Adjustment [16] Daeyoung Chung 
101 PhD  1999  A Study on the Manufacturing System State Based Scheduler using Neural Network and Simulator [20] Kitae Kim 
100 PhD  2002  Flexible Job Shop Scheduling with Multi-level Job Structures [16] Yangja Jang 
99 PhD  2003  Process Modeling and Performance Analysis Methodology toward Optimal Design of Manufacturing Systems [30] Kichang Lee 
98 PhD  2004  Ontology Development for e-Business Integration [26] Tai-Woo Chang 
97 PhD  2005  A Study on the Integration of Quality Designing and Process Control in Steel Industry [15] Jonghan Kim 
96 PhD  2005  Performance Analysis and Network Design of Supply Chain for Strategic Decision Making [14] Eoksu Sim 
95 PhD  2005  Development of an algorithm for multi-plant production plans in a supply chain [50] Sungwon Jung 
94 PhD  2008  A study on integrated production planning and strategic framework in supply chain [15] Haejoong Kim 
93 PhD  2009  A Study for Business Process Improvement Using Real-time Information of Unbalanced Work [19] Jaehyun Kong 
92 PhD  2010  Framework for Integrative SRM System and Collaboration Scorecard [26] Jongkyoung Park 
91 PhD  2007  A Study on MRP Process Improvement in a Grid Enabled APS [2] file Hyoung-Gon Lee 
90 PhD  2010  Enhancing Flexibility and Responsiveness in Sales Order Management [54] Mokmin Park 
89 PhD  2013  Price of Simplicity under Congestion: On the Revenue and Pricing Schemes in the Telecommunication Industry [58] file Dongmyung Lee 
88 PhD  2013  A study on production scheduling problems considering differential electricity pricing and distributed generations Jun Young Moon 
87 PhD  2014  Multi-level job scheduling in a flexible discrete-part production environment Hong Bum Na 
86 PhD  2014  A study on integrative decision-making system for reconfigurable manufacturing cells Jin Wu Seo 
85 MS  1994  A Study on Distributed Shop Floor Control of Flexible Manufacturing Systems [4] Daeyoung Chung 
84 MS  1994  A Study on Development of a Knowledge Based Scheduler and Knowledge Acquisition through Simulation [1] Kitae Kim 
83 MS  1995  A Study on knowledge Acquisition for Simulation-based Scheduling Expert System [1] Soohyun Lee 
82 MS  1995  A study on intelligent dispatching strategy in Automated Manufacturing Systems [5] Seongwoo Lee 
81 MS  1988  A Simulation Study on Operating Rules of FMS Considering Tool Change Byunghoon Yoo 
80 MS  1988  Development of a Classification and Coding System through Fuzzy Sets Approach [1] Namkyu Park 
79 MS  1988  A Study on The Machine-Part Group Formation for FMS Planning and Operation Jaeyoon Kim 
78 MS  1989  A Study on the Computer and Database Location of Distributed Computer Systems in FMS [1] Kilsup Yang 
77 MS  1989  An FMS Planning Algorithm Considering Tool Magazine Capacity and Alternative Routings [6] Chankwon Park 
76 MS  1989  A Mathematical Decision Making Model for Real-Time Scheduling of an FMS Jonghan Kim 
75 MS  1995  An Object-Oriented Framework for the Implementation of Distributed Shop Floor Control in FMS [2] Kyungsuk Lee 
74 MS  1995  A study on Real-Time Collection of Shop Floor Data Using Speech Recognition [2] Namjoo Kim 
73 MS  1995  A Study on the Group Scheduling Problem with Sequence-dependent Set-up Times in a Multi-stage Cellular Manufacturing Systems Jaesoo Shim 
72 MS  1990  A Fuzzy Linguistic Approach to the Part Selection Problem in FMS [1] Yoosuk Hong 
71 MS  1990  A Study on Data Allocation Problems for Distributed Database Design [2] Kitae Shin 
70 MS  1991  A Study on Scheduling Problem of Hierarchically Structured Products in FMS [1] Hanil Jeong 
69 MS  1991  A Study on Performance Evaluation of Production Plan for FMS Using Queueing Network [1] Sangbok Woo 
68 MS  1991  A Study on the Layered Architecture for the Control of FMS Cells Hosub Shin 
67 MS  1991  A Study on Image Processing and CAD - Vision System Interface of Manufactured Parts [1] Kidong Kim 
66 MS  1992  A Study on Production Planning Problems in a Flexible Machining and Assembly System [1] Sukang Lee 
65 MS  1992  Event-Driven On-Line Operational Control of Flexible Manufacturing Systems Jonghun Park 
64 MS  1992  A Decision Support System for A Machine Specifications in Design of An FMS [6] Youngkwan Ko 
63 MS  1993  A Study on the Computer-Aided Process Planning for Rotational Parts Considering Machine Status [1] Sungbum Chun 
62 MS  1993  A Comparative Analysis of Production Control Policies under Production Uncertainty [5] Janghan Lee