Cyclic Nullspace Coordination: Perpetual Flight of Aerial Carriers for Static Suspension

技術的概要：空中搬送機のための永続飛行に向けた循環的零空間協調

問題定義
本研究は、$n$ 台の空中搬送機（$n \geq 3$）が非停止飛行を行い、ゼロでない前進速度を維持しながら、ケーブルで吊り下げられた剛体荷重を一定の静的姿勢（固定された位置と姿勢）に保持するという課題に取り組む。先行研究は $n=3$ における理論的実現可能性を確立し、$n < 3$ が不可能であることを示したが、任意の $n \geq 3$ に対する一般的な構成手法は欠如していた。核心的な難しさは、荷重の静的平衡制約（特定の力平衡を要求する）と、搬送機の動的制約（固定翼または変換型 UAV にとって不可欠なホバリング回避のために連続運動を要求する）を両立させる点にある。

手法
提案される手法「循環的零空間協調（Cyclic Nullspace Coordination）」は、システム内の零空間における内部力を操作することで、搬送機のための協調的かつ周期的な軌道を生成する。このアプローチは以下の 2 つの主要な柱に依存する。

1. ハミルトニアンサイクルに基づく零空間構築：
   この手法は、$n$ 台の搬送機を荷重上のケーブル接続点に結ぶ完全グラフ上のハミルトニアンサイクル $H$ の辺から導出される、$(3n-6)$ 次元の零空間内における $n$ 個の線形独立な内部力の方向を選択する。サイクルの辺を零空間行列 $N$ にマッピングすることで、各ケーブルの内部力を 2 つの明確な 2 次元アフィン部分空間に分解する。この構築により、力が静的平衡方程式 $G(\bar{R}_L)f(t) = w_0$ を満たすように進化しつつ、時間とともに変化する力が保証される。

2. 周期的軌道のためのグラフ彩色：
   搬送機が決して停止しないこと（すなわち、その速度ノルム $\|\dot{p}_{R_i}(t)\|$ が厳密に正であること）を確保するため、零空間力の時間変動係数 $\lambda(t)$ を周期的関数として選択する。本論文では、ハミルトニアンサイクルの各辺に特定の周期的関数（例えば、特定の位相シフトを持つ正弦波）を割り当てるグラフ彩色戦略を採用する。この彩色により、任意の搬送機 $i$ に対して、2 つの隣接する辺関数の微分（$\dot{\lambda}_i$ および $\dot{\lambda}_{i+1}$）が同時にゼロになることがないことが保証される。これにより、ケーブル力の時間微分 $\dot{f}_i(t)$ がゼロではなく、かつ力自体と非共線であることが保証され、運動学的関係 $\dot{p}_{R_i} \propto \dot{f}^\perp_i$ を通じて、搬送機がゼロでない速度を維持することが保証される。

アルゴリズムは以下の手順でこれらの軌道を計算する。

• 幾何学的非退化条件（接続点が一直線上にないこと、力の方向が平衡力と共線でないこと）を満たす有効なハミルトニアンサイクルを選択する。
• 辺彩色を通じてサイクルの辺に周期的関数を割り当てる（偶数 $n$ の場合は 2 つの関数、奇数 $n$ の場合は 3 つの関数を使用）。
• 得られるケーブル力を計算し、運動学的逆変換を通じて搬送機の位置と速度を導出する。

主要な貢献

• 一般的な存在証明： 本論文は、$n=3$ に限定された先行研究の最小限の知見を拡張し、任意の搬送機数 $n \geq 3$ に対する静的荷重保持のための非停止飛行軌道の存在を初めて証明する。
• 構成アルゴリズム： 周波数、振幅、辺彩色などのパラメータ調整のガイドラインおよび性能を最適化するためのハミルトニアンサイクルの選択を含む、これらの軌道を生成するための完全かつスケーラブルなアルゴリズムを提示する。
• 固定翼との互換性： 固定翼 UAV に特有の制約（速度、バンク角、飛行経路角の範囲）を強制する計画レイヤーを含めるよう手法を適応させ、非停止操作が固定翼の動力学と互換性があることを実証する。
• ロバスト性分析： 本研究は、パラメータ不確かさ（質量、ケーブル長、接続点）に対するシステムの感度を分析し、単一搬送機の故障の影響を調査する。その結果、1 台の搬送機が離脱しても荷重の姿勢誤差は有界に保たれることを示す。

結果

• シミュレーション： MATLAB-Simulink による広範な数値シミュレーションが理論的知見を検証した。結果は、搬送機が周期的かつゼロでない速度の軌道を実行しながら静的荷重姿勢を維持できることを確認した。シミュレーションは以下のことを示した。
  • センサーノイズや追跡誤差にもかかわらず、荷重姿勢誤差は低く保たれる（位置誤差は数 cm 未満、姿勢誤差は 2 度未満）。
  • ハミルトニアンサイクルの選択は最小搬送機速度に影響を与える。直交する内部力方向を持つサイクルは一定速度プロファイルをもたらすのに対し、非直交な方向は速度の変動を増大させる。
  • システムは単一搬送機の故障に対してロバストであり、荷重姿勢誤差は有界に保たれる。
  • 固定翼互換プランナは、速度および角度制約を満たす軌道の生成に成功した。
• 実験： 十字形状のペイロードに接続された 4 機の Crazyflie 2.1 クアッドコプターを用いて実験室実験を実施した。
  • 提案手法を用いた場合： クアッドコプターが連続ループで移動している間、荷重は実質的に静止した（平均位置誤差は約 5.6 cm、姿勢誤差は約 1-3 度）。
  • 手法を用いない場合（対照実験）： 1 機のクアッドコプターの軌道が非同期になったとき、荷重は顕著な線形および角速度を示し、静的懸吊には循環的協調が必要であることを確認した。
  • 実験は「ケーブルの抽象化」を検証し、モデル化されていないケーブルの弾性や荷重状態フィードバックの欠如にもかかわらず、理論モデルが実世界で成立することを示した。

意義
本論文は、$n \geq 3$ の一般ケースを解決し、非停止空中操作のための最初の構成設計を提供することで、「実質的な飛躍」を成し遂げたと主張する。その意義は、長距離輸送（非停止飛行）と精密な荷重制御を統合することで、エネルギー効率の高い空中操作を可能にする点にある。この能力は、ホバリングできない固定翼および変換型 UAV にとって特に重要であり、荷重安定性を維持しつつ連続飛行シナリオを含む協働空中操作の運用範囲を拡大する。本研究は、理論的な零空間制御と実用的な非停止飛行制約の間のギャップを埋めるものである。