精读笔记
Problem Setting
这篇论文解决的不是一般 tailsitter 控制，而是一个很窄但重要的缺口：在 coordinated flight 条件下，给定位置轨迹，如何解析恢复 tailsitter 的姿态和 feedforward rotational dynamics，使已有 incremental flatness-based controller 能跟踪带明显垂直速度分量的三维机动。
真正困难是姿态定义。对 multirotor 或 uncoordinated tailsitter，可以把 yaw 当作 flat output 的一部分，或者在 level flight 下人为指定航向；但 coordinated flight 要求空速和气动力落在机体对称平面内，这时 yaw 不是独立自由度。尤其在 half-loop、cross-track motion、specific force 某些分量穿零时，原来的 yaw-based transform 会把一个几何约束问题错误地写成航向选择问题，导致奇异或不适定。
关键矛盾是：coordinated flight 本来减少了姿态自由度，但传统 flatness 表达没有利用这个约束，反而需要外部 yaw reference；而完整气动模型虽可表达更多物理效应，却牺牲了解析性和近悬停良态性。
Motivation
已有路线不够的原因不是控制律弱，而是 flatness transform 的坐标化不适合该 flight regime。Tal & Karaman 的 uncoordinated transform 对 agile maneuvering 有用，但 coordinated flight 部分依赖 level-flight assumptions；一旦轨迹有显著 vertical velocity，yaw reference 的物理含义变弱，且公式中会出现 i_z^T f_c = 0 这类奇异。
另一条路线是用 Buckingham π 模型和风洞识别，把气动力建得更完整。但这引入两个代价：AoA / sideslip 在 hover 附近不定义，且 transform 难以闭式求解。对小型 tailsitter 的 onboard tracking 来说，这不是很优雅的工程点。
作者的核心观察是：coordinated condition 本身已经提供了姿态约束。既然 v_a 和 f 必须在 body XZ plane，那么 body-y 轴应由 v_a × f 决定。缺的不是更复杂模型，而是一个能把该几何约束直接写进 flatness transform 的表达。
Core Idea
论文的核心思想是用 coordinated flight geometry 替代 yaw reference。给定轨迹后，v_a 来自速度，f 来自加速度减重力。若飞行是协调的，v_a 与 f 都在机体 XZ 平面内，因此机体侧向轴 b_y 正交于二者。于是 b_y 可以由归一化的 v_a × f 直接恢复。这一步把姿态恢复问题的主要自由度从“人为选择 yaw”变成“满足零侧滑/协调飞行几何”。
在确定 b_y 后，姿态只剩绕 b_y 的一维旋转。论文构造中间坐标系 E，再利用简化 ϕ-theory 气动力模型解析求解 θ_e 和 thrust，使所需 specific force 与模型一致。这里的本质变化不是控制器变复杂，而是 flatness map 的变量组织变了：trajectory derivatives 先定义 coordinated plane，再由 aerodynamic consistency 定义机体纵向/推力方向。
这比 prior 更 generalizable 的地方在于，它不绑定 level flight yaw convention，也不依赖 AoA/sideslip 参数化；但它的 generality 只限于 coordinated regime，并不意味着覆盖全包线。
Method
第一，姿态的侧向轴由 b_y = s normalize(v_a × f) 得到。它解决的是 coordinated flight 下 yaw 不适定的问题。符号 s 用于保持姿态连续，避免飞行方向反转时出现不必要的 180 度跳变。核心变化是：航向自由度被协调飞行约束吸收。
第二，构造中间坐标系 E，把完整姿态恢复分解为 inertial-to-E 的几何对齐和 E-to-body 的单轴旋转。这样做的必要性是把三维 SO(3) 问题降成一个标量 θ_e 求解问题，使闭式 transform 可行。
第三，用简化 ϕ-theory force model 解 θ_e 与 specific thrust。这里用的是 lift/drag-like 的全局参数化，而不是 AoA/sideslip 表达，因此避免了 π-theory 在 hover 附近的角度定义问题。核心变化是用较弱但解析友好的气动结构换取在线可计算性。
第四，通过旋转矩阵直接微分获得 angular rate 和 angular acceleration。它解决 Euler angle 表达的奇异和歧义问题，也使 feedforward 能直接接入已有 INDI 姿态环。控制律本身不是主要创新，更多是复用已有 incremental architecture 来吸收模型误差。
Key Insight / Why It Works
这篇论文最重要的 insight 是：coordinated flight 的可控性不应通过指定 yaw 来表达，而应通过 v_a 和 f 所张成的平面来表达。只要 v_a × f 非零，body-y 轴就是可观测/可恢复的；姿态剩余自由度再由气动力模型和推力约束确定。这使 flatness transform 避开了 prior 中最脆弱的外部航向选择。
真正有效的原因主要是 better inductive bias，而不是 scaling、data coverage 或更强 controller。作者把“协调飞行”作为几何先验硬编码进 transform，因此在 half-loop 这类 vertical maneuver 中不会试图维护一个人为 yaw convention。该先验恰好匹配任务结构，所以公式更稳定。
最可能的核心贡献是 closed-form coordinated flatness transform：b_y from v_a × f，加上 θ_e 的解析恢复。rotation-matrix-only 表达是重要工程选择，但更像必要的稳健实现；INDI controller 也是辅助，主要提供模型误差容忍度，而不是论文的新机制。
文中有一个值得警惕的点：不少实际成功可能来自 INDI 对未建模项的吸收和手工轨迹设计，而不是 transform 本身解决了完整动力学问题。简化 ϕ-theory 忽略了 state-dependent moments，作者认为这些慢变项可由 incremental controller 处理，但这在更高速、更强风、更大机动范围下未被充分验证。因此增益归因不完全干净。
Relation To Prior Work
最接近的是 Tal & Karaman 的 global incremental flight control 和 Lu et al. 的 aggressive tail-sitter trajectory generation / tracking。与 Tal & Karaman 的本质差异是 flight regime 和 flat output interpretation：前者偏 uncoordinated，yaw 作为外部参考或在 level flight 中有自然定义；本文把 coordinated condition 作为姿态恢复的主约束，避免在 vertical maneuver 中强行定义 yaw。
与 Lu et al. 的差异是模型复杂度和求解方式。Lu et al. 走的是更物理完整的 π-theory / wind-tunnel identification / numerical flatness transform 路线；本文走的是简化 ϕ-theory / flight-data identification / closed-form transform 路线。前者更可能覆盖复杂气动，后者更适合实时控制和低成本平台。
与 Wang et al. 相比，本文同样追求 analytical transform，但不依赖 angle of attack 作为核心参数，也把实验重点放在非水平、带垂直速度分量的轨迹上。看似新的 rotation matrix 表达，本质上是避免 Euler angle singularity 的成熟做法；实质创新在于 coordinated geometry 与 ϕ-theory 的组合，而不是矩阵微分本身。
Dataset / Evaluation
评估是小规模但真实的真机验证：Parrot Swing、室内 motion capture、两个针对性设计的 half-loop 类轨迹。任务覆盖范围不宽，但覆盖了作者 claim 中最关键的失效场景：显著 vertical velocity、cross-track motion、以及 uncoordinated transform 中 i_z^T f_c 接近或穿过零的区域。
这些实验能支持“该 transform 在这些 coordinated vertical maneuvers 中比 yaw-based uncoordinated transform 更适用”这一 claim。它们不能支持更强的 claim，例如全包线鲁棒性、户外风场泛化、不同 tailsitter 构型上的即插即用，或自动 trajectory generation 能力。
评估的主要 limitation 是轨迹手工设计且受平台 underpowered 和室内空间限制影响很大。没有系统 ablation 去分离 flatness transform、INDI、轨迹保守性、滤波和 estimator 噪声的贡献。文中提到姿态 spike 主要来自离散且有噪的速度估计，但这也说明方法对 v_a × f 几何量的估计质量敏感。
Limitation
方法成立的首要前提是 coordinated flight。它不是一个统一 tailsitter aerobatics solution；在 transition、post-stall、强侧滑、故意 uncoordinated maneuver 中，这个 transform 的约束本身就不对。
第二个硬限制是 v_a × f 不能退化。near-hover、free fall、v_a ∥ f 都会让 b_y 不可唯一确定。论文用 previous measured b_y 或切回 uncoordinated transform 的 heuristic 处理，但这不是理论闭环解。换句话说，奇异性没有消失，只是从 Euler/yaw singularity 转移到了 coordinated geometry 的可辨识性条件上。
第三，轨迹生成问题被明显上移。为了避开奇异、执行器饱和和 underpowered 区域，文中轨迹是手工调的。若没有 trajectory optimization，controller 只能在给定轨迹附近工作，不能保证任意 aggressive reference 都可执行。
第四，模型简化的上限不清。ϕ-theory 的简化形式忽略了部分 airspeed/rate-dependent moments，作者假设 INDI 能吸收慢变误差。这个假设在室内小速度实验中合理，但在户外风扰和更大速度包线中未充分说明。
第五，扩展到 dual-motor tailsitter 主要是论述层面的。文中说第一段几何旋转不变，但 θ_e、控制输入恢复和具体动力学模型都要重写；实际增益和奇异结构是否保持，文中未充分说明。
Takeaway
- 1. coordinated flight 的 flatness transform 应该从 v_a 与 f 的几何关系出发，而不是从 yaw convention 出发；这是最可迁移的思想。
- 2. 对小型 hybrid UAV，解析性和参数化良态性可能比气动模型完整性更重要。
- 简化 ϕ-theory + incremental control 是一种务实组合：模型负责给结构，INDI 负责吃掉一部分误差。
- 3. 这篇论文真正推动的是 coordinated vertical maneuver 的可执行 flatness map，而不是一个新控制框架。
一句话总结
这篇论文是在 tailsitter incremental flatness control 谱系中，把 coordinated flight 的几何约束显式写进解析 flatness transform 的工作，核心贡献是用 v_a × f 替代 yaw reference 来恢复姿态，从而扩展到带显著垂直速度分量的协调机动。