Formalizing Human-Machine Interactions for Adaptive Automation in Smart Manufacturing
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Joo, Taejong | - |
dc.contributor.author | Shin, Dongmin | - |
dc.date.accessioned | 2021-06-22T09:25:09Z | - |
dc.date.available | 2021-06-22T09:25:09Z | - |
dc.date.issued | 2019-12 | - |
dc.identifier.issn | 2168-2291 | - |
dc.identifier.issn | 2168-2305 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/2009 | - |
dc.description.abstract | Human-machine interaction is one of the most crucial aspects of advanced manufacturing systems that have advanced to so-called smart manufacturing systems. In this regard, this paper presents a framework for formalizing human-machine manufacturing systems. The human-machine system considered in this paper consists of the following three main components: a human supervisor; several cells, each of which is composed of a human operator and a machine; and interfaces. A human operator interacts with a machine in a cell and performs manufacturing tasks based on commands given by the supervisor. Meanwhile, the supervisor is responsible for performing exception handling tasks in response to unanticipated events reported by the cells. With the proposed model, desirable specifications are constructed, which include a condition free of mode confusion, manufacturing task goal reachability, and exception handling task supportability in human-machine manufacturing systems. It is also suggested that adaptive automation with varying levels of information abstraction to humans can be accommodated by the proposed framework. As an illustrative example, we demonstrate the formal models and specifications and the applicability of adaptive automation with a case study of a simple chair assembly system. | - |
dc.format.extent | 11 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.title | Formalizing Human-Machine Interactions for Adaptive Automation in Smart Manufacturing | - |
dc.type | Article | - |
dc.publisher.location | 미국 | - |
dc.identifier.doi | 10.1109/THMS.2019.2903402 | - |
dc.identifier.scopusid | 2-s2.0-85063673716 | - |
dc.identifier.wosid | 000502284100007 | - |
dc.identifier.bibliographicCitation | IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, v.49, no.6, pp 529 - 539 | - |
dc.citation.title | IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS | - |
dc.citation.volume | 49 | - |
dc.citation.number | 6 | - |
dc.citation.startPage | 529 | - |
dc.citation.endPage | 539 | - |
dc.type.docType | Article | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | sci | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Artificial Intelligence | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Cybernetics | - |
dc.subject.keywordPlus | SITUATION AWARENESS | - |
dc.subject.keywordPlus | VERIFICATION | - |
dc.subject.keywordPlus | MODEL | - |
dc.subject.keywordPlus | PERFORMANCE | - |
dc.subject.keywordPlus | SURPRISES | - |
dc.subject.keywordPlus | WORKLOAD | - |
dc.subject.keywordPlus | TRUST | - |
dc.subject.keywordAuthor | Task analysis | - |
dc.subject.keywordAuthor | Automation | - |
dc.subject.keywordAuthor | Manufacturing systems | - |
dc.subject.keywordAuthor | Adaptive systems | - |
dc.subject.keywordAuthor | Smart manufacturing | - |
dc.subject.keywordAuthor | Human computer interaction | - |
dc.subject.keywordAuthor | Adaptive automation | - |
dc.subject.keywordAuthor | formal methods | - |
dc.subject.keywordAuthor | human-machine interaction | - |
dc.subject.keywordAuthor | human supervisory control | - |
dc.subject.keywordAuthor | manufacturing system | - |
dc.identifier.url | https://ieeexplore.ieee.org/document/8675470 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.