Welcome to the Smart-Manufacturing Lab

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. 

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