Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
- Title
- Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
- Author
- 신동민
- Keywords
- MPSG; Shop floor control; Finite state automata; FMS; Verification and Validation (V&V)
- Issue Date
- 2006-11
- Publisher
- IEEE
- 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
- 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.
- URI
- https://ieeexplore.ieee.org/document/4052736https://repository.hanyang.ac.kr/handle/20.500.11754/108771
- ISBN
- 978-076952731-4
- DOI
- 10.1109/CIMCA.2006.219
- Appears in Collections:
- COLLEGE OF ENGINEERING SCIENCES[E](공학대학) > INDUSTRIAL AND MANAGEMENT ENGINEERING(산업경영공학과) > Articles
- Files in This Item:
There are no files associated with this item.
- Export
- RIS (EndNote)
- XLS (Excel)
- XML