International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller Sydney Australia November 28-December 01 ISBN: 0-7695-2731-0
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 examples.
Index Terms:
MPSG, Shop floor Control, Finite State Automata, FMS, Verification and Validation (V&V).
Citation:
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin Shin, "Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller," cimca, pp.101, International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||