Formal approach to include a human material handler in a computer-integrated manufacturing (CIM) system

References

• Bainbridge , L . 1983 . Ironies of automation . Automatica , 19 : 775 – 779 .
   Web of Science ®Google Scholar
• Card , SK , Moran , TP and Newell , A . 1986 . “ The model human processor ” . In Handbook of Perception and Human Performance , Edited by: Boff , KR , Kaufman , L and Thomas , JP . Vol. 2 , 45.1 – 45.35 . New York : Wiley .
   Google Scholar
• Dotan , Y and Ben-Arieh , D . 1991 . Modeling flexible manufacturing systems: the concurrent logic programming approach . IEEE Trans. Robot. Automat. , 7 : 135 – 148 .
   Google Scholar
• Fitts , PM . 1951 . Human Engineering for an Effective Air Navigation and Traffic Control System , Washington, DC : National Research Council .
   Google Scholar
• Hoberecht , WC , Smith , JS and Joshi , SB . 1992 . “ Architectures for factory control ” . In AUTOFACT’92 Conference Proceedings 3.27 – 13.39 . Detroit, MI, USA
   Google Scholar
• Jones , PM and Mitchell , CM . 1994 . Model-based communicative acts: human–computer collaboration in supervisory control . Int. J. Human–Comput. Stud. , 41 : 527 – 551 .
   Web of Science ®Google Scholar
• Joshi , SB , Mettala , EG , Smith , JS and Wysk , RA . 1995a . Formal models for control of flexible manufacturing cells: physical and system model . IEEE Trans. Robot. Automat. , 11 : 558 – 570 .
   Google Scholar
• Joshi , SB , Smith , JS , Wysk , RA , Peters , BA and Pegden , C . 1995b . Rapid-CIM: an approach to rapid development of control software for FMS control . 27th CIRP International Seminar on Manufacturing Systems . 1995b , Ann Arbor, MI, USA.
   Google Scholar
• Joshi , SB , Wysk , RA and Jones , AT . 1990 . “ A scalable architecture for CIM shop floor control ” . In Proceedings of CIMCON ’90, National Institute of Standard and Technology 21 – 33 . Gaithersburg, MD, USA
   Google Scholar
• McCarthy , JC , Fallon , E and Bannon , L . 2000 . Dialogues on function allocation . Int. J. Human–Comput. Stud. , 52 : 191 – 201 .
   Web of Science ®Google Scholar
• Mettala , EG . 1989 . “ Automatic generation of control software in computer-integrated manufacturing ” . In PhD thesis Pennsylvania State University
   Google Scholar
• Moray , N , Ferrell , R , Stassen , HG , Yoerger , DR , Rouse , WB , Govindaraj , T , Mitchell , CM and Sanderson , PM . 1989 . “ Supervisory control: 30 years and counting ” . In Proceedings of IEEE International Conference on Systems , Man and Cybernetics .
   Google Scholar
• Parasuraman , R and Riley , V . 1997 . Humans and automation: use, misuse, disuse, abuse . Human Fact. , 39 : 230 – 253 .
   Web of Science ®Google Scholar
• Qiu , RB . 1996 . “ Modeling and control of a flexible manufacturing system using deterministic finite capacity automata ” . In PhD thesis Pennsylvania State University
   Google Scholar
• Qiu , RB and Joshi , SB . 1996 . “ Deterministic finite capacity automata: a solution to reduce the complexity of modeling and control of automated manufacturing systems ” . In Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design 218 – 223 . Dearborn, MI, USA
   Google Scholar
• Ramadge , PJ and Wonham , WM . 1989 . The control of discrete event systems . Proc. IEEE , 77 : 81 – 98 .
   Web of Science ®Google Scholar
• Rouse , WB . 1981 . Human–computer interaction in the control of dynamic systems . Comput. Surv. , 13 : 71 – 99 .
   Web of Science ®Google Scholar
• Sheridan , TB . 2000 . Function allocation: algorithm, alchemy or apostasy? . Int. J. Human–Comput. Stud. , 52 : 203 – 216 .
   Web of Science ®Google Scholar
• Sheridan , TB . 1997a . “ Supervisory control ” . In Handbook of Human Factors and Ergonomics , Edited by: Salvendy , G . 1295 – 1327 . New York : Wiley .
   Google Scholar
• Sheridan , TB . 1988 . “ Task allocation and supervisory control ” . In Handbook of Human–Computer Interaction , Edited by: Helander , M . 159 – 173 . New York : North-Holland .
   Google Scholar
• Sheridan , TB . 1997b . “ Task analysis, task allocation and supervisory control ” . In Handbook of Human–Computer Interaction, , 2nd , Edited by: Helander , MG , Landauer , T and Prabhu , PV . 87 – 106 . New York : Elsevier .
   Google Scholar
• Sheridan , TB . 1992 . Telerobotics, Automation, and Human Supervisory Control , Cambridge, MA : MIT Press .
   Google Scholar
• Smith , JS . 1992 . “ A formal design and development methodology for shop floor control in computer integrated manufacturing ” . In PhD thesis Pennsylvania State University
   Google Scholar
• Smith , JS , Hoberecht , WC and Joshi , SB . 1996 . Shop-floor control architecture for computer-integrated manufacturing . IIE Trans. , 28 : 783 – 794 .
   Web of Science ®Google Scholar
• Smith , JS and Joshi , SB . 1993 . “ Formal model for shop floor control in automated manufacturing ” . In Proceedings of the 2nd Industrial Engineering Research Conference 31 – 35 . Los Angeles, CA, USA
   Google Scholar
• Smith , JS , Wysk , RA , Sturrok , DT , Ramaswamy , SE , Smith , GD and Joshi , SB . 1994 . “ Discrete event simulation for shop floor control ” . In Proceedings of the 1994 Winter Simulation Conference 962 – 969 . Orlando, FL, USA
   Google Scholar
• Son , YJ , Joshi , SB , Wysk , RA and Smith , JS . 2002 . Simulation-based shop floor control . J. Manuf. Sys. , 21 : 380 – 394 .
   Web of Science ®Google Scholar
• Steele , J and Wysk , RA . 2001 . Resource modeling for the integration of the manufacturing enterprise . J. Manuf. Sys. , 19 : 407 – 427 .
   Web of Science ®Google Scholar
• Wysk , RA , Peters , BA and Smith , JS . 1995 . A formal process planning schema for shop floor control . Eng. Des. Automat. , 1 : 3 – 10 .
   Google Scholar