# 无人机集群控制与编队飞行：系统导读

面向董峰 / Feng Dong｜用途：系统学习与研发投入判断｜检索截至 2026-10-11

**核心判断：无人机集群的进步，来自“局部信息下的协调理论”与“真实飞行系统的感知、通信、计算、动力学约束”逐步结合。研发投入应以任务能力和可靠性提升为目标，不能只比较飞机数量或队形复杂程度。**

本版收录 70 篇代表性文献，覆盖 1987—2026 年。它是一份可追溯的学习图谱，不是该领域“全部论文”的穷尽数据库，也不是按引用量排序的系统计量综述。主线是多旋翼自主集群，补充固定翼、通用多机器人理论与必要的单机基础；不把卫星编队、水下集群、纯通信资源调度或仅借用“粒子群优化”名称的单机算法全部纳入。

所有论文卡片包含作者、发表信息、中文摘要、贡献、边界与来源。中文摘要是根据原论文摘要、作者论文页或原文整理的编者概述，并非作者原摘要逐字翻译；原文链接保留完整英文摘要。只有书目和公开材料可核实的部分才列为事实，投入优先级属于本报告的分析判断。

## 知识框架｜先分清研究对象

**编队控制（formation control）**：让不同飞机之间保持指定的相对位置、距离或方位，且队形可以整体移动或变形。

**群集运动（flocking / swarming）**：通过局部交互形成凝聚、对齐、分离等整体行为，未必要求每架飞机占据固定槽位。

**多机运动规划（multi-agent motion planning）**：为每架飞机找到满足动力学约束、避免障碍和机间冲突的时空轨迹；机群可以分散行动。

**任务协同（multi-robot coordination）**：决定谁去哪里、感知什么、何时交接，目标是提高任务收益。搜索、建图等任务的最优组织方式往往不要求一直保持紧密队形。

“集群”没有一个全领域统一的最小机数标准。灯光表演证明大规模轨迹协调与执行能力；未知环境自主飞行还需要在线感知与决策，两者的评价条件不同。分布式通常强调通过局部交互共同计算；去中心化强调决策不依赖唯一中心，不必然意味着无通信。应阅读论文的实际架构，而非只看术语。

