Publications
Detailed Information
Specification and Controller Synthesis for the Hierarchical Control of FMS
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chang, Jin-Tae | - |
dc.contributor.author | Kim, Hun-Tai | - |
dc.contributor.author | Kang, Suk-Ho | - |
dc.date.accessioned | 2009-08-24T07:56:14Z | - |
dc.date.available | 2009-08-24T07:56:14Z | - |
dc.date.issued | 1997-11 | - |
dc.identifier.citation | International Journal of Management Science, Vol.3, No.2(1997), 71-94 | en |
dc.identifier.issn | 1750-9653 | - |
dc.identifier.uri | http://uci.or.kr/G300-j12260797.v3n2p70 | - |
dc.identifier.uri | https://hdl.handle.net/10371/7596 | - |
dc.description.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. | en |
dc.description.sponsorship | This research was supported by Korea Science and Engineering Foundation grant
941-1000-021-2. | en |
dc.language.iso | en | - |
dc.publisher | 한국경영과학회 = The Korean Operations Research and Management Science Society | en |
dc.title | Specification and Controller Synthesis for the Hierarchical Control of FMS | en |
dc.type | Article | en |
dc.contributor.AlternativeAuthor | 장진태 | - |
dc.contributor.AlternativeAuthor | 김훈태 | - |
dc.contributor.AlternativeAuthor | 강석호 | - |
- Appears in Collections:
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.