[論文レビュー] Sparsity and Spatial Localization Measures for Spatially Distributed Systems

Nader Motee, Qiyu Sun|arXiv (Cornell University)|Feb 14, 2014

Mathematical Analysis and Transform Methods参考文献 25被引用数 4

ひとこと要約

本論文は、空間的に分散したシステムのスパarsityおよび空間的局在性を、空間的減衰行列のq-バナッハ代数を用いて定式化する。空間的減衰系における2次的最適コントローラーが本質的にスパースであり、空間的に局在していることを証明し、リャプノフ方程式およびリカチ方程式の解が同じq-バナッハ代数に保持されることを示し、構造的安定性と分散化設計の可能性を保証する。

ABSTRACT

We consider the class of spatially decaying systems, where the underlying dynamics are spatially decaying and the sensing and controls are spatially distributed. This class of systems arise in various applications where there is a notion of spatial distance with respect to which couplings between the subsystems can be quantified using a class of coupling weight functions. We exploit spatial decay property of the underlying dynamics of the system to introduce a class of sparsity and spatial localization measures for spatially distributed systems. We develop a new methodology based on concepts of $q$-Banach algebras of spatially decaying operators that enable us to establish a relationship between spatial decay properties of spatially decaying systems and their sparsity and spatial localization features. Moreover, it is shown that the inverse-closedness property of operator algebras plays a central role in exploiting various structural properties of spatially decaying systems. We characterize conditions for exponentially stability of spatially decaying system over $q$-Banach algebras and prove that the unique solutions of the Lyapunov and Riccati equations over a proper $q$-Banach algebra also belong to the same $q$-Banach algebra. It is shown that the quadratically optimal state feedback controllers for spatially decaying systems are sparse and spatially localized in the sense that they have near-optimal sparse information structures.

研究の動機と目的

• 大規模な空間的分散システムにおけるスパarsityおよび空間的局在性を分析するための厳密な数学的枠組みを構築すること。
• 任意の空間的構造を有する分散制御システムにおけるスパarsityおよび局在性の包括的分析の欠如に応えること。
• 最適コントローラーがスパースかつ局在的構造をどのように継承するかの条件を確立すること。
• 古典的制御理論の結果（例えば、リャプノフ方程式およびリカチ方程式の解）を、空間的減衰系の文脈に拡張し、q-バナッハ代数を用いて表現すること。
• 2次的最適状態フィードバックコントローラーが空間的に局在的かつスパースであることを示し、実用的な分散化実装を可能にすること。

提案手法

• 空間的減衰を有する線形システムとして、無限次元離散空間的領域上に定義された状態空間行列の非対角成分が減衰する系を形式化する。
• 空間的減衰性質を捉え、システム構造の代数的解析を可能にする、空間的減衰行列のq-バナッハ代数を導入する。
• q-バナッハ代数の逆元閉包性を適用し、行列の逆行列や演算によって構造的特徴が保持されることを保証する。
• q-バナッハ代数上のn×nブロック行列の代数を定義・分析し、積空間上の有界作用素の適切なq-バナッハ部分代数を形成することを示す。
• 準ノルムおよび作用素ノルムを用いて、積空間における作用素の有界性および連続性を確立し、システム方程式の適切な定義を保証する。
• q-バナッハ代数上でのリャプノフ方程式およびリカチ方程式の解が、同じ代数に留まることを証明し、空間的減衰性および構造的性質が保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の空間的構造を有する空間的分散システムにおいて、スパarsityおよび空間的局在性を形式的に定量化できるか？
• RQ2 空間的減衰系における2次的最適コントローラーが、スパースかつ局在的構造をどのように継承するかの条件は何か？
• RQ3 システムダイナミクスの空間的減衰性質と、最適コントローラーのスパarsityおよび局在性をどのように関連づけることができるか？
• RQ4 無限次元空間系において、構造的性質（例えば、減衰性、可逆性）が保持されるための代数的枠組みは何か？
• RQ5 q-バナッハ代数の文脈において、リャプノフ方程式およびリカチ方程式の解が、空間的減衰性および局在性をどの程度維持するか？

主な発見

• 空間的減衰系における2次的最適状態フィードバックコントローラーは、本質的にスパースであり、空間的に局在している。近似的に最適なスパース情報構造を有する。
• 適切な空間的減衰行列のq-バナッハ代数上でのリャプノフ方程式およびリカチ方程式の解は、同じ代数に留まり、空間的減衰性および構造的性質が保存される。
• q-バナッハ代数の逆元閉包性により、行列演算（例：逆行列、積）によって空間的減衰性が保持され、頑健なコントローラー設計が可能になる。
• q-バナッハ代数上のn×nブロック行列の代数は、積空間上の有界作用素の適切なq-バナッハ部分代数を形成し、高次元系における適切な定義を保証する。
• 本フレームワークにより、対称性やフーリエ解析に依存せずに、分散化およびスパースコントローラーの設計が可能となり、非対称かつ異種の空間的ネットワークに適用可能である。
• 本結果により、古典的制御理論が無限次元空間系に拡張され、現実のネットワークにおけるスケーラブルかつ実装可能な制御則の基礎が提供される。