学习入口：[空中集群总综述 P31](论文目录与摘要.md#P31)、[编队控制综述 P13](论文目录与摘要.md#P13)、[微型群集约束综述 P32](论文目录与摘要.md#P32)。

## 知识框架｜八层能力与理论工具

| 层次 | 要回答的问题 | 核心知识 | 对应阅读 |
| --- | --- | --- | --- |
| 1. 单机动力学与控制 | 一架飞机能否准确执行指令？ | 刚体动力学、欠驱动、SO(3)/SE(3)、轨迹跟踪、微分平坦性 | [P20](论文目录与摘要.md#P20)、[P21](论文目录与摘要.md#P21)、[P43](论文目录与摘要.md#P43) |
| 2. 状态估计与相对感知 | 自己与同伴究竟在哪里？ | 可观测性、VIO、SLAM、UWB、LiDAR、因子图 | [P46](论文目录与摘要.md#P46)、[P47](论文目录与摘要.md#P47)、[P48](论文目录与摘要.md#P48) |
| 3. 信息网络 | 信息怎样传播，迟到或缺失怎么办？ | 图论、有向图、切换系统、时延、事件触发、网络鲁棒性 | [P04](论文目录与摘要.md#P04)、[P06](论文目录与摘要.md#P06)、[P66](论文目录与摘要.md#P66)、[P67](论文目录与摘要.md#P67) |
| 4. 群集与编队 | 局部动作能否产生所需整体运动？ | 共识、领导者跟随、势函数、距离刚性、方位刚性、仿射变形 | [P08](论文目录与摘要.md#P08)、[P12](论文目录与摘要.md#P12)、[P14](论文目录与摘要.md#P14)、[P15](论文目录与摘要.md#P15)、[P65](论文目录与摘要.md#P65) |
| 5. 规划与安全 | 怎样通过环境且不互撞？ | MPC、轨迹优化、速度障碍、运动基元、CBF、安全走廊 | [P19](论文目录与摘要.md#P19)、[P29](论文目录与摘要.md#P29)、[P40](论文目录与摘要.md#P40)、[P50](论文目录与摘要.md#P50)、[P53](论文目录与摘要.md#P53) |
| 6. 任务分配与探索 | 多机怎样比单机完成得更好？ | 匹配、拍卖、CBBA、覆盖控制、车辆路径问题、主动感知 | [P16](论文目录与摘要.md#P16)、[P18](论文目录与摘要.md#P18)、[P49](论文目录与摘要.md#P49) |
| 7. 学习与适应 | 怎样减少手工设计、应对复杂交互？ | 模仿学习、强化学习、图神经网络、残差动力学、可微仿真 | [P36](论文目录与摘要.md#P36)、[P37](论文目录与摘要.md#P37)、[P42](论文目录与摘要.md#P42)、[P61](论文目录与摘要.md#P61)、[P63](论文目录与摘要.md#P63) |
| 8. 系统与验证 | 能否复现、扩展和长期运行？ | 时间同步、机队部署、日志、故障恢复、仿真到实机、基准测试 | [P26](论文目录与摘要.md#P26)、[P43](论文目录与摘要.md#P43)、[P57](论文目录与摘要.md#P57)、[P62](论文目录与摘要.md#P62) |

数学学习顺序建议为：线性代数与微分方程 → 概率与状态估计 → 反馈控制和 Lyapunov 稳定性 → 图论与切换系统 → 优化和 MPC → 刚性理论与安全控制 → 多智能体学习。不必先学完全部数学再阅读系统论文；先知道每项工具在解决什么问题。

## 知识框架｜五个最有用的数学直觉

**一致性**：最简单的一阶模型为 `dxᵢ/dt = −Σⱼ aᵢⱼ(xᵢ−xⱼ)`，整体可写作 `dx/dt = −Lx`。邻居差异驱动个体调整。对于固定、无向、连通图，拉普拉斯的第二小特征值常用于理解收敛速度；有向、切换、时延系统不能直接套用同一个结论。[P04](论文目录与摘要.md#P04)

**编队**：如果目标是各机保持不同偏移 `rᵢ`，可以对 `qᵢ = pᵢ−rᵢ` 做一致性。这样 q 接近相同，而 p 保持队形。若偏移随时间变化，必须考虑其变化率与可实现性，不能只给共识算法增加一个常量。[P13](论文目录与摘要.md#P13)、[P65](论文目录与摘要.md#P65)

**刚性**：只有部分距离信息时，连通不代表队形形状唯一。链条虽然连通，仍可弯曲；刚性研究哪些几何约束能阻止这种自由形变。距离、方位、相对位移对坐标系、尺度和传感器的要求不同。[P12](论文目录与摘要.md#P12)、[P14](论文目录与摘要.md#P14)

**预测控制**：每次预测一段未来，优化任务、能耗或队形误差，同时限制碰撞与动力学，然后执行其中一小段并重新计算。代价是实时求解时间，且局部问题之间可能相互冲突。[P34](论文目录与摘要.md#P34)、[P69](论文目录与摘要.md#P69)

**安全屏障**：用 `hᵢⱼ = ‖pᵢ−pⱼ‖²−d_safe² ≥ 0` 表达安全距离，在合适模型下约束其变化，使系统保持在安全集合内。真实四旋翼往往需要高相对阶处理、安全裕量及跟踪误差分析，不能直接将一阶公式送给电机。[P29](论文目录与摘要.md#P29)、[P30](论文目录与摘要.md#P30)

需要分别检查五件事：稳定性、避碰安全、动力学可行性、不会停滞的任务进展，以及算法能否在硬件时限内完成。证明其中一项，不代表其余四项自然成立。

## 发展脉络｜六个相互交叠的阶段

阶段划分是便于理解的编者组织方式，不表示旧方法在新阶段被淘汰。

| 阶段 | 核心问题的变化 | 重要节点 |
| --- | --- | --- |
| 1987—2000：局部规则与涌现 | 没有中央指挥，整体秩序如何出现？ | [Reynolds 1987／P01](论文目录与摘要.md#P01)、[Vicsek 等 1995／P02](论文目录与摘要.md#P02) |
| 2001—2010：可证明的协调 | 哪些通信图和局部控制律能保证协同？ | [虚拟领导者 2001／P11](论文目录与摘要.md#P11)、[最近邻一致性 2003／P03](论文目录与摘要.md#P03)、[共识 2004／P04](论文目录与摘要.md#P04)、[群集理论 2006／P08](论文目录与摘要.md#P08)、[CBBA 2009／P18](论文目录与摘要.md#P18) |
| 2011—2017：可飞轨迹与实验平台 | 几何队形如何成为真实、平滑且安全的飞行？ | [Minimum Snap 2011／P20](论文目录与摘要.md#P20)、[CAPT 2014／P23](论文目录与摘要.md#P23)、[时变编队 2015／P65](论文目录与摘要.md#P65)、[Crazyswarm 2017／P26](论文目录与摘要.md#P26)、[安全屏障 2017／P29](论文目录与摘要.md#P29) |
| 2018—2020：规模、感知与自主任务 | 怎样从实验室队形走向自主群体？ | [30 机优化群集 2018／P25](论文目录与摘要.md#P25)、[微型探索 2019／P33](论文目录与摘要.md#P33)、[固定翼 21 机实验 2019／P68](论文目录与摘要.md#P68)、[GLAS 2020／P37](论文目录与摘要.md#P37)、[无显式通信群集 2020 在线／P64](论文目录与摘要.md#P64) |
| 2021—2023：未知环境与系统闭环 | 在未知障碍、估计误差和异步信息下怎样协作？ | [EGO-Swarm 2021／P40](论文目录与摘要.md#P40)、[野外集群 2022／P45](论文目录与摘要.md#P45)、[Omni-Swarm 2022／P46](论文目录与摘要.md#P46)、[RACER 2023／P49](论文目录与摘要.md#P49)、[RMADER 2023／P50](论文目录与摘要.md#P50) |
| 2024—2026：效率、泛化与工程可靠性 | 怎样减少算力与通信依赖，并降低真实部署成本？ | [D²SLAM 2024／P48](论文目录与摘要.md#P48)、[障碍环境 RL 2024／P63](论文目录与摘要.md#P63)、[Primitive-Swarm 2025／P53](论文目录与摘要.md#P53)、[可微物理 2025／P61](论文目录与摘要.md#P61)、[SwarmNxt 2026 预印本／P62](论文目录与摘要.md#P62) |

这段历史有两条持续交汇的路径：一条从图论和稳定性出发，逐步加入感知、通信和物理约束；另一条从机器人系统出发，把规划、定位和硬件搭起来，再寻求更强的理论与可靠性保证。学习方法提供新工具，但没有消除信息不足、模型失配和安全验证这些基本问题。

## 团队地图｜谁在研究哪些问题

下表是代表性研究路线，不是全球排名。人员列为论文作者或相关课题负责人；机构主要对应论文发表时的团队，**不将历史合作者推断为 2026 年仍在同一实验室任职**。原论文是判断具体贡献的依据。

| 团队或学术路线 | 代表研究者 | 在本图谱中的方向与证据 |
| --- | --- | --- |
| 浙江大学 FAST 等合作团队 | Fei Gao（高飞）、Xin Zhou（周鑫）、Chao Xu、Jialiang Hou 等 | 机载局部规划、未知环境自主集群、轻量运动基元；[P39](论文目录与摘要.md#P39)、[P40](论文目录与摘要.md#P40)、[P45](论文目录与摘要.md#P45)、[P53](论文目录与摘要.md#P53)；[官方代码](https://github.com/ZJU-FAST-Lab/Primitive-Planner) |
| 香港科技大学空中机器人及相关合作路线 | Shaojie Shen、Hao Xu、Boyu Zhou、Peize Liu 等 | 相对定位、协同 SLAM、分布式探索；[P46](论文目录与摘要.md#P46)、[P48](论文目录与摘要.md#P48)、[P49](论文目录与摘要.md#P49)；[RACER 作者项目](https://github.com/Robotics-STAR-Lab/RACER) |
| 香港大学火星实验室相关团队 | Fu Zhang、Fangcheng Zhu、Yunfan Ren 等 | 激光惯性估计与机间直接观测；[Swarm-LIO / P47](论文目录与摘要.md#P47) |
| 上海交通大学及论文合作作者 | Weiyao Lin、Danping Zou、Yuang Zhang、Yu Hu、Yunlong Song | 可微物理、低成本视觉控制、无显式通信集群；[P61](论文目录与摘要.md#P61)、[期刊原文](https://www.nature.com/articles/s42256-025-01048-0) |
| 清华时变编队理论研究路线 | Xiwang Dong、Bocheng Yu、Zongying Shi、Yisheng Zhong | 时变编队可实现性、控制协议与实飞验证；[P65](论文目录与摘要.md#P65)。这里按 2015 年论文归属描述 |
| 国防科技大学、北京大学合作论文 | Xiangke Wang、Lincheng Shen、Zhongkui Li 等 | 固定翼分层协调、会合、路径跟随、队形重构；[P68](论文目录与摘要.md#P68)、[北大机构库](https://ir.pku.edu.cn/handle/20.500.11897/544684) |
| 宾夕法尼亚大学 GRASP / Kumar 及合作路线 | Vijay Kumar、Daniel Mellinger、Nathan Michael、Ekaterina Tolstaya 等 | 动力学可行轨迹、多机目标分配、学习分布式策略；[P20](论文目录与摘要.md#P20)、[P23](论文目录与摘要.md#P23)、[P36](论文目录与摘要.md#P36)；[实验室](https://www.kumarrobotics.org/) |
| MIT Aerospace Controls Laboratory | Jonathan P. How、Jesus Tordesillas、Kota Kondo 等 | 分布式任务拍卖、连续时间规划、通信时延下的安全；[P18](论文目录与摘要.md#P18)、[P41](论文目录与摘要.md#P41)、[P50](论文目录与摘要.md#P50)；[RMADER 项目](https://github.com/mit-acl/rmader) |
| Caltech 控制、学习与机器人合作路线 | Soon-Jo Chung、Guanya Shi、Yisong Yue、Benjamin Rivière、Wolfgang Hönig 等 | 机间气动学习、近距离异构飞行、学习与安全结合；[P37](论文目录与摘要.md#P37)、[P42](论文目录与摘要.md#P42)；[实验室研究](https://aerospacerobotics.caltech.edu/sparse-apertures) |
| USC 及 Crazyswarm 原作者合作路线 | Gaurav S. Sukhatme、James A. Preiss、Nora Ayanian、Zhehui Huang 等 | 微型机队平台、考虑下洗的规划、端到端多机 RL；[P26](论文目录与摘要.md#P26)、[P27](论文目录与摘要.md#P27)、[P51](论文目录与摘要.md#P51)、[P63](论文目录与摘要.md#P63) |
| EPFL LIS | Dario Floreano、Enrica Soria、Fabrizio Schiano、Charbel Toumieh 等 | 仿生群集、预测控制、开放集群平台；[P44](论文目录与摘要.md#P44)、[P69](论文目录与摘要.md#P69)、[P62](论文目录与摘要.md#P62)；[实验室](https://www.epfl.ch/labs/lis/research/aerial-robotics/) |
| 布拉格捷克理工大学 MRS | Martin Saska、Tomáš Báča、Pavel Petráček、Viktor Walter、Jiří Horyna 等 | UVDAR 相对感知、无需显式通信的群集、可复现系统；[P43](论文目录与摘要.md#P43)、[P64](论文目录与摘要.md#P64)、[P70](论文目录与摘要.md#P70)；[研究方向](https://mrs.fel.cvut.cz/research/swarm-robotics) |
| TU Delft MAVLab | Guido de Croon、Kimberly McGuire、Christophe De Wagter 等 | 极小型、低功耗、极简导航与群体探索；[P32](论文目录与摘要.md#P32)、[P33](论文目录与摘要.md#P33)；[作者介绍](https://mavlab.tudelft.nl/swarm-of-tiny-drones-explores-unknown-environments/) |
| Toronto / TUM，Schoellig 合作路线 | Angela P. Schoellig、Carlos E. Luis、Siqi Zhou、Martin Schuck 等 | 分布式 MPC、安全规划与自然语言编舞；[P34](论文目录与摘要.md#P34)、[P54](论文目录与摘要.md#P54)、[P55](论文目录与摘要.md#P55)；[作者论文库](https://www.dynsyslab.org/research/publications/) |
| ELTE 群体运动与自主无人机路线 | Tamás Vicsek、Gábor Vásárhelyi、Csaba Virágh 等 | 自驱粒子、演化优化和真实大规模自组织群集；[P02](论文目录与摘要.md#P02)、[P24](论文目录与摘要.md#P24)、[P25](论文目录与摘要.md#P25) |
| 分布式控制理论的若干重要路线 | Reza Olfati-Saber、Richard Murray、Ali Jadbabaie、Wei Ren、Randal Beard、Hyo-Sung Ahn、Shiyu Zhao、Daniel Zelazo 等 | 共识、切换图、时延、刚性与编队几何；[P03—P15](论文目录与摘要.md#P09)。这些是不同团队，不能视为一个实验室 |

选择合作团队时，应将对方的论文场景、传感器配置、代码可用性和失败条件与你的研发目标逐项对齐。发表在同一顶级期刊，不代表解决的是同一种问题。

## 研究方向｜当前值得重点投入的十个问题

以下优先级是针对**民用自主探索、巡检或科研平台，需要在实际环境持续运行**这一假设的分析判断，不是全球研究热度的统计排名。若目标是灯光表演或长航时固定翼，优先级需要调整。

### 1. 无 GNSS 条件下的可靠相对定位｜基础优先

**为什么投入**：机间避碰所需的是同一时刻、同一相对几何关系中的位置与速度。各机各自“定位正常”，并不代表彼此地图没有漂移；定位错误会直接变成碰撞风险。

**谁与现有进展**：HKUST 的 Omni-Swarm、D²SLAM，HKU 的 Swarm-LIO，CTU 的 UVDAR 与通信无依赖群集。[P46](论文目录与摘要.md#P46)、[P47](论文目录与摘要.md#P47)、[P48](论文目录与摘要.md#P48)、[P64](论文目录与摘要.md#P64)、[P70](论文目录与摘要.md#P70)

**尚需解决**：弱纹理、遮挡、暗光、测距异常、成员加入退出、相对坐标初始化，以及感知误差向规划安全裕量的传播。

**验收指标**：相对位姿误差分布、尾部误差、定位可用率、重定位耗时、遮挡后恢复、单位机载功耗；不能只给平均绝对轨迹误差。

### 2. 通信延迟、丢包与断连下的安全协调｜基础优先

**为什么投入**：飞机数量、干扰和遮挡增加后，邻机轨迹可能已过期。即使每个局部规划器单独“认为安全”，不同版本的世界也可能导致冲突。

**谁与现有进展**：MIT RMADER；事件触发与韧性共识理论；CTU 直接感知路线。[P50](论文目录与摘要.md#P50)、[P66](论文目录与摘要.md#P66)、[P67](论文目录与摘要.md#P67)、[P70](论文目录与摘要.md#P70)

**尚需解决**：信息新鲜度、时间同步、异常消息、未知时延、短时断网的降级模式。安全证明必须说明可容忍的网络条件。

**验收指标**：在预设丢包与时延分布下的碰撞率、任务完成率、最小间距、恢复时间，以及每机带宽；测试曲线应覆盖失效边界。

### 3. 可扩展、实时且可验证的轨迹规划｜基础优先

**为什么投入**：全连接情况下，成对冲突数量按 N(N−1)/2 增加；即使限制邻居数，也要处理拥堵、瓶颈、死锁和远处信息缺失。平均求解很快但偶发超时仍可能造成事故。

**谁与现有进展**：ZJU EGO-Swarm / Primitive-Swarm，MIT MADER / RMADER，EPFL 分布式预测控制，Schoellig 的 DMPC。[P34](论文目录与摘要.md#P34)、[P40](论文目录与摘要.md#P40)、[P41](论文目录与摘要.md#P41)、[P50](论文目录与摘要.md#P50)、[P53](论文目录与摘要.md#P53)、[P69](论文目录与摘要.md#P69)

**尚需解决**：复杂地形的局部最优、狭窄通道互让、动态障碍、规划与执行误差之间的安全余量。

**验收指标**：同硬件、同场景下的求解时间 P95/P99、成功率、最小间距、总任务时间、能耗；分开报告仿真规模与实飞规模。

### 4. 多机探索与任务分配的实际收益｜基础优先

**为什么投入**：多架飞机可能重复搜同一片区域、争抢通道或等待通信，成本增加而任务时间没有同比下降。真正的集群价值在于减少重复劳动并合理分配稀缺资源。

**谁与现有进展**：RACER 团队、CBBA 研究路线、覆盖控制团队、TU Delft 极简探索。[P16](论文目录与摘要.md#P16)、[P18](论文目录与摘要.md#P18)、[P33](论文目录与摘要.md#P33)、[P49](论文目录与摘要.md#P49)、[P60](论文目录与摘要.md#P60)

**尚需解决**：动态任务、工作量失衡、电量与航程差异、失效成员接管、覆盖质量与定位质量的共同优化。

**验收指标**：达到相同完整度和质量所需时间、重复覆盖率、单位面积能耗、失效后任务完成率。多机速度提升要与同等总资源的基线比较。

### 5. 学习控制器的泛化与安全边界｜重点验证

**为什么投入**：手工规则难以覆盖复杂交互；学习方法能压缩决策计算，但可能对陌生布局、机型、光照和规模产生失效。

**谁与现有进展**：Penn 的图神经网络，Caltech GLAS / Neural-Swarm2，USC 多机 RL，上海交大及合作者的可微物理路线。[P36](论文目录与摘要.md#P36)、[P37](论文目录与摘要.md#P37)、[P42](论文目录与摘要.md#P42)、[P63](论文目录与摘要.md#P63)、[P61](论文目录与摘要.md#P61)

**尚需解决**：训练分布外检测、感知到控制的误差传播、不同机数迁移、学习策略与可验证安全层兼容。训练时可见全局信息，部署时仍应只使用声明的局部信息。

**验收指标**：未见场景和机型上的成功率、最差情形、推理时延、恢复行为、安全层干预频率；2026 年低保真训练论文仍是仿真样本。[P59](论文目录与摘要.md#P59)

### 6. 感知、通信与控制联合设计｜重点验证

**为什么投入**：控制动作会改变可见性和无线连接；感知与通信质量反过来决定哪些动作安全。三个模块分别最优，整体未必可靠。

**谁与现有进展**：CTU 直接相对感知、HKUST 协同估计、EPFL 预测群集、上海交大视觉策略。[P46](论文目录与摘要.md#P46)、[P64](论文目录与摘要.md#P64)、[P69](论文目录与摘要.md#P69)、[P70](论文目录与摘要.md#P70)、[P61](论文目录与摘要.md#P61)

**尚需解决**：为保持视场而调整队形、为改善可观测性选择轨迹、在带宽不足时优先发送哪些信息。无显式通信方案仍需要有效的感知链路。

**验收指标**：遮挡和弱纹理条件下的任务表现、单位通信字节带来的性能提升、队形对可观测性的影响，而不只是通信吞吐量。

### 7. 近距离气动交互与异构编队｜按场景投入

**为什么投入**：下洗、地面效应、风扰和不同机型响应会使几何上安全的轨迹失去物理安全性；固定翼还受到最低速度和转弯半径限制。

**谁与现有进展**：Caltech Neural-Swarm2，Crazyswarm 原作者的下洗规划，固定翼协同控制团队。[P27](论文目录与摘要.md#P27)、[P42](论文目录与摘要.md#P42)、[P68](论文目录与摘要.md#P68)

**尚需解决**：学习模型的跨机型泛化、扰动界、载荷变化及电池衰减。紧密队形中的收益必须抵消额外的风险和能耗。

**验收指标**：近距离跟踪误差、扰动力预测误差、稳定裕量、耗电与载荷能力；按机型和工况分别给出。

### 8. 机队工程、故障恢复与可复现基准｜基础优先

**为什么投入**：单次成功演示无法说明系统能否每天重复工作。多机部署、配置不一致、日志对齐、充电维护和成员失效，都会吞掉实际研发效率。

**谁与现有进展**：Crazyswarm、MRS UAV、AirSwarm、SwarmNxt。[P26](论文目录与摘要.md#P26)、[P43](论文目录与摘要.md#P43)、[P57](论文目录与摘要.md#P57)、[P62](论文目录与摘要.md#P62)

**尚需解决**：跨实验室复现、公开失败数据、真实长时任务、批量维护。SwarmNxt 是 2026 年预印本，实测仍依赖室内动捕，不应误判为完整野外系统。

**验收指标**：任务间准备时长、人工干预次数、平均故障间隔、故障定位耗时、独立复现成功率及全生命周期成本。

### 9. 语言、语义任务与人机协同接口｜探索投入

**为什么投入**：人工逐机配置不适合复杂任务；高层意图表达、任务分解和解释能力可以降低操作者负担。

**谁与现有进展**：Schoellig 合作团队的 Swarm-GPT / SwarmGPT。[P54](论文目录与摘要.md#P54)、[P55](论文目录与摘要.md#P55)

**尚需解决**：意图歧义、空间约束理解、执行失败反馈、任务级验证。目前编舞论文支持“语言生成＋安全规划”分层架构，不能据此认定通用自主集群智能已实现。

**验收指标**：首次任务配置时间、修改次数、约束违例率、失败后的可解释恢复；应与普通脚本或图形化工具比较。

### 10. 宏观群体模型与超大规模控制｜长期基础研究

**为什么投入**：当 N 很大时，逐个精确管理的成本过高，可能需要用密度场、概率分布、最优输运或平均场思想描述整体。然而这些模型与稀疏、拥挤、真实三维飞行之间存在落差。

**已有基础与检索入口**：Vicsek 群体统计物理、群集理论和当前大规模规划研究给出不同层面的起点。[P02](论文目录与摘要.md#P02)、[P08](论文目录与摘要.md#P08)、[P53](论文目录与摘要.md#P53)

**覆盖边界**：本版没有完成平均场博弈、连续介质和最优输运的专项文献检索，不能把它们列为已证实的当前领先路线，也不对其团队排名。

**验收指标**：群体密度跟踪误差、对局部瓶颈的敏感性、微观碰撞风险和宏观模型失配。应先证明该抽象比局部邻域方案更适合目标任务。

## 研发判断｜怎样形成投入组合

**先建立可以测量的基线，再决定投资哪种方法。** 对未知环境自主探索这一目标，建议按以下顺序开展验证。这是条件性建议，不是对微分智飞当前能力的审计结论。

| 投入顺序 | 具体产出 | 判断继续投入的证据 |
| --- | --- | --- |
| 先补基础 | 统一状态、时间戳、通信、日志和失败分类；完成单机与小规模多机基线 | 同场景多次重复结果稳定，能够解释主要失效原因 |
| 再攻瓶颈 | 从相对定位、通信鲁棒规划或任务分配中选择一个最影响任务完成的瓶颈 | 相比当前方案，任务成功率或同质量完成时间得到稳定提升 |
| 并行做前沿验证 | 在保留基线的条件下比较 GNN、RL、可微物理或语言接口 | 对未见任务仍有效，且算力、维护和安全成本可接受 |

**有价值的投入通常减少一个关键依赖、扩大一个已验证的工作范围，或降低一个持续成本。** 例如减少外部定位依赖、容忍更大时延、在同一处理器上实时处理更多邻居、提高未知空间覆盖效率。仅增加方法名称、网络层数或仿真机数，不足以支持投入判断。

若产品是灯光表演，优先关注离线轨迹优化、授时、定位、可靠执行和批量运维；若产品是室内科研平台，优先关注开放接口、可重复实验、文档和可控故障注入；若产品是森林探索，优先关注视觉或激光估计、在线规划、弱通信及任务收益。无需强求三者使用同一套技术路线。

## 阅读路线｜先读十二篇建立骨架

以下顺序服务理解，不按年份机械排序。Tier 1 表示本图谱的骨架优先阅读，Tier 2 表示专题深化，Tier 3 表示辅助综述或前沿样本；不是论文质量评分，也不声称近期论文已经获得历史共识。

| 顺序 | 论文 | 读完应该能回答 |
| --- | --- | --- |
| 1 | [P31：空中集群总综述](论文目录与摘要.md#P31) | 一个完整集群系统有哪些部件？ |
| 2 | [P13：编队控制综述](论文目录与摘要.md#P13) | 位置、位移、距离控制有什么区别？ |
| 3 | [P01：Boids](论文目录与摘要.md#P01) | 为什么局部规则能产生群体图案？ |
| 4 | [P04：共识、拓扑与时延](论文目录与摘要.md#P04) | 什么网络条件让协调成为可能？ |
| 5 | [P08：群集算法与理论](论文目录与摘要.md#P08) | 队伍如何兼顾凝聚、间距与迁移？ |
| 6 | [P20：Minimum Snap](论文目录与摘要.md#P20) | 一条路线怎样变成可执行飞行轨迹？ |
| 7 | [P29：安全屏障证书](论文目录与摘要.md#P29) | 控制性能与安全约束怎样分开处理？ |
| 8 | [P40：EGO-Swarm](论文目录与摘要.md#P40) | 机载自主集群的基本系统如何构成？ |
| 9 | [P45：野外自主集群](论文目录与摘要.md#P45) | 从实验室到野外增加了哪些难点？ |
| 10 | [P46：Omni-Swarm](论文目录与摘要.md#P46) | 精确相对定位为什么是基础？ |
| 11 | [P49：RACER](论文目录与摘要.md#P49) | 多机怎样通过分工创造任务价值？ |
| 12 | [P53：Primitive-Swarm](论文目录与摘要.md#P53) | 规模与算力之间有哪些新解法？ |

随后按目标选专题：理论读 P03、P06、P07、P09、P12、P14、P15、P65—P67；安全规划读 P19、P23、P27—P30、P34、P41、P50、P69；感知读 P46—P48、P52、P64、P70；学习读 P35—P38、P42、P51、P61、P63，最后看 P54、P55、P59。

## 阅读路线｜四周学习与输出

| 周次 | 学习重点 | 建议阅读 | 必须留下的成果 |
| --- | --- | --- | --- |
| 第 1 周 | 问题分类、历史与图论直觉 | P31、P13、P01、P03、P04、P09 | 一页自己的系统图，能讲清共识、编队、规划、任务分配的区别 |
| 第 2 周 | 飞行可行性、刚性与安全 | P12、P14、P20、P26、P29、P30 | 一张“算法依赖哪些假设”的表，解释稳定与安全为何不同 |
| 第 3 周 | 真正自主的感知规划闭环 | P40、P45、P46、P48、P49、P50 | 一张失败原因树，把感知、通信、规划和执行失败分开 |
| 第 4 周 | 学习前沿与研发投入 | P37、P42、P53、P61、P62、P63 | 三个候选课题的简短提案，每个包含基线、假设、验收和停止条件 |

每篇论文只记录六项：解决什么问题；依赖哪些信息；核心方法；理论保证；实验证据；没有解决什么。先用 10 分钟判断与自己问题是否相关，再决定是否推导公式或复现。

## 评估方法｜读论文和立研发项目时的共同清单

| 维度 | 必须问清楚的内容 |
| --- | --- |
| 信息条件 | 是否有全局地图、共享坐标、精确邻机状态、外部定位或预设轨迹？ |
| 计算架构 | 中央电脑、机载处理器还是混合架构？训练与推理在哪里进行？ |
| 规模条件 | 仿真、室内实飞、野外实飞各多少架？这些数值不能拼接 |
| 动力学条件 | 质点、一阶或二阶模型，还是完整四旋翼？是否考虑下洗和输入饱和？ |
| 安全证据 | 数学保证的假设是什么？是连续时间轨迹安全，还是离散采样未碰撞？ |
| 任务收益 | 与单机、简单规则、经典优化相比，完成时间、质量和成本改善多少？ |
| 鲁棒性 | 噪声、遮挡、风、时延、丢包、个体失效时发生什么？ |
| 统计与复现 | 有多少次独立试验、哪些失败、代码和配置是否足以复现？ |

“100% 成功”必须附带样本数、场景与测试条件；“去中心化”必须附带信息和通信依赖；“无通信”必须说明直接视觉感知和外部定位条件；“端到端”必须说明底层控制是否仍由传统控制器承担。

## 检索方法｜如何继续扩展到更完整的数据库

本次采用代表性综述作为入口，沿基础理论和系统工作进行前向主题检索与参考文献追踪；通过 Crossref 出版社登记信息、arXiv、PMLR、出版社、作者及机构库核对书目。2025—2026 年样本用于展示近期探索方向，覆盖并不穷尽。没有调用付费数据库的完整检索导出，也没有生成可声明全覆盖的 PRISMA 流程。

建议在 IEEE Xplore、Web of Science、Scopus、Google Scholar 与 arXiv 继续使用下列检索式，并记录检索日期、结果总数、去重与排除原因：

- `(UAV OR quadrotor OR aerial robot) AND (swarm OR multi-agent OR formation) AND (control OR planning OR consensus)`
- `(formation control) AND (rigidity OR bearing OR affine OR time-varying)`
- `(aerial swarm) AND (relative localization OR collaborative SLAM OR UWB OR LiDAR)`
- `(multi-UAV) AND (communication delay OR event-triggered OR resilient OR fault-tolerant)`
- `(drone swarm) AND (reinforcement learning OR graph neural network OR differentiable physics)`
- `(multi-UAV) AND (exploration OR task allocation OR coverage OR active perception)`

去重优先使用 DOI，再用题名与作者核对。同一成果的预印本、会议与期刊扩展需记录版本关系；明确的新内容可分别保留，但不能重复统计为独立突破。第一批扩展重点可放在固定翼队形、协同运输与操作、形式化验证、均值场/密度控制，以及 2025—2026 年故障恢复和多机学习的完整文献链。

本图谱未做被引量排名、开源代码逐项安装复现、论文全部定理审查或商业可用性认证。公开代码链接表示有对应项目入口，不表示已在本地验证可以运行。