精读笔记

Problem Setting

论文标题：Flatness-Preserving Residual Learning for Real-Time Tight Quadrotor Formation Flight（arXiv preprint / 2026）。

这篇论文实际处理的是紧密多旋翼编队中 learned aerodynamic residual 如何进入实时控制的问题，而不是单纯提高 residual prediction accuracy。紧密编队，尤其上下叠飞时，下洗会把底部飞机的平动和转动都推离 nominal rigid-body model；若控制器仍按 nominal dynamics 工作，误差不是小扰动，而可能直接导致碰撞或无法通过狭窄窗口。

真正困难点在于 learning 和 control interface 的冲突。最自由的 residual dynamics 可以依赖完整多机状态，表达能力强，但会破坏 quadrotor flatness-based control 中那条从 position/yaw derivatives 到 thrust/attitude/angular-rate/torque 的代数重构链条。这样 downstream control 往往只能转向 NMPC，把 learned model 放进实时优化里。NMPC 对 Crazyflie 这类 compute-constrained stack 明显不理想，且 learned model 越复杂，在线优化越重。

所以关键矛盾是：要同时满足高频实时控制、足够气动补偿、低数据量训练、稳定真机部署。论文的核心选择是牺牲一部分 residual 表达自由度，换取 differential flatness preservation，再用物理先验把损失的表达能力补回来。

Motivation

已有路线不够的地方很明确：NeuralLander/NeuralSwarm 一类方法通过 smoothness 或稳定性友好的结构把 residual 纳入 cascaded controller，但对紧密多机下洗这种强交互、强几何依赖扰动的表达能力有限；KNODE-MPC / learned NMPC 路线能吃下更复杂 residual，但把复杂性转移到在线优化，实时性和可部署性受限。

作者的核心观察是：对 quadrotor 来说，flatness 不是一个抽象性质，而是一个非常实用的 computational interface。只要 residual 不依赖那些会反过来参与输入求解的变量，例如 thrust、attitude、angular rates，就可以把 residual 看成由 flat outputs 及其低阶导数决定的外部项，继续走代数重构。

关键缺口因此不是“缺一个更大的网络”，而是缺一个 learned residual 的结构化接口：它既要足够贴近 downwash physics，又不能让控制器退化成 NMPC。论文正是填这个接口缺口。

Core Idea

核心思想可以概括为：把 learned residual 的自由度约束在 preserves flatness 的函数类内。具体说，残差力和力矩只允许依赖整个多机系统的位置和速度，而不依赖姿态、角速度、推力等变量。这样 augmented dynamics 仍然可以用每架机的 position 和 yaw 作为 flat outputs；thrust、body z-axis、angular velocity 和 torque 仍可通过修正后的代数公式恢复。

这改变了建模方式：prior work 往往先追求 residual model fidelity，再用 NMPC 消化它；本文反过来，先规定 residual 必须满足 controller-friendly structure，再在这个结构内用 physics prior 和小网络提高 fidelity。这是一个 control-aware learning design，而不是把 learning model 当成黑箱动力学修正。

新的 inductive bias 有两层。第一层是 flatness-preserving dependency bias：只看 joint kinematics。第二层是 aerodynamic geometry bias：把两机相对位置投影到局部 flow-field frame，用 vertical separation 和 radial separation 表示 downwash 主导结构，并叠加 reduced-order downwash model。信息流也因此被重组：residual 不再主要服务于 long-horizon optimizer，而是直接进入 thrust feedforward、attitude reconstruction 和 angular-rate reference。

Method

第一，flatness-preserving residual parameterization 解决的是 learned residual 与 flatness reconstruction 不兼容的问题。若 residual 依赖 thrust 或 attitude，求 thrust 和姿态时会出现隐式方程或高阶耦合；限制为位置/速度函数后，residual 在给定 flat output derivatives 时是已知外部项，可以直接从 commanded acceleration 中扣除。这带来的核心变化是：learning model 从优化器内部的动力学变成 flatness mapping 的前馈修正项。

