On mean-square boundedness of stochastic linear systems with quantized observations

技術要約：量子化観測を用いた確率線形システムの平均二乗有界性

問題の定式化
本論文は、$\mathbb{R}^d$ 内で進化する離散時間線形確率システム $x_{t+1} = A x_t + B u_t + w_t$ の制御に関するものである。このシステムは、有界な4次モーメントを持つ平均ゼロの独立なノイズベクトル列 $(w_t)$ の影響を受ける。主な課題は、コントローラーが完全な状態測定値を利用できない点である。代わりに、コントローラーは、量子化関数 $q: \mathbb{R}^d \to Q$（ここで $Q$ はベクトルの有限集合であるアルファベット）によって生成された量子化状態測定値 $q(x_t)$ を受け取る。

目的は、有限のアルファベットを持つ量子化器と、それに対応する有界な制御方策を設計し、閉ループ系の状態が平均二乗有界（すなわち $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$）となるようにすることである。制御入力も一様に有界（$\|u_t\| \leq U_{max}$）でなければならない。

著者らは特に、$A$ がリアプノフ安定（固有値の絶対値が $\leq 1$ であり、単位円上の固有値は幾何学的重複度と代数的重複度が等しい）であるシステムに焦点を当てている。これは、通信制約下での不安定な固有値（単位円の外側）を持つシステムの安定化に関する広範な文献とは一線を画すものである。著者らは、非有界なノイズを持つ確率システムにおいて、少なくとも一つの固有値の絶対値が1より大きい場合、有界な入力による局所的な安定化は不可能であることに触れており、そのため、既にリアプノフ安定であるシステムに対する「最大限に粗い」量子化に焦点を当てている。

手法
提案される解は、制御シーケンスが量子化された状態の履歴によって決定される $\kappa$-履歴依存方策を利用している。この手法は、以下の構造的仮定と構成に基づいている：

1. システムの特性: ペア $(A, B)$ は $\kappa$ ステップで到達可能であると仮定される。無失当性を保つため、基底変換により $A$ を直交行列として扱うことができる。
2. 量子化器の設計: 量子化器は「放射状（radial）」に設計されている。特定の半径 $r$（球 $B_r$ の境界）の外側にある状態に対して、量子化器はその状態を境界 $\partial B_r$ 上の点に写像する。球 $B_r$ の内部については、平均二乗有界性に関して量子化規則は任意である。この量子化器は、状態 $z$ とその量子化された値 $q(z)$ の間の角度 $\phi$ が有界であることを保証する。
3. 制御方策: 制御方策は、各ステップ $t$ において、量子化された状態 $q(x_{\kappa t})$ に基づいて $\kappa$ 個の制御入力を適用する。方策は以下のように定義される：
   $$\bar{u}_{\kappa t} = -R_{\kappa}(A, B)^+ A^{\kappa} q(x_{\kappa t})$$
   ここで $R_{\kappa}(A, B)$ は可到達性行列であり、$(\cdot)^+$ はムーア・ペンローズ擬似逆行列を表す。この制御則は、量子化された情報を用いて状態を原点へと向かわせようとするものである。
4. 安定性解析: 有界性の証明は、[5] から導かれた結果である Proposition 3 に依存している。これは、非負の確率変数が、値が大きい時に負のドリフトを示し、かつ有界な4次の増分を持つ場合に、平均二乗有界性を示すものである。
   • 著者らは、リアプノフ的変数 $\xi_t = \|x_{\kappa t}\|$ を定義する。
   • $\|x_{\kappa t}\| > r$ のとき、半径 $r$ と最大量子化角 $\phi$ がシステムの特異値およびノイズの境界に関する特定の不等式を満たす場合、ノルムの期待値の変化が負（ドリフト条件）であることを示す。
   • 状態の増分の4次モーメントが有界であることを検証する。

主要な結果
本論文は、閉ループ系の平均二乗有界性の十分条件を与える Theorem 2 を提示している：

• もし量子化器が特定の幾何学的制約（有限アルファベット、半径 $r$ の球上の放射状投影、および状態と量子化値の間の角度 $\phi$ の有界性）を満たし、
• かつ、制御境界 $U_{max}$ がシステムパラメータに対して十分に大きい（$U_{max} \geq r / \sigma_{\min}(R_{\kappa}(A, B))$）ならば、
• 提案された $\kappa$ ステップ制御方策を逐次適用することで、$\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$ が保証される。

この定理は、不安定なシステムに関連する典型的な通信制約を必要とせずに、有限のビン数を持つ量子化器であっても、状態の2次モーメントを安定化できることを示唆している。

意義と主張
著者らは、本研究が、リアプノフ安定なシステムにおける有限アルファベットを用いた安定化に関する文献の空白を埋めるものであると主張している。先行研究（[2, 4, 1, 3, 7, 8] として引用）は、通信制約や不安定な固有値を持つシステムに焦点を当ててきたが、本論文は、既に安定しているシステムに対する「最大限に粗い」量子化を対象としている。

貢献に関する主な主張は以下の通りである：

• 新規性: 著者らは、リアプノフ安定なシステムの文脈において、有限アルファベットを用いた安定化を扱った先行研究は認識していないと述べている。
• 実現可能性: この手順は、不安定なシステムに伴う典型的な通信制約を必要とせずに、有限アルファベットの量子化器が平均二乗有界性を確保するのに十分であることを実証している。
• 先行研究の回収: $r$-球面上のビンの密度が増加するにつれ（すなわち $\phi \to 0$ のとき）、提案された方策は、著者らの以前の研究 [6] で確立された結果および $U_{max}$ の下限を回収する。

シミュレーション
論文には、回転行列 $A$ と加法性ガウスノイズを用いた2次元システムのシミュレーションが含まれている。結果は、提案された方策（異なるビン数 2, 4, 8 を使用）と [6] の方策を用いて、1000回の試行における状態の平均二乗ノルムを比較している。このシミュレーションは、量子化制御戦略が状態の分散を有界に維持する性能を例証している。