⚡ electrical engineering

Analysis of Non-Square Nonlinear MIMO Systems using Scaled Relative Graphs

本論文は、従来の SRG 解析が正方形システムに限定されていた問題を解決するため、共通ヒルベルト空間への埋め込みと入力空間の制限を組み合わせる手法を開発し、非正方形非線形 MIMO システムの安定性や $L_2$ ゲイン保証を可能にする理論的枠組みを構築した。

原著者： Julius P. J. Krebbekx, Roland Tóth, Amritam Das

公開日 2026-04-20

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Julius P. J. Krebbekx, Roland Tóth, Amritam Das

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

1. 背景：なぜこの研究が必要なのか？

【従来の方法：「四角い箱」しか扱えなかった】
制御工学の世界では、昔から「ナイキスト線図」や「ボード線図」という**「システムの動きを描く地図」**が使われてきました。これは、入力（スイッチを押し込む力）と出力（モーターが回る速さ）の数が同じ（例えば、入力 1 つ、出力 1 つ）な「四角い箱」のようなシステムには完璧に機能します。

しかし、現実の機械はもっと複雑です。

例：入力ボタンが 2 つあるのに、出力ランプが 3 つある機械（非対称なシステム）。
問題： 従来の「地図」は、入力と出力の数が違うと描けませんでした。無理やり数を揃えようとすると（ダミーのボタンやランプを追加する）、**「実は安全なのに、危険だと誤って判断してしまう（保守的すぎる）」**という欠点がありました。

【この論文の解決策：「スケール・レラティブ・グラフ（SRG）」という新しい地図】
著者たちは、「SRG（スケール・レラティブ・グラフ）」という新しい地図を開発しました。これは、非線形（予測不能な動きをする）なシステムでも描ける強力なツールです。
しかし、これまでの SRG も「四角い箱」しか扱えませんでした。この論文では、「入力と出力の数が違う（非対称な）システム」も扱えるように、SRG を進化させたのが最大の特徴です。

2. 核心アイデア：「透明な箱」への移し替え

この論文の最も面白いアイデアは、**「システムを透明な箱に移し替える」**という手法です。

状況： 入力 2 つ、出力 3 つの機械（A）があるとします。
従来のダメな方法： 出力を 1 つ増やして「3 つ×3 つ」の四角い箱に無理やり変える。
- 問題点： 増やした出力は実際には存在しないのに、地図を描く時に「そこにも信号が流れる」と勘違いして、「危険だ！」と過剰に警戒してしまいます。
この論文の新しい方法（埋め込み）：
1. 入力 2 つ、出力 3 つの機械 A を、**「入力 3 つ、出力 3 つの大きな透明な箱」**の中に移します。
2. 増やした「入力 1 つ」は、**「常に 0（何もしない）」**というルールにします。
3. 増やした「出力 1 つ」も、**「常に 0（何もしない）」**というルールにします。
4. その上で、**「実際の入力（2 つ）だけが動く領域」**だけを厳密にチェックします。

【比喩：料理の味見】

従来の方法： 味見をするために、料理に「見えない塩」を大量に混ぜて、味が濃すぎて「まずい！」と判断してしまう。
この論文の方法： 大きな鍋（透明な箱）に料理を入れ、**「本当の材料（2 つ）だけ」**で味見をする。鍋の余分なスペースは空っぽのままにする。
- これにより、「実は美味しい（安全）」なのに「まずい（危険）」と誤って判断するのを防ぎます。

3. この技術がもたらすメリット

この新しい地図（SRG）を使うと、以下のようなことが可能になります。

より正確な安全性チェック
- 無理やり四角くする従来の方法だと、「安全なシステム」を「危険」として却下してしまうことがありました。この方法なら、「本当に安全なシステム」を見逃さず、かつ「本当に危険なシステム」も見抜くことができます。
複雑なシステムの設計が楽に
- 自動車の制御、ロボットの関節、電力網など、入力と出力の数がバラバラな複雑なシステムでも、この地図を使って「暴走しないか」を計算で証明できます。
LFR（線形分数表現）という「レゴブロック」の活用
- 複雑なシステムを「線形部分（定石の動き）」と「非線形部分（予測不能な動き）」というレゴブロックに分けて考えます。この論文では、そのブロックを組み合わせた全体の安全性を、この新しい地図で即座に計算する公式を提供しています。

4. 具体的な例（論文の検証）

著者たちは、この方法が実際に役立つかを 4 つの例でテストしました。

例 1（非対称なルア・システム）：
- 従来の方法だと「安全限界が狭い（保守的）」と出たのに、この方法だと**「実はもっと余裕がある（安全）」**ことが分かりました。
- また、ある条件では従来の方法では「安定していない」と判断されていましたが、この方法では「安定している」と証明できました。
例 2（複数の非線形性を持つシステム）：
- 複数の「予測不能な要素」が絡み合うシステムで、より**「厳しい（正確な）」**安全基準を導き出しました。
例 3（バネとダンパーのシステム）：
- 2 つの質量がバネでつながれたような物理モデルで、非対称な部分があっても正しく安定性を評価できました。

まとめ

この論文は、**「入力と出力の数が違う複雑な機械でも、無理やり四角くせず、そのままの形を尊重しながら、安全かどうかを正確に判断できる新しい『地図（SRG）』の描き方」**を提案したものです。

**「透明な箱に収めて、余計なノイズ（ダミーの信号）を排除して真実の姿を見る」**というアイデアは、従来の「無理やり数を揃える」方法の欠点を解消し、より安全で効率的なシステム設計を可能にする画期的なステップです。

これにより、ロボットや自動運転、エネルギー制御など、複雑な現代の技術が、より安全に、より高性能に設計される未来が期待されます。

論文「Analysis of Non-Square Nonlinear MIMO Systems using Scaled Relative Graphs」の技術的サマリー

1. 概要

本論文は、非線形多入力多出力（MIMO）システムの解析手法として、**スケーリング相対グラフ（Scaled Relative Graph: SRG）を非正方（non-square）**なシステムに拡張する新しい理論的枠組みを提案しています。従来の SRG 解析は、入力と出力の次元が等しい（正方）システムに限定されていましたが、本稿では入力と出力の次元が異なるシステムに対しても、過度な保守性（conservatism）を伴わずに SRG 解析を適用できる手法を開発しました。

2. 背景と問題提起

背景: 制御工学において、ナイキスト線図やボード線図などの周波数領域のグラフィカル手法は、線形時不変（LTI）システムの安定性解析や設計の基礎となっています。近年、非線形 SISO（単入力単出力）システムに対して、ナイキスト図の非線形一般化である SRG が提案され、安定性条件や $L_2$ ゲインの上限を非近似で導出できることが示されました。
既存手法の限界: 既存の MIMO への SRG 拡張アプローチは、SRG の定義がヒルベルト空間の構造に依存しているため、正方システム（入力数＝出力数）にのみ適用可能でした。
課題: 非正方システム（例：入力数と出力数が異なる）を解析する際、従来の「正方化（squaring up）」手法（不足する入出力にゼロを追加する等）を用いると、システムの本質的な特性が歪められ、解析結果が過度に保守的（conservative）になるか、あるいは安定性を誤って判定してしまうという問題がありました。特に、非正方のフィードバックループにおいて、人工的な入出力を追加することでパッシビティが失われたり、安定ループが不安定と判定されたりするケースが報告されています。

3. 提案手法と主要な貢献

本論文の核心は、非正方演算子を共通のヒルベルト空間に埋め込む際、入力空間を元の次元に制限するという新しいアプローチにあります。

3.1 非正方演算子の埋め込みと SRG の定義

埋め込み手法: 入力次元 $p$ $p$ と出力次元 $q$ $q$ が異なる演算子 $R: L_2^p \to L_2^q$ $R : L_{2}^{p} \to L_{2}^{q}$ に対して、 $n = \max\{p, q\}$ $n = max {p, q}$ とし、正方演算子空間 $N(L_2^n)$ $N (L_{2}^{n})$ へ埋め込みます。
- 幅広（Wide, $p>q$ ）の場合: 出力にゼロを追加して正方化しますが、入力空間は変更しません。
- 縦長（Tall, $p<q$ ）の場合: 出力を削減する射影演算子を用いますが、入力空間を元の次元 $p$ に制限します。これにより、人工的な入力信号が SRG 計算に混入するのを防ぎます。
MIMO-SRG の定義: この制限された入力空間における SRG を定義することで、元のシステムのゲイン特性を正確に反映しつつ、正方演算子の SRG 計算規則を適用可能にしました。

3.2 接続規則と安定性定理の一般化

接続規則の拡張: 制限された入力空間における SRG に対する和、積、逆演算の規則（Proposition 1）を一般化しました。これにより、非正方システムの直列・並列接続やフィードバックループの解析が可能になりました。
安定性定理: 非正方フィードバックシステム（図 1a）および線形分数表現（LFR）形式の非線形システム（図 1b）に対して、因果性、適切性（well-posedness）、および（増分的） $L_2$ $L_{2}$ ゲインの保証を与える安定性定理（Theorem 1, 2）を導出しました。
- 特に LFR 形式は、制御設計において広く用いられる一般的な形式であり、本手法の適用範囲の広さを示しています。

3.3 具体的な計算手法の提供

安定 LTI 演算子: 非正方の安定 LTI 伝達関数に対する SRG の正確な計算アルゴリズム（Theorem 3）を提供しました。これは複素平面上の円盤の交差・和集合として表現され、計算的に扱いやすい形式です。
非線形ブロック: 対角構造の静的非線形性や、特定の非正方非線形ブロックに対する SRG の上限式を導出しました。

4. 数値例と結果

論文では、4 つの具体例を通じて提案手法の有効性を検証しています。

非正方ルア（Lur'e）システム:
- 従来の「正方化」手法と比較し、提案手法（埋め込み＋入力制限）を用いることで、 $L_2$ ゲインの推定値が劇的に改善（保守性が低減）することを実証しました。
- 従来の手法では安定性が判定できないパラメータ領域でも、提案手法では安定性を証明できました。また、正方化によって失われる「パッシビティ」の特性を、提案手法では保持できることも示されました。
多重非線形性を持つ SISO システム:
- 既存の研究 [15] と比較し、MIMO としての SRG 解析を行うことで、より tight な（狭い）増分的 $L_2$ ゲイン上限を得られることを示しました。また、因果性や適切性も理論的に保証されました。
2 質量バネダンパシステム:
- 複数の非線形バネを持つ MIMO 機械システムを LFR 形式でモデル化し、ループ変換と組み合わせて SRG 解析を行いました。
IQC ベースの手法との比較:
- 既存の IQC（積分二次制約）に基づく SRG 解析結果 [7] と比較し、提案手法が同等またはより良い結果（より小さいゲイン上限）を提供できることを示しました。

5. 意義と結論

理論的意義: SRG 解析の適用範囲を正方システムから非正方システムへと拡張し、その数学的基盤（埋め込みと入力空間の制限）を確立しました。これにより、入力・出力次元が異なる現実の制御システム（例：センサ数とアクチュエータ数が異なるシステム）に対して、周波数領域の直感的なグラフィカル解析を適用できるようになりました。
実用的意義: 提案手法は、過度な保守性を排除しつつ、非線形 MIMO システムの安定性と性能を厳密に保証するツールチェーンを提供します。特に LFR 形式との親和性が高く、既存のロバスト制御や非線形制御の設計フローに統合可能です。
将来展望: 本手法は Julia 言語で実装されたソフトウェアツールボックス（SrgTools.jl）として公開されており、実用的な利用が促進されています。また、ループ変換や入力出力の順序入れ替えなどの自由度をさらに活用した研究が今後の課題として挙げられています。

総じて、本論文は非線形 MIMO 制御システムの解析において、SRG という強力なツールを非正方のケースにまで一般化し、その実用可能性を大幅に高めた画期的な研究です。