[論文レビュー] Sparsely-Packetized Predictive Control by Orthogonal Matching Pursuit

Masaaki Nagahara, Daniel E. Quevedo+1 more|arXiv (Cornell University)|Aug 2, 2013

Advanced Control Systems Optimization参考文献 2被引用数 4

ひとこと要約

本稿では、ネットワーク制御システムにおける制限付きパケット損失下でも漸近安定性を保証しつつ、制御パケットサイズを最小化するため、直交一致追跡（OMP）を用いたスパースパケット化予測制御手法を提案する。ℓ⁰-最適化問題をOMPで解くことで、スパースな制御ベクトルが得られ、帯域制限付き通信チャネル上でもシステムの安定性を維持できる。

ABSTRACT

We study packetized predictive control, known to be robust against packet dropouts in networked systems. To obtain sparse packets for rate-limited networks, we design control packets via an L0 optimization, which can be effectively solved by orthogonal matching pursuit. Our formulation ensures asymptotic stability of the control loop in the presence of bounded packet dropouts.

研究の動機と目的

• 制御パケットを効率的に伝送できるように圧縮する必要がある帯域制限付きネットワーク制御システムの課題に対処する。
• 従来のℓ¹/ℓ²正則化手法が実用的安定性しか保証しないという制限を克服する。
• ℓ⁰-最適化問題を解くことで、スパースな制御パケットを設計し、制限付き連続パケット損失下でもシステムの安定性を維持する。
• 現在の状態とリャプノフ関数に基づく時変制約を定式化することで、閉ループシステムの漸近安定性を保証する。
• 組み合わせ的ℓ⁰最小化問題を近似する計算効率の良い解法として、直交一致追跡（OMP）を用いる。

提案手法

• 制御パケット設計をℓ⁰-最適化問題として定式化する：予測された状態と制御エネルギーの2次制約のもとで、非ゼロ制御入力の数を最小化する。
• ℓ⁰問題を制約付き最小二乗形式に再定式化する：‖u‖₀を最小化するが、‖G u − H x(k)‖₂² ≤ x(k)ᵀ W x(k) を満たす。ここでGとHはシステム行列と重みパrameterから導出される。
• 直交一致追跡（OMP）を適用し、反復的に最も顕著な制御入力成分を選択することで、実行可能性とスパarsityを確保する。
• リャプノフ関数に基づく正定値行列Pをリカッチ方程式を用いて計算し、制御則下での安定性を保証する。
• P、Qおよび小さな正定値行列𝒪を用いた手順により、重み行列Wを設計し、漸近安定性を保証する。
• 解がℓ⁰問題の実行可能集合内に留まるように保証し、制限付き連続パケット損失下でも安定性を維持する。

実験結果

リサーチクエスチョン

• RQ1 制限付きパケット損失を伴うネットワーク制御系において、スパースな制御パケットを設計することで漸近安定性を確保できるか？
• RQ2 計算リソースが限られた制御応用において、ℓ⁰-最適化をリアルタイムに効果的に解く方法は何か？
• RQ3 ℓ¹/ℓ²正則化手法とℓ⁰ベースの手法との間で、安定性およびスパarsityの観点から性能差は何か？
• RQ4 ℓ⁰-最適化のソルバーとしてOMPを用いることで、元の問題の安定性保証が保持されるか？
• RQ5 現在の状態に基づく時変制約は、従来の固定境界と比較して安定性特性を改善できるか？

主な発見

• 提案手法（OMPベース）は、制限付きパケット損失下でも漸近安定性（limₖ→∞ x(k) = 0）を達成するが、従来のℓ¹/ℓ²手法は実用的安定性しか保証しない。
• OMPアルゴリズムは、スパースかつ実行可能な制御パケットを生成し、すべてのスパースネスパターンの全探索を必要とせずに安定性を保証する。
• 4次不安定プラントと50％のパケット損失確率を想定したシミュレーションにおいて、OMP手法は状態ノルムの指数的減衰を示し、漸近安定性を確認した。
• 従来のℓ¹/ℓ²手法は、スパarsityを緩和しても漸近安定性を達成できなかった。これは制約に固定上限があるため、小さな状態では制御入力がゼロになってしまうことが原因である。
• OMP手法は、スパarsityと安定性のバランスを維持しており、平均的なスパarsityレベルがホライズン長の50％未満で、状態収束を保証した。
• 理論的解析により、Wの設計手順が、パケット損失がホライズン長N未満に制限される条件下で漸近安定性を保証することを証明した。