arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0911.0231cs.MAcs.DCcs.SYeess.SY
收藏

同步任务分解用于多智能体协作系统

Synchronized Task Decomposition for Cooperative Multi-agent Systems

National University of Singapore(新加坡国立大学)

Mohammad Karimadini, Hai Lin

AI总结:

针对多智能体系统,提出一种分治方法,通过将全局规范分解为各智能体的子任务,并给出可分解性的充要条件,实现局部协调控制以保证全局行为。

摘要:

一个令人惊奇的事实是,大量非常初等的动态智能体通过非常简单的局部交互可以涌现出极其复杂的行为。然而,如何设计智能体之间的这些局部交互以实现某些期望的集体行为仍然难以捉摸。本文旨在应对这一挑战,提出一种分治方法,通过多智能体系统的局部协调和控制设计来保证指定的全局行为。基本思想是将请求的全局规范分解为每个个体智能体的子任务。需要注意的是,分解并非任意。全局规范应以这样一种方式分解,即每个个体智能体完成这些子任务将意味着团队满足全局规范。首先,通过一个反例表明并非所有规范都可以在这种意义下分解。然后,一个自然的后续问题是,所提出的全局规范可分解性的充要条件是什么。本文的主要部分旨在回答这个问题。首先研究了两个协作智能体的情况,提出并证明了一个充要条件。随后,将结果推广到任意有限数量智能体的情况,并提出了一种分层算法,该算法被证明是一个充分条件。最后,开发了一个三机器人团队的协作控制场景来说明任务分解过程。

英文摘要:

It is an amazing fact that remarkably complex behaviors could emerge from a large collection of very rudimentary dynamical agents through very simple local interactions. However, it still remains elusive on how to design these local interactions among agents so as to achieve certain desired collective behaviors. This paper aims to tackle this challenge and proposes a divide-and-conquer approach to guarantee specified global behaviors through local coordination and control design for multi-agent systems. The basic idea is to decompose the requested global specification into subtasks for each individual agent. It should be noted that the decomposition is not arbitrary. The global specification should be decomposed in such a way that the fulfilment of these subtasks by each individual agent will imply the satisfaction of the global specification as a team. First, it is shown by a counterexample that not all specifications can be decomposed in this sense. Then, a natural follow-up question is what the necessary and sufficient condition should be for the proposed decomposability of a global specification. The main part of the paper is set to answer this question. The case of two cooperative agents is investigated first, and a necessary and sufficient condition is presented and proven. Later on, the result is generalized to the case of arbitrary finite number of agents, and a hierarchical algorithm is proposed, which is shown to be a sufficient condition. Finally, a cooperative control scenario for a team of three robots is developed to illustrate the task decomposition procedure.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