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

References

• Altuntas , B , Wysk , RA and Rothrock , L . 2007 . Formal approach to include a human material handler in a computer-integrated manufacturing (CIM) system . International Journal of Production Research , 45 ( 9 ) : 1953 – 1971 .
   Web of Science ®Google Scholar
• Arkin , RC . 1988 . Intelligent mobile robots in the workplace: leaving the guide behind . In: Proceedings of the 1st international conference on industrial and engineering applications of artificial intelligence and expert systems . June 1988 , Tullahoma, Tennessee. pp. 553 – 561 . United States : Association for Computing Machinery .
   Google Scholar
• Brann , DB , Thurman , DA and Mitchell , CM . 25–28 August 1996 . “ Human interaction with lights-out automation: a field study ” . In Proceedings of the 3rd symposium on human interaction with complex systems (HICS '96) , 25–28 August , 276 – 283 . Dayton, Ohio, , United States : IEEE . Los Alamitos, CA
   Google Scholar
• Cassandra , CG and Lafortune , S . 1999 . Introduction to discrete event systems , Boston, MA : Springer .
   Google Scholar
• Fitts , PM . 1951 . Human engineering for an effective air navigation and traffic control system , Columbus : Foundation report. OH: Ohio State University .
   Google Scholar
• Gibson , JJ . 1979 . The ecological approach to visual perception , Boston, MA : Houghton Mifflin .
   Google Scholar
• Hopcroft , JE . 2001 . Introduction to automata theory, languages, and computation , Boston, MA : Addison-Wesley .
   Google Scholar
• Joshi , SB . 1995 . Formal models for control of flexible manufacturing cells: physical and system model . IEEE Transactions on Robotics and Automation , 11 ( 4 ) : 558 – 570 .
   Google Scholar
• Kim , N . 2007 . A formalism for affordance using finite state automata (FSA) in human-machine cooperative systems . In: Proceedings of the annual industrial engineering research conference 2007 . 19–23 May 2007 , Nashville, Tennessee. pp. 901 – 906 . Norcross, GA, , United States : Institute of Industrial Engineers .
   Google Scholar
• Kirlik , A , Miller , RA and Jagacinski , RJ . 1993 . Supervisory control in a dynamic and uncertain environment: a process model of skilled human-environment interaction . IEEE Transactions on Systems, Man, and Cybernetics , 23 ( 4 ) : 929 – 952 .
   Google Scholar
• Norman , D . 1988 . The psychology of everyday things , New York : Basic Books .
   Google Scholar
• Shin , D , Wysk , RA and Rothrock , L . 13-20 November 2004 . “ Modeling and analysis of human task-performing process in manufacturing systems with human task and error classifications ” . In Proceedings of ASME international mechanical engineering congress and exposition (IMECE2004) , 13-20 November , 427 – 435 . Anaheim, California, , United States : ASME . New York
   Google Scholar
• Shin , D , Wysk , RA and Rothrock , L . 2006a . Formal model of human material-handling tasks for control of manufacturing systems . IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans , 36 ( 4 ) : 685 – 696 .
   PubMed Web of Science ®Google Scholar
• Shin , D , Wysk , RA and Rothrock , L . 2006b . A formal control-theoretic model of a human-automation interactive manufacturing system control . International Journal of Production Research , 44 ( 20 ) : 4273 – 4295 .
   Web of Science ®Google Scholar
• Shin , D , Wysk , RA and Rothrock , L . 2006c . An investigation of a human material handler on part flow in automated manufacturing systems . IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans , 36 ( 1 ) : 123 – 135 .
   Google Scholar
• Sipser , M . 2005 . Introduction to the theory of computation, , 2nd ed , Boston, MA : Course Technology .
   Google Scholar
• Smith , JS , Joshi , SB and Qiu , RG . 2003 . Message-based part state graphs (MPSG): a formal model for shop-floor control implementation . International Journal of Production Research , 41 ( 8 ) : 1739 – 1764 .
   Web of Science ®Google Scholar
• Turing , A . 1936 . On computable numbers, with an application to the Entscheidungs problem . Proceedings of the London Mathematical Society , 2 ( 42 ) : 115 – 154 .
   Google Scholar
• Turvey , MT . 1992 . Affordance and prospective control: an outline of the ontology . Ecological Psychology , 4 ( 3 ) : 173 – 187 .
   Google Scholar
• Wells , AG . 2002 . Gibson's affordances and Turing's theory of computation . Ecological Psychology , 14 ( 2 ) : 140 – 180 .
   Google Scholar
• Zeigler , BP . 1976 . Theory of modeling and simulation , New York : John Wiley & Sons .
   Google Scholar