216
Views
17
CrossRef citations to date
0
Altmetric
Original Articles

A formal control-theoretic model of a human–automation interactive manufacturing system control

, &
Pages 4273-4295 | Received 01 Nov 2005, Published online: 22 Feb 2007
 

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.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.