第二，残差的一阶导数被用于角速度参考生成。因为 body z-axis 由 corrected acceleration 决定，角速度需要对该方向求导；如果忽略 residual derivative，补偿会滞后，尤其在下洗梯度变化明显时。这里真正重要的不是 automatic differentiation 本身，而是把 learned aerodynamic field 的空间梯度转化为 anticipatory attitude compensation。

第三，torque residual 作为 feedforward 加入，但真机实现中主要补偿 residual force，力矩部分交给机载高频 PID 或简化处理。这说明论文最核心的实际收益可能集中在 translational/downwash force compensation，而不是完整六自由度 residual torque cancellation。

第四，physics-informed residual learning 用 ROM + neural residual 解决受限函数类的表达损失。ROM 给出主要 downwash 形状，小网络只学习 ROM 与真实扰动之间的偏差。这降低了数据需求，也让 OOD 到相邻 separation 时不完全靠插值记忆。

Key Insight / Why It Works

最关键的 insight 是：在这个任务里，控制可用性比 residual expressivity 更稀缺。紧密编队下洗的主导结构很大程度由相对位置，尤其 vertical/radial separation 决定；因此把 residual 限制为 kinematic field 并不会立刻毁掉性能，却能保留 flatness-based controller 的低计算优势。这是论文真正成立的地方。

方法有效主要来自 better inductive bias，而不是 scaling。网络很小，数据很少，提升不可能来自模型容量；核心是 downwash ROM、相对几何表示、rotational equivariance 和 flatness-compatible dependency 的组合。这些 bias 把学习问题从“从完整状态中发现气动结构”压缩成“修正一个已知形状的局部 flow model”。

最可能的核心贡献是 flatness-preserving residual 和 controller 的耦合设计，而不是 KNODE training 或 neural network 本身。KNODE 避免 finite difference 噪声，有工程价值，但不是主要科学点。ROM 也不是新物理模型，更像是把已有 downwash prior 放进一个适合 flatness control 的参数化里。

需要直接指出的是，性能增益中有一部分可能主要来自任务几何覆盖和物理先验，而非真正强泛化。训练和测试都围绕两机垂直叠飞、相近 separation、近 hover/直线轨迹展开；所谓 OOD 主要是 vertical separation 外推到邻近距离，不是跨拓扑、跨队形、跨机动模式泛化。这里更像 representation alignment + local interpolation，而不是学到了普适多机空气动力学。

另一个重要点是计算优势并非来自 learned model 更高效，而是来自避免在线非线性优化。也就是说，论文把难题从 test-time compute 转移到 model class design：只要 residual 属于 flatness-preserving class，控制器就轻；一旦真实扰动超出这个 class，性能上限会快速显现。

Relation To Prior Work

最接近的路线有三类。第一类是 NeuralLander/NeuralSwarm，它们同样学习 residual 并服务于较轻量控制器，但重点在 smoothness/stability-friendly residual；本文更强调 flatness preservation，并显式利用 residual derivative 形成前馈姿态补偿。第二类是 Spitzer and Michael 的 learned acceleration error + feedback linearization，思想上非常接近，但本文扩展到多机气动交互，并把 residual 设计成多机 joint kinematics 上的结构化函数。第三类是 Chee et al. 的 KNODE-MPC，它追求更自由 residual + NMPC；本文本质上是用结构约束换掉在线优化。

看似新的部分中，downwash ROM、KNODE、flatness-based quadrotor control、SE(3) feedforward 都不是新概念。真正新增的信息是把这些东西组合成一个明确的 design principle：learned residual 必须被参数化成不破坏 flatness 的形式，并且这个约束在真实 tight formation flight 中仍然足够有用。

它属于 control-aware residual learning / structured learning for nonlinear control 这条技术谱系，而不是单纯 learning dynamics。实质创新不是模型复杂度，而是 residual function class 的选择及其与 flatness controller 的闭环匹配。

Dataset / Evaluation

