Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911829498789888 |
|---|---|
| author | Ye, Bowen Zhao, Jianing Li, Shaoyuan Yin, Xiang |
| author_facet | Ye, Bowen Zhao, Jianing Li, Shaoyuan Yin, Xiang |
| contents | In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specifically, we consider a generic objective function that is defined for the path of each individual agent. The primary objective is to find a global plan for the team of agents, ensuring they collectively meet the specified LTL requirements. Simultaneously, we aim to maintain a pre-determined order in the values of the objective function for each agent, which we refer to as the ordering constraints. This new requirement stems from scenarios like security-aware planning, where relative orders outweigh absolute values in importance. We present an efficient algorithm to solve this problem, supported by proofs of correctness that demonstrate the optimality of our solution. Additionally, we provide a case study in security-aware path planning to illustrate the practicality and effectiveness of our proposed approach. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_17704 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints Ye, Bowen Zhao, Jianing Li, Shaoyuan Yin, Xiang Systems and Control Multiagent Systems In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specifically, we consider a generic objective function that is defined for the path of each individual agent. The primary objective is to find a global plan for the team of agents, ensuring they collectively meet the specified LTL requirements. Simultaneously, we aim to maintain a pre-determined order in the values of the objective function for each agent, which we refer to as the ordering constraints. This new requirement stems from scenarios like security-aware planning, where relative orders outweigh absolute values in importance. We present an efficient algorithm to solve this problem, supported by proofs of correctness that demonstrate the optimality of our solution. Additionally, we provide a case study in security-aware path planning to illustrate the practicality and effectiveness of our proposed approach. |
| title | Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints |
| topic | Systems and Control Multiagent Systems |
| url | https://arxiv.org/abs/2403.17704 |