메뉴 건너뛰기




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

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

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;

EID: 33748564958     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540500497074     Document Type: Article
Times cited : (21)

References (35)
  • 2
    • 0033704175 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 10
    • 0000289556 scopus 로고    scopus 로고
    • 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
  • 14
    • 0036301137 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 22
    • 0026137729 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 30
    • 33748582040 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 35
    • 7444234436 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.