评估覆盖了仿真和真机，这是论文比较有说服力的部分。真机平台是两台 Crazyflie，任务是上下叠飞、固定或变化垂直间距、直线轨迹，以及一个 0.1 m 分离穿窗演示。对 compute-constrained deployment 的 claim，硬件实验比纯仿真更有价值。

实验确实支持“在两机紧密编队场景下，用结构化 residual + FBL 可以接近 NMPC 性能且计算更轻”这个核心 claim。仿真 ablation 也基本支持 ROM 和 learned residual 都有贡献：ROM 负责主要 downwash 形状，learned residual 修正剩余误差。

但 evaluation 的覆盖范围较窄。主要任务分布围绕 two-quadrotor stacked formation，且相对几何非常规整；OOD 主要是 separation 的局部外推，不是队形拓扑、速度范围、姿态变化、扰动来源的系统性泛化。文中没有充分证明该方法能自然扩展到多机密集 swarm、交叉尾流、侧向近距飞行、强加速机动或非近 hover 条件。

与 NMPC 的比较也需要谨慎：仿真中 NMPC 使用同一 learned residual，求解时间差异说明 flatness controller 更轻，但不完全说明在更复杂 residual 或更宽任务分布下仍能匹配 NMPC。真机中 FBL 输出接口还被简化为 thrust + angular velocity，力矩 residual 并未完整进入底层执行，这让“完整 residual torque compensation”的实证力度有限。

Limitation

最大限制是 residual dependency assumption。论文假设关键气动扰动可以由 joint positions and velocities 足够好地描述；但真实下洗和近距气动会受姿态、转速、推力、桨盘相对朝向、机体遮挡、瞬态尾流历史影响。把这些变量排除是保 flatness 的代价。只要任务离开近 hover 垂直叠飞，这个近似可能变得脆弱。

scalability 也没有真正解决。文中说 joint flatness 可扩展到多机，但 residual feature 会随 N 增长，多体气动不是简单 pairwise superposition。更多飞机时，局部 flow-field frame、遮挡关系、尾流叠加和通信/观测延迟都会变成主要问题。这里的 scalability claim 更像理论接口成立，而不是工程上已验证。

泛化能力主要依赖物理先验和数据覆盖。28 秒真机数据很少是亮点，但这也说明任务分布相当受控。若换机体、桨叶、电池状态、室内外流场或飞行速度，ROM 参数和 learned residual 可能需要重新标定。文中未充分说明 residual 在跨平台、跨环境上的稳定性。

增益归因仍有不清晰处。Learned-FBL 优于 ROM-FBL，但到底是 residual force accuracy、residual derivative 带来的相位改善、控制器 tuning、还是训练/测试轨迹重合贡献更大，实验没有完全拆开。特别是真机中 torque residual 没有完整使用，却仍达到很好性能，这暗示主要收益可能来自垂向 force feedforward，而不是完整 flatness-preserving force/torque residual 框架。

方法本质上也把一部分问题转移了：从在线 NMPC 优化转移到提前选择一个不会破坏 flatness 的 residual family。如果真实系统落在这个 family 外，控制器没有 NMPC 那种通过约束优化吸收复杂耦合的余地。

Takeaway

• 第一，learned dynamics for control 不一定要追求最大表达能力；在实时机器人系统里，保留 controller structure 可能比黑箱 fidelity 更重要。
• 第二，flatness-preserving residual 是一个值得迁移的设计原则：学习模型的输入依赖要按 downstream algebraic reconstruction 来设计，而不是按预测任务随意堆状态。
• 第三，物理 ROM + 小 residual 网络在数据很少、部署约束强的场景下仍然是高性价比路线。
• 这里的成功来自结构化先验和表示对齐，不来自 scaling。

一句话总结

这篇论文在 tight quadrotor formation control 中把 learned residual 从 NMPC 友好的黑箱动力学改造成 flatness-preserving 的结构化前馈补偿，是一次用控制结构约束学习模型、以牺牲部分表达能力换取实时部署性的有效方法演化。