Towards Co-Designed Event-Triggered Extremum Seeking

技術要約：共同設計によるイベント駆動型極値探索に向けて

問題定式化
本論文は、ヘシアン（ヘッセ行列）の多胞体的な不確かさを持つ非線形静的マップに対し、モデルフリーの極値探索（Extremism Seeking: ES）を用いた制御手法を扱う。目的は、イベント駆動制御（Event-Triggered Control: ETC）を通じて、リソース使用量（計算および通信）を最小化しつつ、システム出力を極大値へと導くことである。

既存のイベント駆動型ES手法は、通常、「エミュレーションベース」の設計に依存している。これは、まずコントローラゲイン（多くの場合、対角行列として）を固定し、その後にイベントトリガリング機構（ETM）を合成するというものである。このような逐次的なアプローチは、コントローラとトリガリング則を同時に最適化できないため、達成可能な閉ループ性能を制限してしまう。さらに、コントローラゲインを対角構造に限定することは、ヘシアン行列によって誘発される最適化変数間の結合を無視することになり、保守的なトリガリング条件や不要な通信を招く。

本論文は、ヘシアン行列 $H^*$ が未知であるが、頂点 $\{H_1, \dots, H_N\}$ で定義される既知の多胞体領域に属する多変数二次静的マップを具体的に対象としている。システムは、勾配推定値と伝送誤差に依存する条件によってトリガリングされる離散的な制御更新を持つ、ゼロ次ホールド（ZOH）の下で動作する。

手法
提案手法は、コントローラゲイン行列 $K$ とイベントトリガリング機構（ETM）を共同で合成する共同設計（Co-design）フレームワークを導入する。従来の研究とは異なり、このフレームワークは**フルマトリックス（全行列）**のコントローラゲインを許容しており、これにより、対角ゲインに制限されることなく、ヘシアンに起因する相互結合を活用できる。

技術的な手法は以下の通りである：

1. システムモデリング： ESシステムは、勾配を推定するためのプロービング信号と復調信号を用いてモデル化される。閉ループダイナミクスは、推定誤差と伝送誤差の観点から記述される。
2. 平均化解析： 周期的な摂動信号とイベント駆動更新の不連続性を扱うために、著者らは平均化理論を用いる。これにより、元の非自律的かつ不連続なシステムが、自律的な平均システムへと変換される。元のシステムの安定性は、この平均システムの安定性から推論される。
3. 共同設計条件： 共同設計問題は、線形行列不等式（LMI）制約の下での凸最適化問題として定式化される。
   • 安定性： リアプノフに基づく解析により、特定のLMI（ゲイン $K$ およびトリガリング行列 $Q_G, Q_e$ の決定変数を含む）が満たされる場合、平均閉ループシステムは所定の減衰率 $\eta$ を伴って指数安定になることが確立される。
   • 最適化： 通信を削減するために、決定変数（トリガリング閾値に関連するもの）のトレースを最小化する最適化問題を定式化する。これにより、許容される伝送誤差を最大化し、イベント間隔を広げ、トリガーの回数を減少させる。
4. ゼニ（Zeno）フリー： 論文内では、イベント間隔が正の値で下限を持つことが証明されており、システムがゼニ挙動（有限時間内の無限回のトリガー）が発生しないことを保証している。

主な貢献

• 統合された共同設計フレームワーク： 逐次的なエミュレーションベースの設計の限界を超え、コントローラゲインとトリガリング機構を同時に設計する手法を提案している。
• フルマトリックスゲインの活用： 本フレームワークは、明示的にフルマトリックスのコントローラゲインをサポートしている。著者らは、オフダイアゴナル要素（結合情報）を利用することで、対角設計と比較して、より大きな許容トリガリング閾値を得られることを示している。
• 多胞体的不確かさへの対応： アプローチは、多胞体領域としてモデル化されたヘシアンの不確かさを許容し、起こりうる曲率値の範囲全体にわたるロバスト性を確保している。
• 理論的保証： 本論文は、平均閉ループシステムの指数安定性、元のシステムが最適値へ収束すること（$O(a + 1/\omega)$ の範囲内）、およびゼニ挙動の排除に関する厳密な証明を提供している。

結果
ヘシアンの不確かさの境界 $\bar{\sigma}$ を持つ2次元非線形マップを用いて数値シミュレーションが行われた。

• ゲイン構造の比較： 様々な不確かさレベルに対して共同設計最適化問題を解いた結果、フルマトリックスゲイン設計は、対角ゲイン設計と比較して、一貫して低い目的関数値（伝送回数の少なさを表す）を示した。
• 実行可能性： 特定のテストケース（例：$\bar{\sigma}=0.6, \eta=1$）において、フルマトリックスゲインを用いた共同設計は実行可能であったが、対角ゲイン設計は、同じ減衰率とトリガリング閾値の制約を同時に満たすことができなかった。
• 性能： フルマトリックス共同設計コントローラは、同様の安定基準を満たすために対角ゲインが必要となるシナリオと比較して、大幅に少ないトリガリングイベント（例：異なるヘシアン頂点に対して104回の更新に対し38回の更新）で、所定の指数収束率を達成した。
• 不確かさの影響： 結果は、不確かさの多胞体のサイズが増大するにつれて、必要な伝送回数が増加することを示しており、事前の曲率情報の価値を浮き彫りにした。

意義
本論文の主要な意義は、目的関数の曲率（具体的にはヘシアンの構造）に関する事前情報が、安定性を保証するためだけでなく、通信負荷を軽減するためにも極めて重要であることを示した点にある。共同設計フレームワーク内でフルマトリックスゲインを通じて最適化変数の結合を活用することにより、提案手法は優れたトリガリング性能を実現する。結果は、対角ゲインが、同じ共同設計手法を用いて合成された場合であっても、フルマトリックスゲインと同等の減衰率やトリガリング閾値を達成するには不十分であることを示唆している。これは、フルマトリックス構造によって提供される「追加の自由度」が、イベント駆動型極値探索における収束速度と通信効率のトレードオフを最適化するために不可欠であることを示している。