Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems

N. Kim, D. Shin, R. A. Wysk, Ling Rothrock

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

Modelling complex systems poses significant challenges on how one represents the system components and interactions among them. In order to provide a systematic approach to represent human participation as a part of a dynamic system, this paper presents a formal automata model of human-machine cooperative systems that incorporates human capabilities with respect to system conditions. Specifically, we propose a control model for human-involved shop floor systems based on discrete event-based systems (DES) and an environmental concept known as an affordance. When modelling human-involved systems where a human operator is considered a crucial system component, it is necessary to analyse the model complexity that increases significantly due to a human's behavioural patterns. From the perspective of the temporal and physical state domains a human operator's behaviour is usually limited by attention and resource constraints. We investigate these limitations and map them into constrained system affordances, and then construct a formal human-machine cooperative model based on the finite state automaton (FSA) model. The proposed model can provide a framework to combine human activities into systems operations in consideration of human's effectivities and system affordances. A detailed application example is provided to illustrate that the proposed model can effectively be applied to manufacturing control systems.

Original languageEnglish (US)
Pages (from-to)1303-1320
Number of pages18
JournalInternational Journal of Production Research
Volume48
Issue number5
DOIs
StatePublished - Jan 1 2010

Fingerprint

Finite automata
Modeling
Manufacturing systems
Automata
Large scale systems
Dynamical systems
Control systems

All Science Journal Classification (ASJC) codes

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

Cite this

@article{20ca9dc6e830498fb2cbb5c5174f67ad,
title = "Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems",
abstract = "Modelling complex systems poses significant challenges on how one represents the system components and interactions among them. In order to provide a systematic approach to represent human participation as a part of a dynamic system, this paper presents a formal automata model of human-machine cooperative systems that incorporates human capabilities with respect to system conditions. Specifically, we propose a control model for human-involved shop floor systems based on discrete event-based systems (DES) and an environmental concept known as an affordance. When modelling human-involved systems where a human operator is considered a crucial system component, it is necessary to analyse the model complexity that increases significantly due to a human's behavioural patterns. From the perspective of the temporal and physical state domains a human operator's behaviour is usually limited by attention and resource constraints. We investigate these limitations and map them into constrained system affordances, and then construct a formal human-machine cooperative model based on the finite state automaton (FSA) model. The proposed model can provide a framework to combine human activities into systems operations in consideration of human's effectivities and system affordances. A detailed application example is provided to illustrate that the proposed model can effectively be applied to manufacturing control systems.",
author = "N. Kim and D. Shin and Wysk, {R. A.} and Ling Rothrock",
year = "2010",
month = "1",
day = "1",
doi = "10.1080/00207540802582235",
language = "English (US)",
volume = "48",
pages = "1303--1320",
journal = "International Journal of Production Research",
issn = "0020-7543",
publisher = "Taylor and Francis Ltd.",
number = "5",

}

Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems. / Kim, N.; Shin, D.; Wysk, R. A.; Rothrock, Ling.

In: International Journal of Production Research, Vol. 48, No. 5, 01.01.2010, p. 1303-1320.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems

AU - Kim, N.

AU - Shin, D.

AU - Wysk, R. A.

AU - Rothrock, Ling

PY - 2010/1/1

Y1 - 2010/1/1

N2 - Modelling complex systems poses significant challenges on how one represents the system components and interactions among them. In order to provide a systematic approach to represent human participation as a part of a dynamic system, this paper presents a formal automata model of human-machine cooperative systems that incorporates human capabilities with respect to system conditions. Specifically, we propose a control model for human-involved shop floor systems based on discrete event-based systems (DES) and an environmental concept known as an affordance. When modelling human-involved systems where a human operator is considered a crucial system component, it is necessary to analyse the model complexity that increases significantly due to a human's behavioural patterns. From the perspective of the temporal and physical state domains a human operator's behaviour is usually limited by attention and resource constraints. We investigate these limitations and map them into constrained system affordances, and then construct a formal human-machine cooperative model based on the finite state automaton (FSA) model. The proposed model can provide a framework to combine human activities into systems operations in consideration of human's effectivities and system affordances. A detailed application example is provided to illustrate that the proposed model can effectively be applied to manufacturing control systems.

AB - Modelling complex systems poses significant challenges on how one represents the system components and interactions among them. In order to provide a systematic approach to represent human participation as a part of a dynamic system, this paper presents a formal automata model of human-machine cooperative systems that incorporates human capabilities with respect to system conditions. Specifically, we propose a control model for human-involved shop floor systems based on discrete event-based systems (DES) and an environmental concept known as an affordance. When modelling human-involved systems where a human operator is considered a crucial system component, it is necessary to analyse the model complexity that increases significantly due to a human's behavioural patterns. From the perspective of the temporal and physical state domains a human operator's behaviour is usually limited by attention and resource constraints. We investigate these limitations and map them into constrained system affordances, and then construct a formal human-machine cooperative model based on the finite state automaton (FSA) model. The proposed model can provide a framework to combine human activities into systems operations in consideration of human's effectivities and system affordances. A detailed application example is provided to illustrate that the proposed model can effectively be applied to manufacturing control systems.

UR - http://www.scopus.com/inward/record.url?scp=74549173519&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=74549173519&partnerID=8YFLogxK

U2 - 10.1080/00207540802582235

DO - 10.1080/00207540802582235

M3 - Article

AN - SCOPUS:74549173519

VL - 48

SP - 1303

EP - 1320

JO - International Journal of Production Research

JF - International Journal of Production Research

SN - 0020-7543

IS - 5

ER -