Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems
- 1 December 2008
- journal article
- research article
- Published by Informa UK Limited in International Journal of Production Research
- Vol. 48 (5), 1303-1320
- https://doi.org/10.1080/00207540802582235
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.Keywords
This publication has 11 references indexed in Scilit:
- Formal approach to include a human material handler in a computer-integrated manufacturing (CIM) systemInternational Journal of Production Research, 2007
- A formal control-theoretic model of a human–automation interactive manufacturing system controlInternational Journal of Production Research, 2006
- Formal model of human material-handling tasks for control of manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006
- An investigation of a human material handler on part flow in automated manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2005
- Message-based Part State Graphs (MPSG): A formal model for shop-floor control implementationInternational Journal of Production Research, 2003
- Human interaction with lights-out automation: a field studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Gibson's Affordances and Turing's Theory of ComputationEcological Psychology, 2002
- Formal models for control of flexible manufacturing cells: physical and system modelIEEE Transactions on Robotics and Automation, 1995
- Supervisory control in a dynamic and uncertain environment: a process model of skilled human-environment interactionIEEE Transactions on Systems, Man, and Cybernetics, 1993
- Affordances and Prospective Control: An Outline of the OntologyEcological Psychology, 1992