A Formal Model for Real-Time Automated Manufacturing System Control with Timed-MPSG

摘要: The objective of this paper is to extend the MPSC model by introducing temporal properties check time constraint, and do performance analysis real-time shop floor controller. MPSG (message-based part state graph) has been developed for execution portion shop-floor controllers that operate in a distributed hierarchical control environment. It based on deterministic finite automata represents module controller as communicating machine. However, there still no consideration handling framework. For purpose, formal Timed-MPSG processes proposed terms processing task. Furthermore, conceptual idea, flow algorithm implementation methodology are described with simple example.