Skip to main content

Dongmin Shin

Hanyang University, Industrial & management dngineering, Faculty Member

Followers

9

Following

5

Co-authors

5

Public Views

Arunava Majumder

Dr. Bikash Koli Dey

Hongik University

Arunava Majumder

Soumya Kanti Hota

Bikash Koli Dey

Sonia Maria Viggiani Coutinho

Dharmendra Yadav

Interests

Uploads

Papers by Dongmin Shin

Controllable lead time, service level constraint, and transportation discounts in a continuous review inventory model

RAIRO - Operations Research, 2016

This paper studies two models based on the distribution of lead time demand. The first model assu... more This paper studies two models based on the distribution of lead time demand. The first model assumes a normally distributed lead time demand and the second assumes that there is no specific distribution for lead time demand, but it is with known mean and standard deviation. The continuous-review inventory model is used for both cases. Transportation cost is dependent on the ordered quantity i.e., how much quantity buyer orders for delivery, based on that, a transportation discount is used to reduce the total cost. Service level constraint is included in this model to avoid backorder cost. Two efficient lemmas are established to obtain the optimum solution of the model. The expected value of additional information (EVAI) is calculated to show the excess amount needed for the distribution free case. Some numerical examples and sensitivity analysis are given to illustrate the model.

혼합 시퀀스 커널을 이용한 조종사의 비동적 행위 모델링

Journal of the Korea Institute of Military Science and Technology, 2014

For decades, modeling of pilots has been intensively studied due to its advantages in reducing co... more For decades, modeling of pilots has been intensively studied due to its advantages in reducing costs for training and enhancing safety of pilots. In particular, research for modeling of pilots' non-kinetic behaviors which refer to the decisions made by pilots is beneficial as the expertise of pilots can be inherent in the models. With the recent growth in the amount of combat logs accumulated, employing statistical learning methods for the modeling becomes possible. However, the combat logs consist of heterogeneous data that are not only continuous or discrete but also sequence independent or dependent, making it difficult to directly applying the learning methods without modifications. Therefore, in this paper, we present a kernel function named hybrid sequence kernel which addresses the problem by using multiple kernel learning methods. Based on the empirical experiments by using combat logs obtained from a simulator, the proposed kernel showed satisfactory results.

dPCA-HMM을 이용한 전투기 조종사 모델링 연구

Journal of the Korean Society for Aeronautical & Space Sciences, 2015

