-
1
-
-
0029206025
-
Cooperative material handling by human and robotic agents: Module development and system synthesis
-
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.
-
(1995)
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems
, pp. 200-205
-
-
Adams, J.A.1
Bajcsy, R.2
Kosecka, J.3
Kumar, V.4
Mandelbaum, R.5
Mintz, M.6
Paul, R.7
Wang, C.8
Yamamoto, Y.9
Yun, X.10
-
2
-
-
0033704175
-
Modeling and constraining human interactions in shared control utilising a discrete event framework
-
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.
-
(2000)
IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans
, vol.30
, pp. 369-379
-
-
Aigner, P.1
McCarragher, B.J.2
-
4
-
-
0019009081
-
Formal methods in communication protocol design
-
Bochmann, G. and Sunshine, C., Formal methods in communication protocol design. IEEE Trans. Com., 1980, 28, 624-631.
-
(1980)
IEEE Trans. Com.
, vol.28
, pp. 624-631
-
-
Bochmann, G.1
Sunshine, C.2
-
5
-
-
0020735797
-
On communicating finite-state machines
-
Brand, D. and Zafiropulo, P., On communicating finite-state machines. J. Assoc. Comp. Mach., 1983, 30, 323-342.
-
(1983)
J. Assoc. Comp. Mach.
, vol.30
, pp. 323-342
-
-
Brand, D.1
Zafiropulo, P.2
-
6
-
-
0042348004
-
Formal modeling methodologies for manufacturing systems control: Survey and comparison
-
Castillo, I. and Smith, J.S., Formal modeling methodologies for manufacturing systems control: survey and comparison. J. Manuf. Syst., 2002, 21, 40-57.
-
(2002)
J. Manuf. Syst.
, vol.21
, pp. 40-57
-
-
Castillo, I.1
Smith, J.S.2
-
7
-
-
0025849375
-
An integrated approach to developing manufacturing control software
-
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.
-
(1991)
Proceedings of the IEEE International Conference on Robotics and Automation
, pp. 1979-1984
-
-
Chaar, J.K.1
Volz, R.A.2
Davidson, E.S.3
-
9
-
-
35448939214
-
How to make automated systems team players
-
edited by E. Salas (Elsevier: Boston, MA)
-
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).
-
(2002)
Advances in Human Performance and Cognitive Engineering Research
, pp. 1-12
-
-
Christofferson, K.1
Woods, D.D.2
-
10
-
-
0000289556
-
Formal methods: State of the art and future directions
-
Clarke, E.M. and Wing, J.M., Formal methods: state of the art and future directions. ACM Computing Surveys (CSUR), 1996, 28, 626-643.
-
(1996)
ACM Computing Surveys (CSUR)
, vol.28
, pp. 626-643
-
-
Clarke, E.M.1
Wing, J.M.2
-
13
-
-
0347273016
-
Models and mechanised methods that integrate human factors into automation design
-
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.
-
(2000)
Proceedings of the International Conference on Human-computer Interaction in Aeronautics (HCU-Aero 2000)
, pp. 163-168
-
-
Crow, J.1
Javaux, D.2
Rushby, J.3
-
14
-
-
0036301137
-
Formal verification of human-automation interaction
-
Degani, A. and Heymann, M., Formal verification of human-automation interaction. Human Factors, 2002, 44, 28-43.
-
(2002)
Human Factors
, vol.44
, pp. 28-43
-
-
Degani, A.1
Heymann, M.2
-
16
-
-
0027677959
-
Preventive maintenance of advanced manufacturing systems: A laboratory experiment and its implications for the human-centered approach
-
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.
-
(1993)
Int. J. Human Fact. Manuf.
, vol.3
, pp. 35-350
-
-
Gude, D.1
Schmidt, K.-H.2
-
19
-
-
0029354474
-
Formal models for control of flexible manufacturing cells: Physical and system model
-
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.
-
(1995)
IEEE Trans. Robot. & Autom.
, vol.11
, pp. 558-570
-
-
Joshi, S.B.1
Mettala, E.G.2
Smith, J.S.3
Wysk, R.A.4
-
20
-
-
0013117417
-
On the design of adaptive automation for complex systems
-
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.
-
(2001)
Int. J. Cog. Ergon.
, vol.5
, pp. 37-57
-
-
Kaber, D.B.1
Riley, J.M.2
Tan, K.-W.3
Endsley, M.R.4
-
22
-
-
0026137729
-
Formalisation of protocol engineering concepts
-
King, P.W., Formalisation of protocol engineering concepts. IEEE Trans. Computers, 1991, 40, 387-403.
-
(1991)
IEEE Trans. Computers
, vol.40
, pp. 387-403
-
-
King, P.W.1
-
23
-
-
0035744713
-
Concepts of user centered automation
-
Kraiss, K.-F. and Hamacher, N., Concepts of user centered automation. Aero. Sci. & Tech., 2001, 5, 505-510.
-
(2001)
Aero. Sci. & Tech.
, vol.5
, pp. 505-510
-
-
Kraiss, K.-F.1
Hamacher, N.2
-
24
-
-
33947166020
-
Human-robot interface architecture for distributed environments
-
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.
-
(1992)
Proceedings of the IEEE International Workshop on Robot and Human Communication
, pp. 413-418
-
-
Nakauchi, Y.1
Kawasugi, K.2
Okada, T.3
Yamasaki, N.4
Anzai, Y.5
-
25
-
-
0022717936
-
The manufacturing game: A formal approach to manufacturing software
-
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.
-
(1986)
IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans
, vol.16
, pp. 321-334
-
-
Naylor, A.W.1
Maletz, M.C.2
-
26
-
-
0023531253
-
Design of integrated manufacturing system control software
-
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.
-
(1987)
IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans
, vol.17
, pp. 881-897
-
-
Naylor, A.W.1
Volz, R.A.2
-
27
-
-
0033705992
-
A model for types and levels of human interaction with automation
-
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.
-
(2000)
IEEE Trans. Syst., Man and Cyber., Part A: Syst. & Humans
, vol.30
, pp. 286-297
-
-
Parasuraman, R.1
Sheridan, T.B.2
Wickens, C.D.3
-
28
-
-
0023104549
-
Supervisory control of a class of discrete-event systems
-
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.
-
(1987)
SIAM Journal of Control and Optimisation
, vol.25
, pp. 206-230
-
-
Ramadge, P.J.G.1
Wonham, W.M.2
-
29
-
-
0033746364
-
Function allocation: Algorithm, alchemy or apostasy?
-
Sheridan, T.B., Function allocation: algorithm, alchemy or apostasy? International Journal of Human-Computer Studies, 2000, 52, 203-216.
-
(2000)
International Journal of Human-computer Studies
, vol.52
, pp. 203-216
-
-
Sheridan, T.B.1
-
30
-
-
33748582040
-
A formal model of human material-handling tasks for control of manufacturing systems
-
accessed 2005
-
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).
-
IEEE Transactions on Systems, Man and Cybernetics
-
-
Shin, D.1
Wysk, R.A.2
Rothrock, L.3
-
32
-
-
0242364637
-
Message-based part state graphs (MPSG): A formal model for shop-floor control implementation
-
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.
-
(2003)
Int. J. Prod. Res.
, vol.41
, pp. 1739-1764
-
-
Smith, J.S.1
Joshi, S.B.2
Qiu, R.G.3
-
33
-
-
0345762923
-
A shift from CIM to CHIM
-
Sun, H. and Frick, J., A shift from CIM to CHIM. Int. J. Comp. Integ. Manuf., 1999, 12, 461-469.
-
(1999)
Int. J. Comp. Integ. Manuf.
, vol.12
, pp. 461-469
-
-
Sun, H.1
Frick, J.2
-
34
-
-
0029345855
-
A formal functional characterisation of shop floor control
-
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.
-
(1995)
Comp. & Indust. Eng. - Special Issue of Manuf. Syst.
, vol.28
, pp. 631-643
-
-
Wysk, R.A.1
Smith, J.S.2
-
35
-
-
7444234436
-
An approach to a human-centered CIM based on production information systems
-
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.
-
(1996)
Int. J. Human Factors Manuf.
, vol.6
, pp. 349-363
-
-
Yang, S.M.1
Lee, S.Y.2
|