Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914486757097472 |
|---|---|
| author | Lim, Jonghan Anbarani, Mostafa Tavakkoli Meira-Góes, Rômulo Kovalenko, Ilya |
| author_facet | Lim, Jonghan Anbarani, Mostafa Tavakkoli Meira-Góes, Rômulo Kovalenko, Ilya |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_17142 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems Lim, Jonghan Anbarani, Mostafa Tavakkoli Meira-Góes, Rômulo Kovalenko, Ilya Multiagent Systems 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. |
| title | Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems |
| topic | Multiagent Systems |
| url | https://arxiv.org/abs/2604.17142 |