In the era of digital transformation and Industry N.0, the dynamics of interactions among diverse systems—including both artificial intelligence entities and humans—has become incredibly complex and intricate. From smart manufacturing to cyber-physical systems in power plants, AI-powered military operations, and autonomous air traffic control, there's a pressing need for innovative and efficient coordination mechanisms. Moreover, the burgeoning field of ubiquitous computing, at the heart of the Internet of Things (IoT) and edge computing, calls for cutting-edge formal methodologies. These methodologies can drive the design, analysis, and implementation of next-generation information technology.

At the Smart-Manufacturing Lab, our goal is to tackle the cutting-edge challenges associated with the seamless integration of information technology and advanced control theory—or more concisely, Interact. Our exploration spans a range of application domains, including Industry 4.0-inspired smart manufacturing systems, human-AI collaborative systems, and other emerging smart interactive systems. 

디지털 전환과 인더스트리 N.0 시대에 접어들면서, 인공지능 시스템과 인간을 포함한 다양한 시스템 간 상호작용의 양상은 점점 더 복잡하고 정교해지고 있습니다. 스마트 제조 시스템부터 발전소의 사이버-물리 시스템, AI 기반 군사 작전, 자율 항공 교통 관제에 이르기까지, 효율적이고 혁신적인 협력 및 조정 메커니즘에 대한 요구가 그 어느 때보다 커지고 있습니다. 더 나아가, 사물인터넷(IoT)과 엣지 컴퓨팅의 핵심에 자리 잡은 유비쿼터스 컴퓨팅 분야의 급속한 발전은 차세대 정보기술의 설계, 분석, 구현을 이끌 수 있는 첨단 형식적 방법론(formal methodologies)의 필요성을 강조하고 있습니다.

스마트 제조 연구실(Smart Manufacturing Lab)은 정보기술과 고급 제어이론의 유기적인 통합, 다시 말해 상호작용(Interact)과 관련된 최첨단 연구 과제들을 해결하는 것을 목표로 하고 있습니다. 본 연구실의 연구는 인더스트리 4.0 기반의 스마트 제조 시스템을 비롯하여, 인간–AI 협업 시스템, 그리고 기타 차세대 지능형 상호작용 시스템 등 다양한 응용 분야를 아우르고 있습니다.

Our research interests lie at the intersection of artificial intelligence, human-computer interaction, advanced control theory, and smart manufacturing.

Our primary focus areas include:

• Smart Manufacturing: We explore the application and integration of artificial intelligence in manufacturing processes. Our goal is to devise innovative solutions to optimize efficiency, productivity, and sustainability in Industry 4.0 settings.

• Human-AI Collaboration in Manufacturing: Our research delves into the development and analysis of systems that promote effective collaboration between humans and AI in the manufacturing sphere. We aim to enhance the user experience, improve safety, and boost productivity.

• Advanced Control Theory for Smart Manufacturing: We investigate the use of advanced control theory to manage complex manufacturing processes, with a focus on creating resilient and adaptable systems capable of handling rapid changes in operational parameters.

• Design and Analysis of Interactive Systems: We study the design and analysis of interactive systems, seeking to understand how best to balance automation and human control in various manufacturing scenarios.

• Discrete Event Time System Modeling & Simulation: Our research involves the modeling and simulation of discrete event time systems, aiming to improve process scheduling, resource allocation, and overall operational efficiency in smart manufacturing environments 

우리 연구실의 연구 관심 분야는 인공지능(AI), 인간–컴퓨터 상호작용(HCI), 고급 제어이론, 그리고 스마트 제조가 만나는 융합 영역에 있습니다. 주요 연구 분야는 다음과 같습니다.

• 스마트 제조(Smart Manufacturing)
  제조 공정 전반에 인공지능을 적용하고 이를 효과적으로 통합하는 방안을 연구합니다. 인더스트리 4.0 환경에서 효율성, 생산성, 그리고 지속가능성을 극대화할 수 있는 혁신적인 해결책을 제시하는 것을 목표로 합니다.

• 제조 분야에서의 인간–AI 협업(Human–AI Collaboration in Manufacturing)
  제조 환경에서 인간과 인공지능이 효과적으로 협력할 수 있는 시스템의 개발 및 분석을 수행합니다. 이를 통해 사용자 경험을 향상시키고, 작업 안전성을 높이며, 전반적인 생산성 증대를 도모합니다.

• 스마트 제조를 위한 고급 제어이론(Advanced Control Theory for Smart Manufacturing)
  복잡한 제조 공정을 효율적으로 관리하기 위해 고급 제어이론을 적용합니다. 특히 운영 조건의 급격한 변화에도 유연하고 강건하게 대응할 수 있는 적응형 제조 시스템의 구축에 초점을 둡니다.

• 상호작용 시스템의 설계 및 분석(Design and Analysis of Interactive Systems)
  다양한 제조 시나리오에서 자동화와 인간의 개입 간 균형을 어떻게 설계하고 유지할 것인지에 대해 연구합니다. 이를 통해 인간 중심적이면서도 효율적인 상호작용 시스템의 설계 원리를 탐구합니다.

• 이산 사건 시간 시스템 모델링 및 시뮬레이션(Discrete Event Time System Modeling & Simulation)
  이산 사건 시간 시스템의 모델링과 시뮬레이션을 통해 공정 스케줄링, 자원 배분, 그리고 전반적인 운영 효율을 개선하는 방안을 연구하며, 스마트 제조 환경의 최적화를 목표로 합니다.