頁籤選單縮合
題 名 | A Supervisory Control Approach for Automatic Protocol Conversion between Manufacturing Cell and Machine Controllers |
---|---|
作 者 | 張時中; | 書刊名 | 國立臺灣大學工程學刊 |
卷 期 | 94 民94.06 |
頁 次 | 頁119-139 |
專 輯 | 工業工程與管理專輯 |
分類號 | 494.542 |
關鍵詞 | |
語 文 | 英文(English) |
英文摘要 | Communication protocol conversion for interfacing between a manufacturing cell controller and controllers of individual machines in the cell is one of the fundamental problems in factory automation. This paper develops a logical design method for automatic synthesis of the communication interfaces between machine and cell controllers. In specific, a protocol conversion problem in the context of semiconductor wafer fabrication serves as the vehicle to convey the ideas. The communicating finite state machine (CFSM) formalism is used to model the design problem. In the problem, a CFSM of the protocol converter is needed to interconnect between the CFSMs of the cell and machine controllers, i.e., it is a missing module. From a supervisory control theoretic point of view, the protocol converter provides and supervises the interacting events between the cell and machine controllers so that the overall system specification is satisfied. By combining the supervisory control theoretic point of view with the ideas of "quotient" and algorithms for missing protocol module construction, a synthesis method of five steps is developed. The method starts with CFSMs of cell and machine controllers unsupervised. It then step by step constructs a supervisory CFSM with its observation and control power gradually limited to match the role of a protocol. The resultant CFSM leads the system to desirable behaviors. The method is applied to the interface design between the controller of a rapid thermal processor and a generic cell controller. Results demonstrate that the synthesis method is feasible in automatic construction of a protocol converter for a real equipment, computationally efficient (less than 30 seconds of CUP time on a personal computer), and logically conforming to the specification of system behaviors. |
本系統中英文摘要資訊取自各篇刊載內容。