Abstract
This paper presents a formal model of the execution portion of shop-floor controllers that operate in a distributed control environment. This model, called a message-based part state graph (MPSG), represents the execution module of shop-floor controller as a communicating finite state machine. Individual controllers in a distributed environment communicate using the defined protocol to oversee floor operations. The aim has been to use this formal model as a basis for developing the control software. Known methods for generating lexical analysers based on the underlying deterministic finite automaton model are used to generate the execution portion of shop-floor controllers. The implementation of the MPSG model in a hierarchical shop-floor control system is described.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 1739-1764 |
| Number of pages | 26 |
| Journal | International Journal of Production Research |
| Volume | 41 |
| Issue number | 8 |
| DOIs | |
| State | Published - May 20 2003 |
All Science Journal Classification (ASJC) codes
- Strategy and Management
- Management Science and Operations Research
- Industrial and Manufacturing Engineering