5 papers
NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations
Shih-Jie Shih, Jonghan Lim, Ilya Kovalenko +1
Supervisory control of discrete-event systems provides formal guarantees of correctness with respect to a plant model and specification. However, these guarantees heavily rely on t…
Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
Jonghan Lim, Mostafa Tavakkoli Anbarani, Rômulo Meira-Góes +1
Manufacturing industries are facing increasing product variability due to the growing demand for personalized products. Under these conditions, ensuring safety becomes challenging…
CoViLLM: An Adaptive Human-Robot Collaborative Assembly Framework Using Large Language Models
Jiabao Zhao, Jonghan Lim, Hongliang Li +1
With increasing demand for mass customization, traditional manufacturing robots that rely on rule-based operations lack the flexibility to accommodate customized or new product var…
A Large Language Model-Enabled Control Architecture for Dynamic Resource Capability Exploration in Multi-Agent Manufacturing Systems
Jonghan Lim, Ilya Kovalenko
Manufacturing environments are becoming more complex and unpredictable due to factors such as demand variations and shorter product lifespans. This complexity requires real-time de…
Dynamic Task Adaptation for Multi-Robot Manufacturing Systems with Large Language Models
Jonghan Lim, Ilya Kovalenko
Recent manufacturing systems are increasingly adopting multi-robot collaboration to handle complex and dynamic environments. While multi-agent architectures support decentralized c…