[論文レビュー] The necessity and sufficiency of anytime capacity for stabilization of a linear system over a noisy communication link, Part II: vector systems

Anant Sahai, Sanjoy K. Mitter|ArXiv.org|Oct 25, 2006

Stability and Control of Uncertain Systems被引用数 5

ひとこと要約

この論文は、ノイジーなチャネルを介したベクトル線形システムの安定化において、任意の容量（anytime capacity）をベクトル設定に拡張する必要があり、これは各不安定固有値ごとに必要な最小チャネル信頼性を特徴付ける『任意のレート領域』（anytime rate-region）によって実現されることを確立している。主な結果は、安定化が可能かつ必要となるのは、チャネルが各固有値の成長率に一致するレート・信頼性トレードオフをサポートする場合に限ることを示しており、スカラー系の結果をフィードバック有無を問わず多次元系へ一般化している。

ABSTRACT

In part I, we reviewed how Shannon's classical notion of capacity is not sufficient to characterize a noisy communication channel if the channel is intended to be used as part of a feedback loop to stabilize an unstable scalar linear system. While classical capacity is not enough, a sense of capacity (parametrized by reliability) called "anytime capacity" is both necessary and sufficient for channel evaluation in this context. The rate required is the log of the open-loop system gain and the required reliability comes from the desired sense of stability. Sufficiency is maintained even in cases with noisy observations and without any explicit feedback between the observer and the controller. This established the asymptotic equivalence between scalar stabilization problems and delay-universal communication problems with feedback. Here in part II, the vector-state generalizations are established and it is the magnitudes of the unstable eigenvalues that play an essential role. To deal with such systems, the concept of the anytime rate-region is introduced. This is the region of rates that the channel can support while still meeting potentially different anytime reliability targets for parallel message streams. All the scalar results generalize on an eigenvalue by eigenvalue basis. When there is no explicit feedback of the noisy channel outputs, the intrinsic delay of the unstable system tells us what the feedback delay needs to be while evaluating the anytime-rate-region for the channel. An example involving a binary erasure channel is used to illustrate how differentiated service is required in any separation-based control architecture.

研究の動機と目的

• スカラー系における任意の容量フレームワークを、ベクトル状態線形系へ一般化すること。
• ノイジーな通信リンクを介した不安定なベクトル系を安定化するための必要十分条件を特定すること。
• 異なる不安定固有値ごとに異なる信頼性目標を考慮する、任意の容量のベクトル拡張形—いわゆる『任意のレート領域』（anytime rate-region）を定義すること。
• フィードバックが不要である場合、チャネルの任意のレート領域が各固有値の信頼性要件を満たしている限り、安定化が達成可能であることを示すこと。
• バイナリ消失チャネルの例を用いて、ノイジーなチャネルを介した制御において、通信における差別化サービスが不可欠であることを示すこと。

提案手法

• 複数のメッセージストリーム（それぞれ不安定固有値に対応）を想定し、チャネルがサポート可能なレート・信頼性ペアの集合として『任意のレート領域』を定義する。
• 固有値分解を用いて、ベクトル系を独立したスカラー部分系に還元し、各部分系が特定の任意の信頼性レベルを要することを示す。
• 仮想制御器フレームワークを導入し、制御行動をシミュレートし、状態の不確実性を制御することで、システムが有界領域内に保たれることを保証する。
• 再帰的不確実性バウンディング技術を採用し、制御器が状態推定値を、固有値の大きさに比例して縮小するウィンドウ内に維持する。
• 十分条件を導出する際、チャネルが必要な任意のレート領域をサポートするならば、ノイズがあってもシステムが安定化可能であることを示す。
• バイナリ消失チャネルの例を用いて、異なるビット（異なる固有値に対応）が異なる信頼性レベルで処理される必要があることを説明する。

実験結果

リサーチクエスチョン

• RQ1 フィードバックあり・なしを問わず、ノイジーな通信チャネルを介したベクトル線形システムを安定化するための必要十分条件は何か？
• RQ2 ベクトル系における複数の不安定固有値を扱うために、任意の容量の概念をどのように一般化できるか？
• RQ3 制御器から観測器への明示的フィードバックがなくても、安定化は達成可能か？ もし可能であれば、どのようなチャネル条件が必要か？
• RQ4 不安定システム固有の遅延が、チャネル評価に必要なフィードバック遅延を決定する上で果たす役割は何か？
• RQ5 制御文脈において、異なるメッセージストリームに対して差別化された信頼性をサポートする通信アーキテクチャはどのように設計できるか？

主な発見

• 任意のレート領域は、ノイジーなチャネルを介したベクトル線形システムの安定化に、必要かつ十分である。これは、スカラー系の結果を多次元ダイナミクスへ一般化したものである。
• チャネルの任意のレート領域が各不安定固有値に必要な信頼性を満たしている限り、明示的フィードバックがなくても安定化が可能である。
• 必要なチャネルレートは、不安定固有値の大きさの対数であり、必要な信頼性は所望の安定性感度に依存する。
• バイナリ消失チャネルの場合、差別化サービスが必須である。異なる固有値に対応するビットは、異なる信頼性レベルで符号化されなければならない。
• 不安定システムの固有遅延は、明示的フィードバックがなくても、チャネル評価に必要な有効なフィードバック遅延を決定づける。
• 仮想制御器フレームワークは、仮想状態を縮小するウィンドウ内に維持することで、状態の不確実性を効果的にバウンディングし、漸近的安定性を保証した。