[論文レビュー] Super-twisting over networks: A Lyapunov approach for distributed differentiation

Rodrigo Aldana-López, Irene Pérez Salesa+3 more|arXiv (Cornell University)|Feb 2, 2026

Distributed Control Multi-Agent Systems被引用数 0

ひとこと要約

ペーパーは、ネットワーク上の分散微分の全体的有限時間収束のためのLyapunovベースの抽象的超ねじれフレームワークを開発し、イベント駆動型ハイブリッド実装と体系的ゲイン設計を提供します。緩やかな信号変動仮定の下で1次分布的微分器のグローバル収束を証明し、ゲインと精度-通信トレードオフの指針を提供します。

ABSTRACT

We study distributed differentiation, where agents in a networked system estimate the average of local time-varying signals and their derivatives under mild assumptions on the agents' signals and their first and second derivatives. Existing sliding-mode methods provide only local stability guarantees and lack systematic gain selection. By isolating the structural features shared with the super-twisting algorithm and encoding them into an abstract model, we construct a Lyapunov function enabling systematic gain design and proving global finite-time convergence to consensus for the distributed differentiator. Building on this framework, we develop an event-triggered hybrid system implementation using time-varying and state dependent threshold rules and derive minimum inter-event time guarantees and accuracy bounds that quantify the trade-off between estimation accuracy and communication effort.

研究の動機と目的

• Distributed differentiation を Dynamic Average Consensus（DAC）の拡張として動機付け・形式化する。ここでエージェントは平均とその導関数を推定する。
• 古典的な super-twisting アルゴリズムと共有構造特徴を捉える抽象的超ねじれフレームワークを導入する。
• 分散微分器のグローバル有限時間収束を保証する系統的なゲイン設計条件を導出する。
• イベント駆動ハイブリッド実装を提案し、最小間隔時間と精度-通信トレードオフを確立する。

提案手法

• 無向グラフ上で局所信号とその（2階）導関数を用いて分散微分の問題を定式化する。
• 局所推定間の差分に基づく修正項を用いて合意を強制する REDCHO に類似したプロトコルを提案し、相対情報のみを使用する。
• 誤差ダイナミクスをコンパクト形に書き換え、安定性を研究するための consensus 誤差を定義する。
• 分散微分器誤差ダイナミクスを含む抽象的超ねじれ系を微分包含として導入する。
• 凸ポテンシャルとその凸共役を組み合わせたリ Lyapunov 関数を構築し、明示的なゲイン条件下で有限時間安定性を証明する。
• グローバル有限時間収束を保証する k0 と k1、および gamma の明示的なゲイン境界を導出する；不変性と Lyapunov 減衰特性を示す。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク上の分散微分に対して、Lyapunovベースの抽象的超ねじれフレームワークは全球有限時間収束を保証できるか？
• RQ2 分散微分器が収束し、有限な擾乱に対して頑健であることを保証する明示的で構築可能なゲイン設計条件は何か？
• RQ3 収束特性を保ちながらイベント駆動型通信で分散微分器を実装できるか？
• RQ4 代数的連結性を通じてネットワークトポロジーが必要なゲインと収束速度にどのように影響するか？

主な発見

• 適切なゲイン k0 と k1、および gamma により分散微分器の consensus へグローバル有限時間収束が保証され、初期化ミスマッチの減衰を加速するために gamma を使用できる。
• 凸ポテンシャルとその共役に基づくリ Lyapunov 関数はエネルギー減衰と明示的な定常時間境界への実用的な道筋を提供する。
• 抽象的超ねじれモデルは分散微分器誤差ダイナミクスの本質的構造を捉え、体系的なゲイン計算を可能にする。
• consensus 誤差の収束はエージェント全体での平均信号とその導関数の漸近的回復を意味する。
• 不変性論証により誤差ダイナミクスが定義された状態空間内にとどまることを示し、Lyapunov解析を支持する。
• フレームワークは後半セクションに詳述された精度対通信の定量的トレードオフを伴うイベント駆動実装をサポートする。