优先考虑团队行动：具有排序约束的多智能体时序逻辑任务规划
系统与控制
2024-04-09 v3 多智能体系统
系统与控制
摘要
在本文中，我们研究了多智能体系统的线性时序逻辑（LTL）路径规划问题，引入了新概念\emph{排序约束}。具体来说，我们考虑为每个智能体的路径定义了一个通用目标函数。主要目标是找到团队智能体的全局规划，确保它们共同满足指定的LTL要求。同时，我们旨在保持每个智能体目标函数值的预定顺序，我们称之为排序约束。这个新要求源于诸如安全感知规划等场景，其中相对顺序比绝对值更重要。我们提出了一种有效的算法来解决这个问题，并附有正确性证明，展示了我们解决方案的最优性。此外，我们提供了一个安全感知路径规划的案例研究，以说明我们提出方法的实用性和有效性。
引用
@article{arxiv.2403.17704,
title = {Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints},
author = {Bowen Ye and Jianing Zhao and Shaoyuan Li and Xiang Yin},
journal= {arXiv preprint arXiv:2403.17704},
year = {2024}
}
备注
This article is withdrawn due to errors in the methodology section, specifically concerning the insufficient explanation of the data collection process. Upon review, it's clear that the data sampling methods were not adequately described, potentially leading to misinterpretations of the results