Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 신동민 | - |
dc.date.accessioned | 2019-06-18T04:58:20Z | - |
dc.date.available | 2019-06-18T04:58:20Z | - |
dc.date.issued | 2007-07 | - |
dc.identifier.citation | 2007 IEEE International Symposium on Industrial Electronics, Page. 1962-1967 | en_US |
dc.identifier.isbn | 978-1-4244-0754-5 | - |
dc.identifier.issn | 2163-5137 | - |
dc.identifier.issn | 2163-5145 | - |
dc.identifier.uri | https://ieeexplore.ieee.org/document/4374908 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/106724 | - |
dc.description.abstract | The objective of this paper is to extend the MPSG model by introducing the temporal properties to check time constraint, and do the performance analysis of the real-time shop floor controller. The MPSG (Messagebased Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control environment. It is based on deterministic finite state automata and represents the execution module of shop-floor controller as a communicating finite state machine. However, there is still no consideration for handling the time in this framework. For this purpose, a formal model of Timed-MPSG processes is proposed in terms of a real-time part processing task. Furthermore, the conceptual idea, control flow algorithm and the implementation methodology of the Timed-MPSG are described with a simple example. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | IEEE | en_US |
dc.subject | Shop floor Control | en_US |
dc.subject | Finite State Automata | en_US |
dc.subject | Automated manufacturing System (AMS) | en_US |
dc.subject | Modeling and Simulation (M&S) | en_US |
dc.subject | Real-time systems | en_US |
dc.title | A Formal Model for Real-Time Automated Manufacturing System Control with Timed-MPSG | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1109/ISIE.2007.4374908 | - |
dc.contributor.googleauthor | Thapa, Devinder | - |
dc.contributor.googleauthor | Park, Jaeil | - |
dc.contributor.googleauthor | Park, Chang Mok | - |
dc.contributor.googleauthor | Wang, Gi-Nam | - |
dc.contributor.googleauthor | Shin, Dongmin | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF ENGINEERING SCIENCES[E] | - |
dc.sector.department | DEPARTMENT OF INDUSTRIAL AND MANAGEMENT ENGINEERING | - |
dc.identifier.pid | dmshin | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.