Modeling of fighter pilots, which is a fundamental technology for war games using defense M&S (Mo... more Modeling of fighter pilots, which is a fundamental technology for war games using defense M&S (Modeling & Simulation) becomes one of the prominent research issues as the importance of defense M&S increases. Especially, the recent accumulation of combat logs makes it possible to adopt statistical learning methods to pilot modeling, and an HMM (Hidden Markov Model) which is able to utilize the sequential characteristic of combat logs is suitable for the modeling. However, since an HMM works only by using one type of features, discrete or continuous, to apply an HMM to heterogeneous features, type integration is required. Therefore, we propose a dPCA-HMM method, where dPCA

A Hierarchical SVM Based Behavior Inference of Human Operators Using a Hybrid Sequence Kernel

Sustainability, 2019

To train skilled unmanned combat aerial vehicle (UCAV) operators, it is important to establish a ... more To train skilled unmanned combat aerial vehicle (UCAV) operators, it is important to establish a real-time training environment where an enemy appropriately responds to the action performed by a trainee. This can be addressed by constructing the inference method for the behavior of a UCAV operator from given simulation log data. Through this method, the virtual enemy is capable of performing actions that are highly likely to be made by an actual operator. To achieve this, we propose a hybrid sequence (HS) kernel-based hierarchical support vector machine (HSVM) for the behavior inference of a UCAV operator. Specifically, the HS kernel is designed to resolve the heterogeneity in simulation log data, and HSVM performs the behavior inference in a sequential manner considering the hierarchical structure of the behaviors of a UCAV operator. The effectiveness of the proposed method is demonstrated with the log data collected from the air-to-air combat simulator.

SME Supply Chain Collaboration Innovation Using an Online Hub : Introduction of a Case in Korea

This paper describes how Korean small and medium enterprises (SME) have been collaborating to imp... more This paper describes how Korean small and medium enterprises (SME) have been collaborating to improve their performance on a supply chain network using a web-based information hub, called i-Manufacturing. Recent dynamically changing business environments have imposed new challenges on managing supply chains in terms of flexible and rapid collaboration among business partners. To enable firms to actively adapt their operations to changing economies and circumstances, enhancing flexibility of organizations and effective information sharing among business partners are key strategies for successful enterprises. Although much effort has been undertaken to meet these requirement, and a variety of tools have been devised, those kinds of competitiveness could not be easily accomplished because of lack of capitals or other resources in case of small and medium sized firms. For the purpose of assisting SMEs interact and collaborate in an effective and efficient way, Korean government establis...

EEG Sensor Based Semi-Supervised Inattention Prediction Framework For Unmanned Aerial Vehicles

With the advance in sensor devices, electroencephalography (EEG) can be unobtrusively collected e... more With the advance in sensor devices, electroencephalography (EEG) can be unobtrusively collected enabling the inattention prediction of unmanned aerial vehicle (UAV) operators, which is one solution for reducing the high accident rate of UAVs. Several studies using statistical learning methods on EEG data have shown satisfactory results. However, it is almost impossible to obtain accurate training data containing attention status labels due to the absence of standardized measure for the attention status. Therefore, in this paper, we propose a semi-supervised inattention prediction framework which does not require training data nor any prior information by utilizing the fact that operators keep their attention at the beginning of a task and adopting a cumulative sum algorithm to detect the duration. Moreover, weighted dissimilarity measures are applied to enhance the prediction performance of the proposed framework. From experiments conducted on real-world datasets, the proposed frame...

중소제조기업 협업지원 시스템의 도입 및 활용 효과 분석 프레임워크

IE interfaces, 2012

Recently, the collaboration among small and medium-sized enterprises(SMEs) has been recognized as... more Recently, the collaboration among small and medium-sized enterprises(SMEs) has been recognized as an effective competitive tool. As several systems have been developed to boost the collaboration, it is necessary to analyze the effectiveness of the systems in terms of their contribution to enhance operational performance of SMEs through objective and quantitative validation. In particular, the analysis for SMEs rather than large-scaled enterprises has not received much attention due to lack of relevant information and difficulty of collecting data. This paper presents a framework for analyzing the effectiveness of the collaboration support system, called i-manufacturing hub, which has been implemented by Korean government. Identification of influential factors to the effectiveness of collaboration hub, and constructing necessary hypotheses are proposed. To overcome the difficulty in data collection only by means of surveys through subjective questionnaires, we exploit system log data that are generated while SMEs use the system. As an initial phase to analyze the effectiveness through hypothesis validation, we discuss several interesting observations and challenges in the direction of enhancing collaboration among SMEs for better operational performance improvement and more participation in the collaboration hub.

Task Allocation in Human–Machine Manufacturing Systems Using Deep Reinforcement Learning

Sustainability, 2022

Catering for human operators is a critical aspect in the sustainability of a manufacturing sector... more Catering for human operators is a critical aspect in the sustainability of a manufacturing sector. This paper presents a task allocation problem in human–machine manufacturing systems. A key aspect of this problem is to carefully consider the characteristics of human operators having different task preferences and capabilities. However, the characteristics of human operators are usually implicit, which makes the mathematical formulation of the problem difficult. In addition, variability in manufacturing systems such as job completion and machine breakdowns are prevalent. To address these challenges, this paper proposes a deep reinforcement learning-based approach to accommodate the unobservable characteristics of human operators and the stochastic nature of manufacturing systems. Historical data accumulated in the process of job assignment are exploited to allocate tasks to either humans or machines. We demonstrate that the proposed model accommodates task competence and fatigue lev...

A Simulation Model of a Human as a Material Handling Task Performer with a Colored Petri Net Model

In this paper, a framework for a simulation approach to develop a formal representation of contro... more In this paper, a framework for a simulation approach to develop a formal representation of control and analysis of human-involved computer integrated manufacturing systems (Hi-CIM) is presented. Important properties of a human material handler within manufacturing systems are discussed and human tasks and errors are identified to build a simulation model. Based on the number of locations where a human operator is required to move to complete a task, material handling tasks are classified into two sets which include an on-the-spot task set and an around-thesystem task set. For human errors associated with the task sets, a location error set and an orientation error set are defined. These task sets and error types provide a framework for developing a simulation model of a human material handling task-performing process. To represent the model, a colored Petri net model is used because it provides a good graphical and analytical representation of a system. Human tasks and error types a...

The hierarchical modeling of human planning activities with affordances using Finite State Automata (FSA)

A formalism for affordance using finite state automata (FSA) in humanmachine cooperative systems

Modeling of affordances in human-involved complex systems using finite state automata (FSA)

Modeling and Analysis of Human Task-Performing Process in Manufacturing Systems With Human Task and Error Classifications

Development of a formal model for control and analysis of manufacturing systems in which a human ... more Development of a formal model for control and analysis of manufacturing systems in which a human operator is incorporated is difficult, nevertheless the human is a key component. It requires building a model of human functional specifications for executing various tasks. In this paper, a human parts handler is considered and the human task performing process is described in terms of human tasks and errors. For this purpose, human tasks and errors are classified into two sets, respectively. Based on the number of locations where an operator is required to move to complete a task, tasks are divided into an on-the-spot task set and an around-the-system task set. For human errors associated with each of task set, a location error set and an orientation error set are defined, respectively. As the initial step toward building a controller for Human-involved Computer Integrated Manufacturing Systems (HiCIM), assessment of the impact of human involvement on the control of a system, much of which is controlled by a computerized execution system, is presented. The complexity of systems from the control perspective is modeled and analyzed with human tasks and errors. The human task performing process is described using a flow chart format and a colored Petri net model is presented, and the complexity of process is analyzed in terms of human errors. A shop floor control example where the human operator performs material handling tasks is provided to illustrate the proposed methodology.

A modelling formalism for human-machine cooperative systems

International Journal of Production Research, 2011

This paper presents a collection of models of humans involved in complex systems with a focus on ... more This paper presents a collection of models of humans involved in complex systems with a focus on control of the system while allowing human participation in decisions for system operation. The existence of a formal model that captures human behaviour in a complex system allows for the efficient development of modelling and control software of man-machine systems. This paper provides a foundation for modelling and software development for complex systems that includes human activities. A modelling formalism, based on the automata theory for human-machine cooperative systems is demonstrated in this paper in consideration with the ecological concept of affordance.

Formal model of human material-handling tasks for control of manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006

An investigation of a human material handler on part flow in automated manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006

A Formal Model of Human Interactions for Service Ecosystem Design

Volume 2B: 40th Design Automation Conference, 2014

In this digital era, the natures of services are becoming increasingly complex and diverse due to... more In this digital era, the natures of services are becoming increasingly complex and diverse due to the convergences between the existing human-centered services and other supportive device services, or interactions between heterogeneous services. Expecting this trend is to be accelerated more, new scientific and engineered approaches to the service design are needed more than ever. In this context, a service designed conceptually and abstractly has significant limitations that keep the customers’ satisfaction from advancing above a certain level. Hence, in an initial service design phase, a service delivery process can be expressed quantitatively through a systematic analysis of its natures and the goals. In this paper, a human-centered complex service system is newly defined as service ecosystem. This study proposes a method for designing service processes as a Discrete Event System (DES) in formal ways by utilizing the concepts of affordance, preference, and a Affordance-based Finite State Automata (FSA) modeling methodology. The proposed design method suggests a model framework that focuses on service actions that reflects related properties of customers, employees, and environment entities and their interactions quantitatively. The formally expressed relations between properties of service entities such as customer, employee, and service environment provide guidelines for service designers in a more scientific way than traditional ones. In addition, it is expected that it will enable to add computational to the human-centered service system design and control and develop effective reusable controllers for complex service deliveries as well.Copyright © 2014 by ASME

Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems

International Journal of Production Research, 2010

and-conditions-of-access.pdf This article may be used for research, teaching and private study pu... more and-conditions-of-access.pdf This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material.

A BCI Based Alerting System for Attention Recovery of UAV Operators

Sensors

As unmanned aerial vehicles have become popular, the number of accidents caused by an operator’s ... more As unmanned aerial vehicles have become popular, the number of accidents caused by an operator’s inattention have increased. To prevent such accidents, the operator should maintain an attention status. However, limited research has been conducted on the brain-computer interface (BCI)-based system with an alerting module for the operator’s attention recovery of unmanned aerial vehicles. Therefore, we introduce a detection and alerting system that prevents an unmanned aerial vehicle operator from falling into inattention status by using the operator’s electroencephalogram signal. The proposed system consists of the following three components: a signal processing module, which collects and preprocesses an electroencephalogram signal of an operator, an inattention detection module, which determines whether an inattention status occurred based on the preprocessed signal, and, lastly, an alert providing module that presents stimulus to an operator when inattention is detected. As a result...

A Behavior Optimization Method for Unmanned Combat Aerial Vehicles Using Matrix Factorization

IEEE Access

One of the fundamental technologies for unmanned combat aerial vehicles and combat simulators is ... more One of the fundamental technologies for unmanned combat aerial vehicles and combat simulators is behavior optimization, which finds a behavior that maximizes the probability of winning a battle. With the advent of military science, combat logs became available, allowing machine learning algorithms to be used for the behavior optimization. Due to implicit attributes such as the experience of an operator that are not explicitly presented in log data, existing methods for behavior optimization have limitations in performance improvement. Furthermore, specific behaviors occur with low frequency, resulting in a dataset with imbalanced and empty values. Therefore, we apply a matrix factorization (MF) method, which is one of latent factor models and known for sophisticated imputation of empty values, to the behavior optimization problem of unmanned combat aerial vehicles. A situation-behavior matrix, whose elements are ratings indicating the optimality of behaviors in situations, is defined to implement the MF based method. Experiments for performance comparison were conducted on combat logs, in which the proposed method yielded satisfactory results. INDEX TERMS Behavior optimization, unmanned vehicle, matrix factorization, reinforcement learning, situation-behavior matrix. ABBREVIATIONS AM Advantage matrix. FOV Field of view. GA Genetic algorithm. LOS Line of sight. MF Matrix factorization. nDCG Normalized discounted cumulative gain. RL Reinforcement learning. SB Situation-behavior. UV Unmanned vehicle.

Controllable lead time, service level constraint, and transportation discounts in a continuous review inventory model

RAIRO - Operations Research, 2016

This paper studies two models based on the distribution of lead time demand. The first model assu... more This paper studies two models based on the distribution of lead time demand. The first model assumes a normally distributed lead time demand and the second assumes that there is no specific distribution for lead time demand, but it is with known mean and standard deviation. The continuous-review inventory model is used for both cases. Transportation cost is dependent on the ordered quantity i.e., how much quantity buyer orders for delivery, based on that, a transportation discount is used to reduce the total cost. Service level constraint is included in this model to avoid backorder cost. Two efficient lemmas are established to obtain the optimum solution of the model. The expected value of additional information (EVAI) is calculated to show the excess amount needed for the distribution free case. Some numerical examples and sensitivity analysis are given to illustrate the model.

혼합 시퀀스 커널을 이용한 조종사의 비동적 행위 모델링

Journal of the Korea Institute of Military Science and Technology, 2014

For decades, modeling of pilots has been intensively studied due to its advantages in reducing co... more For decades, modeling of pilots has been intensively studied due to its advantages in reducing costs for training and enhancing safety of pilots. In particular, research for modeling of pilots' non-kinetic behaviors which refer to the decisions made by pilots is beneficial as the expertise of pilots can be inherent in the models. With the recent growth in the amount of combat logs accumulated, employing statistical learning methods for the modeling becomes possible. However, the combat logs consist of heterogeneous data that are not only continuous or discrete but also sequence independent or dependent, making it difficult to directly applying the learning methods without modifications. Therefore, in this paper, we present a kernel function named hybrid sequence kernel which addresses the problem by using multiple kernel learning methods. Based on the empirical experiments by using combat logs obtained from a simulator, the proposed kernel showed satisfactory results.

dPCA-HMM을 이용한 전투기 조종사 모델링 연구

Journal of the Korean Society for Aeronautical & Space Sciences, 2015

Modeling of fighter pilots, which is a fundamental technology for war games using defense M&S (Mo... more Modeling of fighter pilots, which is a fundamental technology for war games using defense M&S (Modeling & Simulation) becomes one of the prominent research issues as the importance of defense M&S increases. Especially, the recent accumulation of combat logs makes it possible to adopt statistical learning methods to pilot modeling, and an HMM (Hidden Markov Model) which is able to utilize the sequential characteristic of combat logs is suitable for the modeling. However, since an HMM works only by using one type of features, discrete or continuous, to apply an HMM to heterogeneous features, type integration is required. Therefore, we propose a dPCA-HMM method, where dPCA

A Hierarchical SVM Based Behavior Inference of Human Operators Using a Hybrid Sequence Kernel

Sustainability, 2019

To train skilled unmanned combat aerial vehicle (UCAV) operators, it is important to establish a ... more To train skilled unmanned combat aerial vehicle (UCAV) operators, it is important to establish a real-time training environment where an enemy appropriately responds to the action performed by a trainee. This can be addressed by constructing the inference method for the behavior of a UCAV operator from given simulation log data. Through this method, the virtual enemy is capable of performing actions that are highly likely to be made by an actual operator. To achieve this, we propose a hybrid sequence (HS) kernel-based hierarchical support vector machine (HSVM) for the behavior inference of a UCAV operator. Specifically, the HS kernel is designed to resolve the heterogeneity in simulation log data, and HSVM performs the behavior inference in a sequential manner considering the hierarchical structure of the behaviors of a UCAV operator. The effectiveness of the proposed method is demonstrated with the log data collected from the air-to-air combat simulator.

SME Supply Chain Collaboration Innovation Using an Online Hub : Introduction of a Case in Korea

This paper describes how Korean small and medium enterprises (SME) have been collaborating to imp... more This paper describes how Korean small and medium enterprises (SME) have been collaborating to improve their performance on a supply chain network using a web-based information hub, called i-Manufacturing. Recent dynamically changing business environments have imposed new challenges on managing supply chains in terms of flexible and rapid collaboration among business partners. To enable firms to actively adapt their operations to changing economies and circumstances, enhancing flexibility of organizations and effective information sharing among business partners are key strategies for successful enterprises. Although much effort has been undertaken to meet these requirement, and a variety of tools have been devised, those kinds of competitiveness could not be easily accomplished because of lack of capitals or other resources in case of small and medium sized firms. For the purpose of assisting SMEs interact and collaborate in an effective and efficient way, Korean government establis...

EEG Sensor Based Semi-Supervised Inattention Prediction Framework For Unmanned Aerial Vehicles

With the advance in sensor devices, electroencephalography (EEG) can be unobtrusively collected e... more With the advance in sensor devices, electroencephalography (EEG) can be unobtrusively collected enabling the inattention prediction of unmanned aerial vehicle (UAV) operators, which is one solution for reducing the high accident rate of UAVs. Several studies using statistical learning methods on EEG data have shown satisfactory results. However, it is almost impossible to obtain accurate training data containing attention status labels due to the absence of standardized measure for the attention status. Therefore, in this paper, we propose a semi-supervised inattention prediction framework which does not require training data nor any prior information by utilizing the fact that operators keep their attention at the beginning of a task and adopting a cumulative sum algorithm to detect the duration. Moreover, weighted dissimilarity measures are applied to enhance the prediction performance of the proposed framework. From experiments conducted on real-world datasets, the proposed frame...

중소제조기업 협업지원 시스템의 도입 및 활용 효과 분석 프레임워크

IE interfaces, 2012

Recently, the collaboration among small and medium-sized enterprises(SMEs) has been recognized as... more Recently, the collaboration among small and medium-sized enterprises(SMEs) has been recognized as an effective competitive tool. As several systems have been developed to boost the collaboration, it is necessary to analyze the effectiveness of the systems in terms of their contribution to enhance operational performance of SMEs through objective and quantitative validation. In particular, the analysis for SMEs rather than large-scaled enterprises has not received much attention due to lack of relevant information and difficulty of collecting data. This paper presents a framework for analyzing the effectiveness of the collaboration support system, called i-manufacturing hub, which has been implemented by Korean government. Identification of influential factors to the effectiveness of collaboration hub, and constructing necessary hypotheses are proposed. To overcome the difficulty in data collection only by means of surveys through subjective questionnaires, we exploit system log data that are generated while SMEs use the system. As an initial phase to analyze the effectiveness through hypothesis validation, we discuss several interesting observations and challenges in the direction of enhancing collaboration among SMEs for better operational performance improvement and more participation in the collaboration hub.

Task Allocation in Human–Machine Manufacturing Systems Using Deep Reinforcement Learning

Sustainability, 2022

Catering for human operators is a critical aspect in the sustainability of a manufacturing sector... more Catering for human operators is a critical aspect in the sustainability of a manufacturing sector. This paper presents a task allocation problem in human–machine manufacturing systems. A key aspect of this problem is to carefully consider the characteristics of human operators having different task preferences and capabilities. However, the characteristics of human operators are usually implicit, which makes the mathematical formulation of the problem difficult. In addition, variability in manufacturing systems such as job completion and machine breakdowns are prevalent. To address these challenges, this paper proposes a deep reinforcement learning-based approach to accommodate the unobservable characteristics of human operators and the stochastic nature of manufacturing systems. Historical data accumulated in the process of job assignment are exploited to allocate tasks to either humans or machines. We demonstrate that the proposed model accommodates task competence and fatigue lev...

A Simulation Model of a Human as a Material Handling Task Performer with a Colored Petri Net Model

In this paper, a framework for a simulation approach to develop a formal representation of contro... more In this paper, a framework for a simulation approach to develop a formal representation of control and analysis of human-involved computer integrated manufacturing systems (Hi-CIM) is presented. Important properties of a human material handler within manufacturing systems are discussed and human tasks and errors are identified to build a simulation model. Based on the number of locations where a human operator is required to move to complete a task, material handling tasks are classified into two sets which include an on-the-spot task set and an around-thesystem task set. For human errors associated with the task sets, a location error set and an orientation error set are defined. These task sets and error types provide a framework for developing a simulation model of a human material handling task-performing process. To represent the model, a colored Petri net model is used because it provides a good graphical and analytical representation of a system. Human tasks and error types a...

The hierarchical modeling of human planning activities with affordances using Finite State Automata (FSA)

A formalism for affordance using finite state automata (FSA) in humanmachine cooperative systems

Modeling of affordances in human-involved complex systems using finite state automata (FSA)

Modeling and Analysis of Human Task-Performing Process in Manufacturing Systems With Human Task and Error Classifications

Development of a formal model for control and analysis of manufacturing systems in which a human ... more Development of a formal model for control and analysis of manufacturing systems in which a human operator is incorporated is difficult, nevertheless the human is a key component. It requires building a model of human functional specifications for executing various tasks. In this paper, a human parts handler is considered and the human task performing process is described in terms of human tasks and errors. For this purpose, human tasks and errors are classified into two sets, respectively. Based on the number of locations where an operator is required to move to complete a task, tasks are divided into an on-the-spot task set and an around-the-system task set. For human errors associated with each of task set, a location error set and an orientation error set are defined, respectively. As the initial step toward building a controller for Human-involved Computer Integrated Manufacturing Systems (HiCIM), assessment of the impact of human involvement on the control of a system, much of which is controlled by a computerized execution system, is presented. The complexity of systems from the control perspective is modeled and analyzed with human tasks and errors. The human task performing process is described using a flow chart format and a colored Petri net model is presented, and the complexity of process is analyzed in terms of human errors. A shop floor control example where the human operator performs material handling tasks is provided to illustrate the proposed methodology.

A modelling formalism for human-machine cooperative systems

International Journal of Production Research, 2011

This paper presents a collection of models of humans involved in complex systems with a focus on ... more This paper presents a collection of models of humans involved in complex systems with a focus on control of the system while allowing human participation in decisions for system operation. The existence of a formal model that captures human behaviour in a complex system allows for the efficient development of modelling and control software of man-machine systems. This paper provides a foundation for modelling and software development for complex systems that includes human activities. A modelling formalism, based on the automata theory for human-machine cooperative systems is demonstrated in this paper in consideration with the ecological concept of affordance.

Formal model of human material-handling tasks for control of manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006

An investigation of a human material handler on part flow in automated manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006

A Formal Model of Human Interactions for Service Ecosystem Design

Volume 2B: 40th Design Automation Conference, 2014

In this digital era, the natures of services are becoming increasingly complex and diverse due to... more In this digital era, the natures of services are becoming increasingly complex and diverse due to the convergences between the existing human-centered services and other supportive device services, or interactions between heterogeneous services. Expecting this trend is to be accelerated more, new scientific and engineered approaches to the service design are needed more than ever. In this context, a service designed conceptually and abstractly has significant limitations that keep the customers’ satisfaction from advancing above a certain level. Hence, in an initial service design phase, a service delivery process can be expressed quantitatively through a systematic analysis of its natures and the goals. In this paper, a human-centered complex service system is newly defined as service ecosystem. This study proposes a method for designing service processes as a Discrete Event System (DES) in formal ways by utilizing the concepts of affordance, preference, and a Affordance-based Finite State Automata (FSA) modeling methodology. The proposed design method suggests a model framework that focuses on service actions that reflects related properties of customers, employees, and environment entities and their interactions quantitatively. The formally expressed relations between properties of service entities such as customer, employee, and service environment provide guidelines for service designers in a more scientific way than traditional ones. In addition, it is expected that it will enable to add computational to the human-centered service system design and control and develop effective reusable controllers for complex service deliveries as well.Copyright © 2014 by ASME

Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems

International Journal of Production Research, 2010

and-conditions-of-access.pdf This article may be used for research, teaching and private study pu... more and-conditions-of-access.pdf This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material.

A BCI Based Alerting System for Attention Recovery of UAV Operators

Sensors

As unmanned aerial vehicles have become popular, the number of accidents caused by an operator’s ... more As unmanned aerial vehicles have become popular, the number of accidents caused by an operator’s inattention have increased. To prevent such accidents, the operator should maintain an attention status. However, limited research has been conducted on the brain-computer interface (BCI)-based system with an alerting module for the operator’s attention recovery of unmanned aerial vehicles. Therefore, we introduce a detection and alerting system that prevents an unmanned aerial vehicle operator from falling into inattention status by using the operator’s electroencephalogram signal. The proposed system consists of the following three components: a signal processing module, which collects and preprocesses an electroencephalogram signal of an operator, an inattention detection module, which determines whether an inattention status occurred based on the preprocessed signal, and, lastly, an alert providing module that presents stimulus to an operator when inattention is detected. As a result...

A Behavior Optimization Method for Unmanned Combat Aerial Vehicles Using Matrix Factorization

IEEE Access

One of the fundamental technologies for unmanned combat aerial vehicles and combat simulators is ... more One of the fundamental technologies for unmanned combat aerial vehicles and combat simulators is behavior optimization, which finds a behavior that maximizes the probability of winning a battle. With the advent of military science, combat logs became available, allowing machine learning algorithms to be used for the behavior optimization. Due to implicit attributes such as the experience of an operator that are not explicitly presented in log data, existing methods for behavior optimization have limitations in performance improvement. Furthermore, specific behaviors occur with low frequency, resulting in a dataset with imbalanced and empty values. Therefore, we apply a matrix factorization (MF) method, which is one of latent factor models and known for sophisticated imputation of empty values, to the behavior optimization problem of unmanned combat aerial vehicles. A situation-behavior matrix, whose elements are ratings indicating the optimality of behaviors in situations, is defined to implement the MF based method. Experiments for performance comparison were conducted on combat logs, in which the proposed method yielded satisfactory results. INDEX TERMS Behavior optimization, unmanned vehicle, matrix factorization, reinforcement learning, situation-behavior matrix. ABBREVIATIONS AM Advantage matrix. FOV Field of view. GA Genetic algorithm. LOS Line of sight. MF Matrix factorization. nDCG Normalized discounted cumulative gain. RL Reinforcement learning. SB Situation-behavior. UV Unmanned vehicle.