[论文解读] Reciprocal Multi-Agent Systems with Triangulated Laman Graphs

Xudong Chen|arXiv (Cornell University)|Dec 22, 2014

Distributed Control Multi-Agent Systems被引用 1

一句话总结

本文提出了一类刚性图——三角剖分Laman图，以及去中心化的控制律，确保多智能体编队控制中的所有稳定平衡点均为满足期望智能体间距离的目标构型。通过利用三角剖分Laman图的组合刚性特性，该方法保证了不存在不稳定或不期望的构型作为稳定平衡点，从而解决了通用刚性图编队控制中的一个关键挑战。

ABSTRACT

Formation control deals with the design of decentralized control laws that stabilize mobile, autonomous agents at prescribed distances from each other. We call any configuration of the agents a target configuration if it satisfies the inter-agent distance conditions. It is well known that when the distance conditions are defined by a rigid graph, there is a finite number of target configurations modulo rotations and translations of the entire formation. We can thus recast the objective of formation control as stabilizing one or many of the target configurations. A major issue is that such control laws will also have equilibria corresponding to configurations which do not meet the desired inter-agent distance conditions; we refer to these as undesirable configurations. The undesirable configurations become problematic if they are also stable. Designing decentralized control laws whose stable equilibria are all target configurations in the case of a general rigid graph is still an open problem. We provide here a new point of view on this problem, and propose a partial solution by exhibiting a class of rigid graphs and control laws for which all stable equilibria are target configurations.

研究动机与目标

• 为解决在所有稳定平衡点均为目标构型的刚性图上去中心化控制律的设计这一开放问题。
• 消除不满足期望智能体间距离约束的不期望稳定平衡点。
• 识别出可构造此类控制律的特定刚性图类。
• 通过聚焦于三角剖分Laman图，为一般编队控制问题提供部分解决方案。

提出的方法

• 本文聚焦于三角剖分Laman图，即一类在刚性约束下具有最大边密度的最小刚性图类。
• 利用这些图的组合与几何特性，基于智能体间距离误差设计去中心化控制律。
• 通过在平方距离误差函数上采用类似梯度的方法推导控制律，确保收敛至目标构型。
• 使用李雅普诺夫方法进行稳定性分析，证明所有稳定平衡点均对应于有效目标构型。
• 由于三角剖分Laman图的结构特性，该方法确保非目标构型无法成为稳定平衡点。

实验结果

研究问题

• RQ1 我们能否识别出一类刚性图，使得在去中心化编队控制中所有稳定平衡点均为目标构型？
• RQ2 图的何种结构特性可确保在编队控制中不期望的构型为不稳定？
• RQ3 如何设计控制律，使得仅满足期望智能体间距离的构型为稳定？
• RQ4 在多大程度上可利用三角剖分Laman图的刚性特性来消除虚假平衡点？

主要发现

• 所提出的控制律的所有稳定平衡点均为目标构型，意味着不存在不期望的构型为稳定状态。
• 三角剖分Laman图类可设计出消除虚假平衡点的控制律，原因在于其组合刚性与边密度特性。
• 控制律为去中心化且基于局部智能体间距离误差，确保可扩展性与实际可实施性。
• 稳定性分析确认非目标构型为不稳定，从而防止收敛至错误编队。