A formal control-theoretic model of a human–automation interactive manufacturing system control

References

• Adams , JA , Bajcsy , R , Kosecka , J , Kumar , V , Mandelbaum , R , Mintz , M , Paul , R , Wang , C , Yamamoto , Y and Yun , X . Cooperative material handling by human and robotic agents: module development and system synthesis . Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems . pp. 200 – 205 .
   Google Scholar
• Aigner , P and McCarragher , BJ . 2000 . Modeling and constraining human interactions in shared control utilising a discrete event framework . IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans , 30 : 369 – 379 .
   Google Scholar
• Akesson , KJS and Ferreira , PM . Hybrid computer-human supervision of discrete event systems . Proceedings of the IEEE International Conference on Robotics and Automation (ICRA ’02) . pp. 2321 – 2326 .
   Google Scholar
• Bochmann , G and Sunshine , C . 1980 . Formal methods in communication protocol design . IEEE Trans. Com. , 28 : 624 – 631 .
   Web of Science ®Google Scholar
• Brand , D and Zafiropulo , P . 1983 . On communicating finite-state machines . J. Assoc. Comp. Mach. , 30 : 323 – 342 .
   Web of Science ®Google Scholar
• Castillo , I and Smith , JS . 2002 . Formal modeling methodologies for manufacturing systems control: survey and comparison . J. Manuf. Syst. , 21 : 40 – 57 .
   Web of Science ®Google Scholar
• Chaar , JK , Volz , RA and Davidson , ES . An integrated approach to developing manufacturing control software . Proceedings of the IEEE International Conference on Robotics and Automation . pp. 1979 – 1984 .
   Google Scholar
• Choi , BK and Kim , BH . A human-centered VMS architecture for next generation manufacturing . Proceedings of the International CIPR Design Seminar . pp. 169 – 174 .
   Google Scholar
• Christofferson , K and Woods , DD . 2002 . “ How to make automated systems team players ” . In Advances in Human Performance and Cognitive Engineering Research , Edited by: Salas , E . 1 – 12 . Boston, MA : Elsevier .
   Google Scholar
• Clarke , EM and Wing , JM . 1996 . Formal methods: state of the art and future directions . ACM Computing Surveys (CSUR) , 28 : 626 – 643 .
   Web of Science ®Google Scholar
• Cost , FtgoFA . 1987 . “ Architectural and behavioral modeling in computer communication ” . In Proceedings of the IFIP WG 10.3 Working Conference on Distributed Processing 53 – 70 .
   Google Scholar
• Crandall , JW and Goodrich , MA . Characterising efficiency of human robot interaction: a case study of shared-control teleoperation . Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and System . pp. 1290 – 1295 .
   Google Scholar
• Crow , J , Javaux , D and Rushby , J . Models and mechanised methods that integrate human factors into automation design . Proceedings of the International Conference on Human-Computer Interaction in Aeronautics (HCU-Aero 2000) . pp. 163 – 168 .
   Google Scholar
• Degani , A and Heymann , M . 2002 . Formal verification of human–automation interaction . Human Factors , 44 : 28 – 43 .
   PubMed Web of Science ®Google Scholar
• Graefe , V and Bischoff , R . A human interface for an intelligent mobile robot . Proceedings of the 6th IEEE International Workshop on Robot and Human Communication (RO-MAN ’97) . pp. 194 – 199 .
   Google Scholar
• Gude , D and Schmidt , K-H . 1993 . Preventive maintenance of advanced manufacturing systems: a laboratory experiment and its implications for the human-centered approach . Int. J. Human Fact. Manuf. , 3 : 35 – 350 .
   Google Scholar
• Jagacinski , RJ and Flach , JM . 2003 . Control Theory for Humans: Quantitative Approaches to Modeling Performance , Mahwah, NJ : Lawrence Erlbaum .
   Google Scholar
• Jamieson , GA and Vicente , KJ . Implications of a control-theoretic approach to human-automation-plant interface design . Proceedings of the Fourth Annual Symposium on Human Interaction with Complex Systems . pp. 90 – 98 .
   Google Scholar
• Joshi , SB , Mettala , EG , Smith , JS and Wysk , RA . 1995 . Formal models for control of flexible manufacturing cells: physical and system model . IEEE Trans. Robot. & Autom. , 11 : 558 – 570 .
   Google Scholar
• Kaber , DB , Riley , JM , Tan , K-W and Endsley , MR . 2001 . On the design of adaptive automation for complex systems . Int. J. Cog. Ergon. , 5 : 37 – 57 .
   Google Scholar
• Kidd , PT . Human factors in CIM: a European perspective . Proceedings of the IEE Colloquium on Human Factor in CIM . pp. 2/1 – 2/7 .
   Google Scholar
• King , PW . 1991 . Formalisation of protocol engineering concepts . IEEE Trans. Computers , 40 : 387 – 403 .
   Google Scholar
• Kraiss , K-F and Hamacher , N . 2001 . Concepts of user centered automation . Aero. Sci. & Tech. , 5 : 505 – 510 .
   Google Scholar
• Nakauchi , Y , Kawasugi , K , Okada , T , Yamasaki , N and Anzai , Y . Human-robot interface architecture for distributed environments . Proceedings of the IEEE International Workshop on Robot and Human Communication . pp. 413 – 418 .
   Google Scholar
• Naylor , AW and Maletz , MC . 1986 . The manufacturing game: a formal approach to manufacturing software . IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans , 16 : 321 – 334 .
   Web of Science ®Google Scholar
• Naylor , AW and Volz , RA . 1987 . Design of integrated manufacturing system control software . IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans , 17 : 881 – 897 .
   Web of Science ®Google Scholar
• Parasuraman , R , Sheridan , TB and Wickens , CD . 2000 . A model for types and levels of human interaction with automation . IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans , 30 : 286 – 297 .
   PubMed Web of Science ®Google Scholar
• Ramadge , PJG and Wonham , WM . 1987 . Supervisory control of a class of discrete-event systems . SIAM Journal of Control and Optimisation , 25 : 206 – 230 .
   Web of Science ®Google Scholar
• Sheridan , TB . 2000 . Function allocation: algorithm, alchemy or apostasy? . International Journal of Human-Computer Studies , 52 : 203 – 216 .
   Web of Science ®Google Scholar
• Shin , D , Wysk , RA and Rothrock , L . A formal model of human material-handling tasks for control of manufacturing systems . IEEE Transactions on Systems, Man and Cybernetics , Available online at http://www.personal.psu.edu/~dus122/docs/Article.pdf (accessed 2005)
   Google Scholar
• Smith , JS . 1992 . A formal design and development methodology for shop floor control in computer integrated manufacturing , University Park : The Pennsylvania State University . PhD thesis
   Google Scholar
• Smith , JS , Joshi , SB and Qiu , RG . 2003 . Message-based part state graphs (MPSG): a formal model for shop-floor control implementation . Int. J. Prod. Res. , 41 : 1739 – 1764 .
   Web of Science ®Google Scholar
• Sun , H and Frick , J . 1999 . A shift from CIM to CHIM . Int. J. Comp. Integ. Manuf. , 12 : 461 – 469 .
   Web of Science ®Google Scholar
• Wysk , RA and Smith , JS . 1995 . A formal functional characterisation of shop floor control . Comp. & Indust. Eng.—Special Issue of Manuf. Syst. , 28 : 631 – 643 .
   Web of Science ®Google Scholar
• Yang , SM and Lee , SY . 1996 . An approach to a human-centered CIM based on production information systems . Int. J. Human Factors Manuf. , 6 : 349 – 363 .
   Google Scholar