[論文レビュー] Network Coding meets Decentralized Control: Network Linearization and Capacity-Stabilizablilty Equivalence

Se Yong Park, Anant Sahai|arXiv (Cornell University)|Aug 23, 2013

Cooperative Communication and Network Coding参考文献 14被引用数 3

ひとこと要約

本稿では、線形時不変（LTI）ネットワークコーディングがいかなる中継ネットワークでも最小カット容量を達成することを示し、分散型制御系におけるLTIコントローラーが暗黙的にネットワークコーディングを通じて通信していることから、ネットワークコーディングと分散型制御の間に双対性を確立している。主な結果は、分散型線形システムの安定化可能性が、代数的最小カット・最大フロー定理によって形式化された十分な情報フロー容量と同値であるということである。

ABSTRACT

We take a unified view of network coding and decentralized control. Precisely speaking, we consider both as linear time-invariant systems by appropriately restricting channels and coding schemes of network coding to be linear time-invariant, and the plant and controllers of decentralized control to be linear time-invariant as well. First, we apply linear system theory to network coding. This gives a novel way of converting an arbitrary relay network to an equivalent acyclic single-hop relay network, which we call Network Linearization. Based on network linearization, we prove that the fundamental design limit, mincut, is achievable by a linear time-invariant network-coding scheme regardless of the network topology. Then, we use the network-coding to view decentralized linear systems. We argue that linear time-invariant controllers in a decentralized linear system "communicate" via linear network coding to stabilize the plant. To justify this argument, we give an algorithm to "externalize" the implicit communication between the controllers that we believe must be occurring to stabilize the plant. Based on this, we show that the stabilizability condition for decentralized linear systems comes from an underlying communication limit, which can be described by the algebraic mincut-maxflow theorem. With this re-interpretation in hand, we also consider stabilizability over LTI networks to emphasize the connection with network coding. In particular, in broadcast and unicast problems, unintended messages at the receivers will be modeled as secrecy constraints.

研究の動機と目的

• 両者を線形時不変（LTI）システムとしてモデル化することにより、ネットワークコーディングと分散型制御を統一すること。
• 任意の中継ネットワークにおける最小カット容量が、トポロジーに依存せずLTIネットワークコーディングによって達成可能であることを証明すること。
• 分散型線形システムにおける安定化可能性が、背後に隠れた通信制限から生じることを示し、最小カット・最大フロー定理によって形式化すること。
• 分散型システムにおけるコントローラー間の暗黙的通信を外部化し、それが実質的に線形ネットワークコーディングを実行していることを明らかにすること。
• 秘密性制約を含むLTIネットワークへの同値性の拡張を行い、意図しないメッセージをブロードキャストまたはユニキャスト問題としてモデル化すること。

提案手法

• ネットワーク線形化の導入：任意の中継ネットワークを、内部状態と循環アークを持つ等価な非循環1ホップネットワークに変換する。
• 線形化されたネットワークに線形システム理論を適用し、LTIネットワークコーディングによって最小カット容量が達成可能であることを証明する。
• 分散型システムにおけるコントローラー間の暗黙的通信を外部化するためのアルゴリズムを開発し、それをLTIネットワークとしてモデル化する。
• 固定モードを外部化された通信ネットワーク上の最小カット条件として再解釈し、代数的最小カット・最大フロー定理を用いる。
• ネットワークコーディングにおけるマルチユニキャストおよびブロードキャスト問題を、複数の観測者とコントローラーを持つLTIネットワークの制御として再解釈する。
• 有限体モデルにおけるチャネル行列のランクを用いて相互情報量と自由度を等価とみなすことで、制御とコーディングの間の代数的同等性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ネットワークコーディングにおける根本的な容量限界（最小カット）が、ネットワークトポロジーに依存せず、線形時不変コーディング方式によって達成可能か？
• RQ2 分散型線形システムにおける安定化可能性条件が、背後に隠れたネットワークにおける通信容量制約と同値か？
• RQ3 分散型LTIコントローラー間の暗黙的通信が、等価なLTIネットワーク上の線形ネットワークコーディングとして明示的にモデル化可能か？
• RQ4 制御における固定モードの代数的構造が、ネットワークコーディングにおける最小カット・最大フロー定理とどのように関係するか？
• RQ5 マルチユニキャストおよびブロードキャスト問題に関するネットワークコーディングの結果が、マルチプラント・マルチコントローラーシステムの安定化可能性条件にどのように翻訳可能か？

主な発見

• ネットワーク線形化により、いかなる中継ネットワークも、同じ最小カットおよび最大フローを持つ等価な非循環1ホップネットワークに変換可能であり、これによりLTIネットワークコーディングによる最小カット容量達成の簡単な証明が可能になる。
• 分散型線形システムの安定化可能性は、関連するLTIネットワークにおける十分な情報フロー容量の存在と同値であり、代数的最小カット・最大フロー定理によって形式化されている。
• 分散型制御システムにおける固定モードが、代数的最小カット・最大フロー条件の特別なケースであることが示され、制御理論における長年の謎が解明された。
• 分散型システムにおけるLTIコントローラーは、線形制御制約下にあっても、暗黙的に線形ネットワークコーディングを通じて通信していることが判明し、長年にわたる予想が裏付けられた。
• マルチユニキャストおよびブロードキャスト問題に関して、複数プラントの安定化可能性は、十分な容量を持つユニキャストまたはブロードキャスト通信方式の存在と同値であり、意図しないメッセージを秘密性制約としてモデル化できる。
• 各固有値に対するジョルダン細胞の数は、暗黙的通信に必要な自由度の数に一致しており、スペクトル的性質と通信要件を結びつける。