A formal model for real-time automated manufacturing system control with timed-MPSG
- Authors
- Thapa,Devinder; Park,Jaeil; Chang, Mok Park.; Wang, Gi-Nam; Shin, Dongmin
- Issue Date
- Jun-2007
- Publisher
- 2007 IEEE International Symposium on Industrial Electronics
- Keywords
- Automated manufacturing System (AMS); Finite State Automata; Modeling and Simulation (M& S); Real-time systems; Shop floor Control
- Citation
- IEEE International Symposium on Industrial Electronics, pp.1962 - 1967
- Indexed
- SCIE
SCOPUS
- Journal Title
- IEEE International Symposium on Industrial Electronics
- Start Page
- 1962
- End Page
- 1967
- URI
- https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/44262
- DOI
- 10.1109/ISIE.2007.4374908
- ISSN
- 2163-5137
- 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 (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 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. ©2007 IEEE.
- Files in This Item
-
Go to Link
- Appears in
Collections - COLLEGE OF ENGINEERING SCIENCES > DEPARTMENT OF INDUSTRIAL & MANAGEMENT ENGINEERING > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.