[論文レビュー] Contraction Analysis of Time-Delayed Communications Using Simplified Wave Variables

Wei Wang, Jean-Jacques Slotine|ArXiv.org|Dec 25, 2005

Underwater Vehicles and Communication Systems参考文献 24被引用数 7

ひとこと要約

本稿では、時間遅れ通信を伴う非線形システムにおける収縮解析を可能にする簡素化された波変数を導入し、遅れ値に依存せずに収縮性および同期性が保たれることを証明している。この手法により、任意で未知の時間遅れに対しても、リーダーレスまたはリーダーフォロワー構造を有するマルチエージェントシステムにおいて、強健な同期が保証される。

ABSTRACT

We study stability of interacting nonlinear systems with time-delayed communications, using contraction theory and a simplified wave variable design inspired by robotic teleoperation. We show that contraction is preserved through specific time-delayed feedback communications, and that this property is independent of the values of the delays. The approach is then applied to group cooperation with linear protocols, where it shown that synchronization can be made robust to arbitrary time delays.

研究の動機と目的

• 遠隔ロボット制御や分散制御における、時間遅れ通信を伴う非線形システムの不安定性を解消すること。
• 元来パスファシリティベース制御で用いられていた波変数の形式を簡素化することで、時間遅れフィードバックへの収縮理論の拡張を図ること。
• 任意で未知の時間遅れ下でも、グループ協調における同期が強健に保たれることを示すこと。
• 連続時間および離散時間モデルの両方に適用可能な統一された解析フレームワークの構築こと。

提案手法

• 本稿では、複雑な波変数形式の代わりに、システム状態および制御入力に基づくより取り扱いやすい構造を持つ簡素化された波変数変換を導入する。
• 一般化されたジャコビ行列 F = (Θ̇ + ΘJ)Θ⁻¹ を用いて、時間遅れ下での安定性を解析する収縮理論を適用する。
• 状態偏差と遅延波変数ダイナミクスを組み合わせたリャプノフ型関数 V(t) を用い、収束を証明する。
• 離散時間系では、遅延状態および波変数差分を考慮する時変化リャプノフ関数 V(t) を使用する。
• 本手法は、τji が遅延制御信号を表す波変数形式にシステムダイナミクスを変換し、エネルギーに類似した関数を用いて偏差の進化を追跡する。
• 証明は、リャプノフ関数 V(t) が単調非増加でありかつ下から有界であることを示すことに依拠しており、これにより状態偏差がゼロに指数収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 簡素化された波変数形式を用いることで、時間遅れフィードバックを伴う非線形システムにおける収縮性が保持されるか。
• RQ2 提案手法が、任意で未知の時間遅れ下でもマルチエージェントシステムにおける強健な同期を保証するか。
• RQ3 解析的取り扱いやすさの観点から、従来の波変数およびパスファシリティベース手法と比較して、簡素化された波変数設計はどのように異なるか。
• RQ4 本手法が、連続時間および離散時間の両方のグループ協調モデルに拡張可能か。
• RQ5 ネットワークトポロジーおよび遅れ分布が、リーダーレス構成とリーダーフォロワー構成の両方におけるシステム収束に与える影響は何か。

主な発見

• 簡素化された波変数設計が適用される限り、時間遅れ値に依存せず、時間遅れ通信を伴う非線形システムにおける収縮性が保たれる。
• 線形プロトコルを用いたグループ協調において、任意の時間遅れおよび変動するネットワーク接続性に対しても同期が強健に保たれる。特に、リンク間の遅れが不均一であっても同様に成立する。
• リーダーレスネットワークでは、すべてのエージェントが初期状態および時間遅れに依存する共通状態に漸近的に到達する。
• リーダーフォロワーネットワークでは、グループがリーダーの状態によって決定される固定の一致点に収束する。この点は遅れに依存しない。
• リャプノフ関数 V(t) が単調非増加でありかつ下から有界であることが示され、これにより状態偏差がゼロに指数収束することを示している。
• 本解析は連続時間および離散時間モデルの両方に適用可能であり、分散制御システムへの広範な適用可能性を示している。