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

International Journal of Production Research

Volumn 44, Issue 20, 2006, Pages 4273-4295

  Shin, D ^a   Wysk, R A ^b   Rothrock, L ^b  

^a Hanyang University   (South Korea)

^b The Center for Nanotechnology Education and Utilization   (United States)

Author keywords

Communicating finite state machine; Formal model; Human material handler; Human automation interaction; Shop floor control system

Indexed keywords

CONTROL EQUIPMENT; CONTROL SYSTEMS; INTELLIGENT AGENTS; INTERFACES (COMPUTER); PRODUCTION CONTROL;

COMMUNICATING FINITE STATE MACHINES; FORMAL MODELS; HUMAN MATERIAL HANDLER; HUMAN-AUTOMATION INTERACTION; SHOP FLOOR CONTROL SYSTEMS;

MAN MACHINE SYSTEMS;

EID: 33748564958     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540500497074     Document Type: Article

References (35)

1. Adams, J.A., 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, in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 1995, pp. 200-205.
2. Aigner, P. and McCarragher, B.J., Modeling and constraining human interactions in shared control utilising a discrete event framework. IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans, 2000, 30, 369-379.
3. Akesson, K.J.S. and Ferreira, P.M., Hybrid computer-human supervision of discrete event systems, in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '02), 2002, pp. 2321-2326.
4. Bochmann, G. and Sunshine, C., Formal methods in communication protocol design. IEEE Trans. Com., 1980, 28, 624-631.
5. Brand, D. and Zafiropulo, P., On communicating finite-state machines. J. Assoc. Comp. Mach., 1983, 30, 323-342.
6. Castillo, I. and Smith, J.S., Formal modeling methodologies for manufacturing systems control: survey and comparison. J. Manuf. Syst., 2002, 21, 40-57.
7. Chaar, J.K., Volz, R.A. and Davidson, E.S., An integrated approach to developing manufacturing control software, in Proceedings of the IEEE International Conference on Robotics and Automation, 1991, pp. 1979-1984.
8. Choi, B.K. and Kim, B.H., A human-centered VMS architecture for next generation manufacturing, in Proceedings of the International CIPR Design Seminar, 2000, pp. 169-174.
9. Christofferson, K. and Woods, D.D., How to make automated systems team players. In Advances in Human Performance and Cognitive Engineering Research, edited by E. Salas, pp. 1-12, 2002 (Elsevier: Boston, MA).
10. Clarke, E.M. and Wing, J.M., Formal methods: state of the art and future directions. ACM Computing Surveys (CSUR), 1996, 28, 626-643.
11. Cost, F.t.g.o.F.A., Architectural and behavioral modeling in computer communication, in Proceedings of the IFIP WG 103 Working Conference on Distributed Processing, 1987, pp. 53-70.
12. Crandall, J.W. and Goodrich, M.A., Characterising efficiency of human robot interaction: a case study of shared-control teleoperation, in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and System, 2002, pp. 1290-1295.
13. Crow, J., Javaux, D. and Rushby, J., Models and mechanised methods that integrate human factors into automation design, in Proceedings of the International Conference on Human-Computer Interaction in Aeronautics (HCU-Aero 2000), 2000, pp. 163-168.
14. Degani, A. and Heymann, M., Formal verification of human-automation interaction. Human Factors, 2002, 44, 28-43.
15. Graefe, V. and Bischoff, R., A human interface for an intelligent mobile robot, in Proceedings of the 6th IEEE International Workshop on Robot and Human Communication (RO-MAN '97), 1997, pp. 194-199.
16. Gude, D. and Schmidt, K.-H., Preventive maintenance of advanced manufacturing systems: a laboratory experiment and its implications for the human-centered approach. Int. J. Human Fact. Manuf., 1993, 3, 35-350.
17. Jagacinski, R.J. and Flach, J.M., Control Theory for Humans: Quantitative Approaches to Modeling Performance, 2003 (Lawrence Erlbaum: Mahwah, NJ).
18. Jamieson, G.A. and Vicente, K.J., Implications of a control-theoretic approach to human-automation-plant interface design, in Proceedings of the Fourth Annual Symposium on Human Interaction with Complex Systems, 1998, pp. 90-98.
19. Joshi, S.B., Mettala, E.G., Smith, J.S. and Wysk, R.A., Formal models for control of flexible manufacturing cells: physical and system model. IEEE Trans. Robot. & Autom., 1995, 11, 558-570.
20. Kaber, D.B., Riley, J.M., Tan, K.-W. and Endsley, M.R., On the design of adaptive automation for complex systems. Int. J. Cog. Ergon., 2001, 5, 37-57.
21. Kidd, P.T., Human factors in CIM: a European perspective, in Proceedings of the IEE Colloquium on Human Factor in CIM, 1990, pp. 2/1-2/7.
22. King, P.W., Formalisation of protocol engineering concepts. IEEE Trans. Computers, 1991, 40, 387-403.
23. Kraiss, K.-F. and Hamacher, N., Concepts of user centered automation. Aero. Sci. & Tech., 2001, 5, 505-510.
24. Nakauchi, Y., Kawasugi, K., Okada, T., Yamasaki, N. and Anzai, Y., Human-robot interface architecture for distributed environments, in Proceedings of the IEEE International Workshop on Robot and Human Communication, 1992, pp. 413-418.
25. Naylor, A.W. and Maletz, M.C., The manufacturing game: a formal approach to manufacturing software. IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans, 1986, 16, 321-334.
26. Naylor, A.W. and Volz, R.A., Design of integrated manufacturing system control software. IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans, 1987, 17, 881-897.
27. Parasuraman, R., Sheridan, T.B. and Wickens, C.D., A model for types and levels of human interaction with automation. IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans, 2000, 30, 286-297.
28. Ramadge, P.J.G. and Wonham, W.M., Supervisory control of a class of discrete-event systems. SIAM Journal of Control and Optimisation, 1987, 25, 206-230.
29. Sheridan, T.B., Function allocation: algorithm, alchemy or apostasy? International Journal of Human-Computer Studies, 2000, 52, 203-216.
30. Shin, D., Wysk, R.A. 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 www.personal.psu.edu/ ~dus122/docs/Article.pdf (accessed 2005).
31. Smith, J.S., A formal design and development methodology for shop floor control in computer integrated manufacturing. PhD thesis, University Park, The Pennsylvania State University, 1992.
32. Smith, J.S., Joshi, S.B. and Qiu, R.G., Message-based part state graphs (MPSG): a formal model for shop-floor control implementation. Int. J. Prod. Res., 2003, 41, 1739-1764.
33. Sun, H. and Frick, J., A shift from CIM to CHIM. Int. J. Comp. Integ. Manuf., 1999, 12, 461-469.
34. Wysk, R.A. and Smith, J.S., A formal functional characterisation of shop floor control. Comp. & Indust. Eng. - Special Issue of Manuf. Syst., 1995, 28, 631-643.
35. Yang, S.M. and Lee, S.Y., An approach to a human-centered CIM based on production information systems. Int. J. Human Factors Manuf., 1996, 6, 349-363.