Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 신동민 | - |
dc.date.accessioned | 2019-08-20T01:36:54Z | - |
dc.date.available | 2019-08-20T01:36:54Z | - |
dc.date.issued | 2006-11 | - |
dc.identifier.citation | 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06), Article no. 4052736 | en_US |
dc.identifier.isbn | 978-076952731-4 | - |
dc.identifier.uri | https://ieeexplore.ieee.org/document/4052736 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/108771 | - |
dc.description.abstract | The MPSG (Message-based 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 describes the behavior of a controller from the parts` point of view, and each part within the domain of the controller is in a particular `state` as described by the MPSG for that controller. 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. We propose an extension of temporal properties in MPSG to model the real-time shop floor controller. It has been christened as a Timed-MPSG. It is a novel approach to deal with the auto generation of real time based controller logic for hierarchical and distributed shop floor system. In this paper we have described the conceptual idea and formal model of Timed-MPSG with suitable exaples. | en_US |
dc.description.sponsorship | This work has been partially supported by, BK21 (Brain Korea BK) and Digital manufacturing simulator and OLP system for automobile industry, South Korea. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | IEEE | en_US |
dc.subject | MPSG | en_US |
dc.subject | Shop floor control | en_US |
dc.subject | Finite state automata | en_US |
dc.subject | FMS | en_US |
dc.subject | Verification and Validation (V&V) | en_US |
dc.title | Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1109/CIMCA.2006.219 | - |
dc.contributor.googleauthor | Thapa, D. | - |
dc.contributor.googleauthor | Park, J. | - |
dc.contributor.googleauthor | Wang, G.-N. | - |
dc.contributor.googleauthor | Shin, D. | - |
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.