Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Smith et al. (2003) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: