技術要約：ロバストなネットワーク化システムのためのモデルベースおよびデータ駆動型階層制御とトポロジーの共同設計

1. 問題提起

本論文は、外部外乱を受ける相互接続された線形部分系の集合からなる、大規模なネットワーク化システムの設計における課題に取り組んでいる。核心となる目的は、以下の3つのコンポーネントを統合的に合成することである：

1. ローカルコントローラ： 個々の部分系に対するフィードバック則。
2. 分散型グローバルコントローラ： 隣接する部分系間で交換される情報を利用した協調メカニズム。
3. 相互接続トポロジー： 部分系を連結する通信または物理的な構造。

設計においては、外乱入力から性能出力に対するグローバルな散逸性（安定性、$L_2$ゲイン、および受動性を包含するロバスト性の指標）を確保しつつ、相互接続トポロジーのコスト（例：通信の疎性）を最適化しなければならない。

既存の文献における重大な限界は、部分系のダイナミクスに関する正確な知識への依存であり、これは現実世界のアプリケーションでは入手不可能なことが多い。さらに、多くの既存手法はトポロジーを固定されたものとして扱うか、スケーラビリティに欠ける中央集権的で非凸かつ反復的な設計手順を必要とする。本論文は、以下の特性を持つ統一的なフレームワークの開発を目指している：

• 階層的な共同設計（ローカルコントローラ $\to$ グローバルコントローラ ＋ トポロジー）。
• モデルベースの仮定（既知のダイナミクス）およびデータ駆動型の仮定（未知のダイナミクス、既知の軌跡データ）の両方での動作。
• 線形行列不等式（LMI）に依拠することによる**合成可能性（compositionality）と分散可能性（decentralizability）**の維持。

2. 手法

提案手法は階層的に構成されており、モデルベースとデータ駆動型の2つの並行したトラックとして提示される。

A. 理論的基礎

本フレームワークは、散逸理論、特にパッシビティや有限ゲイン$L_2$安定性を一般化した$X$-散逸性に依拠している。

• ローカルレベル： 各部分系は、ローカルな散逸性証明書（$X_i$-散逸性）を満たすように設計される。
• グローバルレベル： これらのローカルな証明書は、相互接続行列 $M$ を通じてネットワークレベルへと伝播され、グローバルな散逸性（$Y$-散逸性）を保証する。
• ツール： 設計には、シューア補集合（Schur complement）、合同変換原理（congruence principles）、および行列S-レマ（Matrix S-lemma）（データ駆動の設定における二次制約を扱うため）が用いられる。

B. モデルベース階層設計

このアプローチは、部分系のダイナミクス（$A_i, B_i, C_i$）が完全に既知であることを前提としている。

1. ローカルコントローラ合成： 特定のローカル散逸性特性（$X_i^{11} > 0$ および $X_i^{22} < 0$ の制約を伴う$X_i$-散逸性）を強制するために、各部分系に対してローカル状態フィードバックコントローラ（$K_i$）が設計される。これはLMI問題として定式化される。
2. 洗練されたローカル設計： 後続のグローバル段階の実現可能性を高めるため、ローカル設計はグローバルLMIから導出された必要条件によって拡張される。これには、ローカルな散逸性証明書をグローバルな適合性に偏らせるための変数変換が含まれる。
3. グローバル共同設計： 固定されたローカル証明書を用いて、分散型グローバルコントローラ（$K$）と通信トポロジーを共同設計する。グローバルコントローラは $\bar{u} = Ky$ と定義され、$K$ の疎性（したがって通信リンクの疎性）が最適化される。この段階では、グローバルな散逸性を強制しつつ、疎性を促進する目的関数（$\| \bar{K} \|_1$）および性能境界を最適化する単一のLMI問題を解く。

C. データ駆動型階層設計

このアプローチは、部分系のダイナミクスは未知であるが、豊富な入力・状態・出力の軌跡データが利用可能であることを前提としている。

1. データの整合性： 観測されたデータおよび有界な外乱と整合するすべての可能なシステムモデルの集合は、**二次行列不等式（QMI）**を用いて特徴付けられる。
2. 外乱モデリング： 未知の外乱は、二次行列不等式によって有界であると仮定される（従来の境界を緩和している）。
3. ローカルコントローラ合成： ローカルコントローラはデータから直接合成される。行列S-レマを用いることで、「データと整合するすべてのモデルに対してコントローラが機能しなければならない」という要求を、扱いやすいLMIへと変換する。これにより、未知のダイナミクスおよび外乱に対するロバスト性が確保される。
4. グローバル共同設計： モデルベースの場合と同様に、グローバルコントローラとトポロジーが共同設計される。グローバルLMIにおける未知のシステム行列（$B$）は、データ整合性QMIを用いた再定式化と行列S-レマによって処理され、明示的なシステム同定を必要としないロバストなLMI条件となる。

3. 主な貢献

本論文は、主に以下の4つの貢献を述べている：

1. 階層的共同設計の定式化： グローバルな散逸性制約の下で、ローカルコントローラ、分散型グローバルコントローラ、および相互接続トポロジーを統合的に合成する、ネットワーク化線形システムのための新しいフレームワーク。
2. モデルベースLMIフレームワーク： ローカルフィードバックが部分系の散逸性を強制し、それがネットワークレベルの保証を伴う分散コントローラとトポロジーの共同設計に活用される、2段階の設計プロセス。
3. 直接的なデータ駆動型対応策： 明示的なシステム同定を経ることなく、部分系の軌跡データと二次外乱境界のみを使用して、ロバストなLMI条件を導出する方法。
4. ケーススタディの適用： 堅牢な電圧調整と電流シェアリングを目指す、**DCマイクログリッド（DCMG）**制御問題への提案手法の検証。

4. 結果と適用

本論文は、複数の分散型電源（DG）と抵抗線を含むDCマイクログリッドのケーススタディを用いて、提案手法を検証している。

• 目的： 通信トポロジーを設計しながら、堅牢な電圧調整と比例的な電流シェアリングを実現すること。
• 比較： 提案された散逸性に基づく階層設計を、標準的な安定化グローバルコントローラと比較した。
• 知見：
  • 提案手法は、所望の散逸性証明書（電圧調整および電流シェアリング）を正常に強制した。
  • トポロジー最適化： 完全接続の通信トポロジーを必要とするベンチマークとなる安定化コントローラとは異なり、提案された階層設計は、より疎な通信トポロジーをもたらした。
  • 性能： 両方のコントローラは所望の定常状態調整を達成したが、提案手法はより少ない通信リンクでそれを実現しており、トポロジーと制御の共同最適化の有効性を実証した。

5. 意義と主張

本論文は、その主要な意義が、ネットワーク化システムにおけるスケーラブルな制御設計とトポロジー合成の間のギャップに対処している点にあると主張している。

• スケーラビリティと合成可能性： 散逸性に基づく階層的アプローチを用いることで、本手法は中央集権的で非凸かつ反復的な設計プロセスを回避している。また、ローカルな保証を体系的にグローバルな保証へと伝播させることが可能であり、合成可能性を保持している。
• 不確実性に対するロバスト性： データ駆動型の拡張は、正確なシステムモデルを必要とせずに安定性と性能の理論的保証を提供するため、モデリングが困難な複雑な現実世界のシステムにおいて重要である。
• 統一されたフレームワーク： 本論文は、モデルベースおよびデータ駆動型の両方の設定において、コントローラとトポロジーの共同設計を扱う、LMIを介した統一された扱いやすいフレームワークを提供している。これは、著者らが既存の文献においてほとんど探索されていないと指摘している組み合わせである。

著者らは控えめなトーンを維持しており、本研究の予備的なバージョンは解析とトポロジー合成を扱っていたが、本論文はローカルコントローラの合成とデータ駆動型の手法による未知のダイナミクスの取り扱いを含む範囲へと拡張したものであると述べている。結果は特定のDCマイクログリッドの例を用いて示されており、本手法が車両隊列（vehicular platoons）やサプライチェーンなどの他のネットワーク化システムにも適用可能であることが示唆されているが、これらのドメインに関する具体的な結果はこのテキストには提示されていない。