Research

year 1994 
author Jaeheuk Choi 
Keyword FMC, FRP, FSM, supervisory control, cell controller 
Abstract This research deals with the development of the formal procedure of modeling and designing a controller for an FMC. Since FMCs have various configurations and control requirements, it is not easy to develop a generic controller that is applicable to all FMCs. Thus, a kind of a formal tool and a formal controller architecture are needed. In this research, we use Finitely Recursive Processes (FRP) as a modeling tool. And we apply the supervisory control theory to our FRP model of an FMC. As a result, we can build systems whose events occur asynchronously while satisfying the desired control requirements. To recapitulate, we propose a control architecture for FMCs based on the FRP process and the supervisor process of a cell. We also present the procedure of FRP modeling and supervisor process construction of an real FMC in ASRI, Seoul National University, as an example. Finally, we present the results of the comparison between the FRP model and the FSM model in the area of FMC modeling. 
c MS 

Downlaod :

번호 c year 제목 author

등록된 글이 없습니다.