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

D. Shin, R. A. Wysk, L. Rothrock

Research output: Contribution to journalArticlepeer-review

21 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)4273-4295
Number of pages23
JournalInternational Journal of Production Research
Issue number20
StatePublished - Oct 15 2006

All Science Journal Classification (ASJC) codes

  • Strategy and Management
  • Management Science and Operations Research
  • Industrial and Manufacturing Engineering


Dive into the research topics of 'A formal control-theoretic model of a human-automation interactive manufacturing system control'. Together they form a unique fingerprint.

Cite this