论文信息 - A modelling formalism for human-machine cooperative systems

A modelling formalism for human-machine cooperative systems

This paper presents a collection of models of humans involved in complex systems with a focus on control of the system while allowing human participation in decisions for system operation. The existence of a formal model that captures human behaviour in a complex system allows for the efficient development of modelling and control software of man-machine systems. This paper provides a foundation for modelling and software development for complex systems that includes human activities. A modelling formalism, based on the automata theory for human-machine cooperative systems is demonstrated in this paper in consideration with the ecological concept of affordance.

[1] Namhun Kim,et al. Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems , 2010 .

[2] M. Turvey. Affordances and Prospective Control: An Outline of the Ontology , 1992 .

[3] Richard A. Wysk,et al. A formal control-theoretic model of a human–automation interactive manufacturing system control , 2006 .

[4] Richard A. Wysk,et al. Formal approach to include a human material handler in a computer-integrated manufacturing (CIM) system , 2007 .

[5] B. P. Ziegler,et al. Theory of Modeling and Simulation , 1976 .

[6] Brett R Fajen,et al. Perceiving Possibilities for Action: On the Necessity of Calibration and Perceptual Learning for the Visual Guidance of Action , 2005, Perception.

[7] Richard A. Wysk,et al. An investigation of a human material handler on part flow in automated manufacturing systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[8] J. Gibson. The Ecological Approach to Visual Perception , 1979 .

[9] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[10] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[11] Eitan M. Gurari,et al. Introduction to the theory of computation , 1989 .