[论文解读] Mathematical aspects of decentralized control of formations in the plane

Mohamed-Ali Belabbas|arXiv (Cornell University)|Oct 6, 2011

Distributed Control Multi-Agent Systems参考文献 10被引用 3

一句话总结

本文提出了一种平面内去中心化编队控制的数学框架，聚焦于流形上非线性系统中的A型稳定性与鲁棒性。该框架形式化了在拓扑约束下实现全局稳定性的方法，并表明鲁棒控制设计可简化为低阶喷层空间优化，从而即使在存在非平凡信息环路的情况下，也能实现稳定的编队控制，如2-循环编队所展示的具有内在拓扑挑战的情形。

ABSTRACT

In formation control, an ensemble of autonomous agents is required to stabilize at a given configuration in the plane, doing so while agents are allowed to observe only a subset of the ensemble. As such, formation control provides a rich class of problems for decentralized control methods and techniques. Additionally, it can be used to model a wide variety of scenarios where decentralization is a main characteristic. We introduce here some mathematical background necessary to address questions of stability in decentralized control in general and formation control in particular. This background includes an extension of the notion of global stability to systems evolving on manifolds and a notion of robustness of feedback control for nonlinear systems. We then formally introduce the class of formation control problems, and summarize known results.

研究动机与目标

• 解决在非平凡流形上演化、且由于拓扑原因标准稳定性定义失效的去中心化系统中的全局稳定化挑战。
• 形式化一种A型稳定性概念，以捕捉尽管存在由流形结构引起的附加平衡点，仍能实现实际全局收敛的特性。
• 提出一种非线性反馈控制的鲁棒性概念，通过将搜索范围限制在低阶喷层空间，从而简化设计。
• 将这些概念应用于编队控制，特别是分析2-循环编队作为具有非平凡信息环路的最小系统。
• 建立鲁棒控制律可在低阶喷层空间中通用设计，确保在不确定性下的实际稳定性。

提出的方法

• 引入A型稳定性作为流形上系统全局稳定性的改进形式，其中仅要求期望的平衡点稳定，即使存在附加平衡点也成立。
• 通过喷层空间中的横截性定义鲁棒性，确保控制律在小扰动和建模误差下仍有效。
• 利用喷层空间理论将控制设计问题简化为低阶喷射，借助Thom横截性定理获得通用性结果。
• 应用Morse理论表明，除非容忍附加平衡点，否则在非平凡流形上无法实现全局稳定化。
• 通过将配置空间建模为复射影空间和正实数轴，分析编队控制，以反映旋转与平移下的不变性。
• 将该框架应用于2-循环编队，将其识别为具有两个非平凡信息环路的最简单系统，从而增加了稳定性分析的复杂性。

实验结果

研究问题

• RQ1 能否为在非向量空间流形上演化且因拓扑原因标准稳定性定义失效的控制系统，有意义地定义全局稳定化？
• RQ2 如何形式化非线性反馈控制中的鲁棒性，以简化设计并确保对不确定性的鲁棒性？
• RQ3 喷层空间结构在降低去中心化系统控制律设计复杂性方面起什么作用？
• RQ4 为何在非平凡流形上的编队控制中附加平衡点不可避免，以及如何对其进行管理？
• RQ5 如2-循环编队中的非平凡信息环路，如何影响去中心化控制律的稳定性与设计？

主要发现

• A型稳定性是流形上经典全局稳定性的可行替代方案，其中仅需期望平衡点稳定，且小扰动可确保收敛至其。
• 控制设计中的鲁棒性允许将搜索空间限制在低阶喷层空间，显著简化了有效控制律的综合。
• 由于非平凡同调的存在，附加平衡点在拓扑上不可避免，使得经典意义下的全局稳定化不可能实现。
• 对于编队控制，状态空间自然建模为 $\mathbb{C}P(n-2) \times (0,\infty)$，以反映旋转与平移下的不变性。
• 2-循环编队是具有两个非平凡信息环路的最简单系统，使其成为分析去中心化控制复杂性的典型测试平台。
• 推论1确认在零点处导数为零的函数不具备通用性，意味着在小扰动下非退化零点是典型的。