loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Devinder Thapa, Ajou University, Korea
Jaeil Park, Ajou University, Korea
Gi-Nam Wang, Ajou University, Korea
Dongmin Shin, Hanyang University, Korea
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.