Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
For manufacturing industries requiring flexible and safe reconfiguration, this work addresses the reliability challenge of LLM-enabled task planning.
The paper proposes a control architecture that uses temporal logic and discrete event systems to verify task allocations made by large language models in multi-agent manufacturing systems, ensuring safety. A case study on multi-robot assembly demonstrates that unsafe tasks can be allocated safely before execution.
Manufacturing industries are facing increasing product variability due to the growing demand for personalized products. Under these conditions, ensuring safety becomes challenging as frequent reconfigurations can lead to unintended hazardous behaviors. Multi-agent control architectures have been proposed to improve flexibility through decentralized decision-making and coordination. However, these architectures are based on predefined task models, which limit their ability to adapt task planning to new product requirements while preserving safety. Recently, large language models have been introduced into manufacturing systems to enhance adaptability, but reliability remains a key challenge. To address this issue, we propose a control architecture that leverages the flexibility of large language models while preserving safety on the manufacturing shop floor. Specifically, the proposed framework verifies large language model-enabled task allocations by using temporal logic and discrete event systems. The effectiveness of the proposed framework is demonstrated through a case study that involves a multi-robot assembly scenario, showing that unsafe tasks can be allocated safely before task execution.