A Formal Model for Real-Time Automated Manufacturing System Control with Timed-MPSG
- Title
- A Formal Model for Real-Time Automated Manufacturing System Control with Timed-MPSG
- Author
- 신동민
- Keywords
- Shop floor Control; Finite State Automata; Automated manufacturing System (AMS); Modeling and Simulation (M&S); Real-time systems
- Issue Date
- 2007-07
- Publisher
- IEEE
- Citation
- 2007 IEEE International Symposium on Industrial Electronics, Page. 1962-1967
- 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.
- URI
- https://ieeexplore.ieee.org/document/4374908https://repository.hanyang.ac.kr/handle/20.500.11754/106724
- ISBN
- 978-1-4244-0754-5
- ISSN
- 2163-5137; 2163-5145
- DOI
- 10.1109/ISIE.2007.4374908
- 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