A 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 behaviors in a complex system allows for the efficient development of modeling and control software of man-machine systems. This paper provides a foundation for modeling and software development for complex systems that includes human activities. A formalism, based on the automata theory for human-machine cooperative systems is demonstrated in this paper in consideration with the ecological concept of affordance.

关键词： Finite state automata Software development Affordances Human-machine systems

作者: Ling Rothrock Richard Wysk Namhun Kim Dongmin Shin Young-Jun Son Jaekoo Joo

作者单位: The Pennsylvania State University, University Park, PA 16802, USA Hanyang University, Ansan, Korea University of Arizona, Tucson, AZ 85721, USA Inje University, Kimhae, Korea

会议类型: 国际会议

会议名称: 第二十届国际生产研究大会

会议地点: 上海

会议语种:英文

页码: 1-5

在线出版日期: 2009-08-02（万方平台首次上网日期，不代表论文的发表时间）