Abstract
This paper describes a human–automation interactive manufacturing system and presents a formal model for describing and controlling the system. The model presented in this paper considers a system from two perspectives: structural and operational perspectives. Human and an automated controller are considered agents that cooperate to achieve given goals by executing assigned tasks. A human–automation interaction is described with a particular communication model between two agents that exchanges messages. A system control schema and human tasks are modelled separately and then integrated in a formal manner using a modified communicating finite state machine framework. An interface model that coordinates the message exchanges between two agents is then introduced. An automated shop floor control system with a human material handler is modelled with the proposed framework and a simple illustrative example is provided.