Browse

Specification and Controller Synthesis for the Hierarchical Control of FMS

Cited 0 time in Web of Science Cited 0 time in Scopus
Authors
Chang, Jin-Tae; Kim, Hun-Tai; Kang, Suk-Ho
Issue Date
1997-11
Publisher
한국경영과학회 = The Korean Operations Research and Management Science Society
Citation
International Journal of Management Science, Vol.3, No.2(1997), 71-94
Abstract
Developing FMS controllers has been a difficult problem largely because of the variety of
the system configuration. The purpose of this paper is to develop a method of building an
FMS controller. The controller consists of control module and execution module. A
hierarchically layered structure of these modules is proposed. The control module generates
abstract-level execution requested by identifying a set of activities that can be executed
without creating any irregular state. The execution module transmits the requests to
physical device controllers and reports back the completion of the requests to the control
module. Both of these two modules use Petri Net-based models. In this paper, a
controllable Petri Net model is automatically synthesized from declarative specifications
provided by a user. An execution Petri Net model for the execution module is designed to
ensure the consistency between the control module and the real target system. The
controller operates in MMS on TCP/IP and UNIX environment.
ISSN
1750-9653
Language
English
URI
http://uci.or.kr/G300-j12260797.v3n2p70

http://hdl.handle.net/10371/7596
Files in This Item:
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Industrial Engineering (산업공학과)Journal Papers (저널논문_산업공학과)
  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse