2025-11-20T05:43:14.076539
Inverse optimal design of input-to-state stabilizing homogeneous controllers for nonlinear homogeneous systems
Lu, Lyu, Yu
This work studies the inverse optimality of input-to-state stabilizing controllers with input-output stability guarantees for nonlinear homogeneous systems. We formulate a new inverse optimal control problem, where the cost functional incorporates penalties on the output, in addition to the state, control and disturbance as in current related works. One benefit of penalizing the output is that the resulting inverse optimal controllers can ensure both input-to-state stability and input-output stability. We propose a technique for constructing the corresponding meaningful cost functional by using homogeneity properties, and provide sufficient conditions on solving the inverse optimal gain assignment problem. We show that homogeneous stabilizability of homogeneous systems in the case without disturbance is sufficient for the solvability of inverse optimal gain assignment problem for homogeneous systems.
academic非線形同次システムに対する入力状態安定化同次コントローラの逆最適設計
基本情報
- 論文ID: 2511.15034
- タイトル: Inverse optimal design of input-to-state stabilizing homogeneous controllers for nonlinear homogeneous systems
- 著者: Kaixin Lu (シンガポール国立大学), Ziliang Lyu (南洋理工大学・同済大学), Haoyong Yu (シンガポール国立大学)
- 分類: eess.SY (システムと制御), cs.SY
- 投稿日時: 2025年11月19日
- 論文リンク: https://arxiv.org/abs/2511.15034
概要
本論文は、非線形同次システムの入力状態安定(ISS)コントローラの逆最適性問題を研究し、入力出力安定性(IOS)保証を提供する。新しい逆最適制御問題を提案し、その代価汎関数は従来の状態、制御および外乱ペナルティに加えて、出力ペナルティを含む。この設計の利点は、得られた逆最適コントローラがISSとIOSを同時に保証することである。著者は同次性を利用して意味のある代価汎関数を構成する技術を提案し、逆最適ゲイン配分問題を解くための十分条件を与える。研究により、外乱がない場合の同次システムの同次安定化可能性が、同次システムの逆最適ゲイン配分問題の可解性の十分条件であることが示される。
研究背景と動機
1. 解決すべき核心問題
本論文が解決する核心問題は、ISSとIOSの両方を保証できる逆最適コントローラを設計し、その意味のある代価汎関数を構成する方法である。
2. 問題の重要性
- 最適性の利点: 最適コントローラは多くの理想的特性(ゲイン余裕、ロバスト性など)を持つ。逆最適制御はHamilton-Jacobi-Isaacs(HJI)方程式の求解の困難さを回避する。
- ISSの限界: ISSはL∞観点から状態と外乱の関係を記述するが、受動識別器に基づくモジュール型適応制御など、特定の制御システムでは「関心のある出力」がL∞空間に属することを保証しにくい。
- IOSの必要性: 実際の制御問題では、ISSを保証した後、特定の閉ループ信号に対する外乱の影響を理解し、外乱減衰を実現する必要がある。例えば、非線形H∞制御では有限ゲインL2安定性が必要である。
3. 既存方法の限界
- Krstic と Li 11の先駆的研究: 逆最適ISS制御フレームワークを提案したが、その代価汎関数は状態、制御および外乱のペナルティのみを含み、出力ペナルティを含まない。
- IOS保証の欠如: Example 1に示すように、出力ペナルティなしの逆最適コントローラはIOS(例えばL2安定性)を保証できない可能性がある。
- 構成の困難さ: 出力がペナルティされる場合、意味のある代価汎関数を見つけることは困難である。なぜなら、ペナルティ項は状態空間全体で非負である必要があるからである。
4. 研究動機
- 同次性の利点: 同次性は適切なスケーリングにより、システムの局所的性質を大域的性質に変換できる。これは上記の困難を解決するためのツールを提供する。
- 理論的必要性: IOS保証を持つISS コントローラがどのような最適基準に対して逆最適であるかを研究する必要がある。
核心的貢献
- 新しい逆最適制御問題: 代価汎関数に出力ペナルティを含む逆最適制御問題を初めて提案(Definition 7)し、逆最適コントローラがISSとIOSを同時に保証できるようにした。
- 構成技術: 同次性を利用して意味のある代価汎関数を構成する技術を提案(Lemma 3とLemma 4)し、特に状態ペナルティl(x)が正定値であることを保証するためのパラメータκと関数γ(s)の選択方法の難題を解決した。
- 十分条件: Theorem 1で逆最適ゲイン配分問題を解くための十分条件を与え、設計されたコントローラがISSと有限ゲインL2安定性を同時に保証することを証明した。
- 可解性結果: Theorem 2で、外乱がない場合の同次システムの同次安定化可能性が同次システムの逆最適ゲイン配分問題の可解性の十分条件であることを証明し、明示的なコントローラ設計方法を与えた。
- 理論的突破: 文献11の方法が出力ペナルティの場合に直接適用できない制限を克服し、完全な理論フレームワークと設計プロセスを提供した。
方法の詳細
タスク定義
膨張作用素∆rεに関して同次である非線形システムを考える:
ここで:
- x ∈ ℝⁿ: 状態
- u ∈ ℝ: 制御入力
- w ∈ ℝξ: 外乱入力
- y ∈ ℝˡ: 出力
- f(x)は次数k > -r₀の同次ベクトル場
- G₁(x), G₂(x)は次数ς = -r₀の同次ベクトル場
- h(x)は次数k + r₀の同次関数
主要な仮定: hᵀd = 0, dᵀd = ϑ²I (直交性と制御重み条件)
目標: 制御則u = α*(x)を求めて代価汎関数を最小化する:
モデルアーキテクチャ
1. 補助システムの構成
外乱ペナルティγ₀(|w|)を決定するため、補助システムを構成する:
ここで:
ここでℓγはγのLegendre-Fenchel変換、γはK∞関数である。
主要な設計: γ(s)を選択してℓγ(2εs) = ε²ℓγ(2s)を満たし、補助システムの同次性を保証する(Lemma 3)。
2. 制御則の設計
基本制御則(補助システムを安定化するため):
ここでR(x)は次数0の同次関数で、|R(x)|が正の下界を持つ。
逆最適制御則:
3. 重み行列の選択
4. 状態ペナルティの構成
ここで:
技術的革新点
1. 同次性を保持する補助システム
革新: γ(s) = (1/μ)s²を特別に選択することで、ℓγ(2εs) = ε²ℓγ(2s)を満たし、補助システムが同次性を保つようにした。
意義: これは状態ペナルティl(x)の正定値性を証明するための鍵であり、同次性を利用して局所的性質を大域的に拡張する必要があるからである。
2. パラメータκの選択戦略(Lemma 4)
課題: l(x) = l̄(x) - h(x)ᵀR(x)h(x)/κであり、l̄(x)とh(x)ᵀR(x)h(x)の両方が正の非線形関数であるため、すべてのx ∈ ℝⁿ{0}に対してl(x) > 0を保証することは困難である。
解決方法:
- 関数Hκ(x) = -κLf̃V(x) + LG₁V(x)α(x) - h(x)ᵀR(x)h(x)を定義
- 同次球面S = {x : Γ(x) = 1}を利用
- S上で2つのケース(P+とP-)に分けてHκ(x) > 0を証明
- 同次性を利用して結果をℝⁿ{0}全体に拡張
主要な不等式: κ > κ₀ ≥ max{κc, κ₁}を選択。ここで:
- κc = ρ₂/ρ₁(LG₁V = 0の領域を処理)
- κ₁は二次方程式で決定(LG₁V ≠ 0の領域を処理)
3. 重み行列R(x)の連続性
問題: 文献11のR(x)構成はLG₁VR₁(x)⁻¹(LG₁V)ᵀの連続性のみを保証し、h(x)ᵀR₂(x)h(x)の連続性を保証できない。
解決: Sontag型コントローラの重み行列設計を採用(参考文献39に基づく):
\frac{1}{\vartheta^2}\left[c_{10} + \frac{\phi + \sqrt{\phi^2 + [L_{G_1}V(L_{G_1}V)^T]^2}}{L_{G_1}V(L_{G_1}V)^T}\right]^{-1}, & L_{G_1}V^T \neq 0\\ \frac{1}{\vartheta^2 c_{10}}, & L_{G_1}V^T = 0 \end{cases}$$ これはℝⁿ\{0}上でR(x)の連続性を保証し、したがってh(x)ᵀR(x)h(x)はℝⁿ全体で連続である。 #### 4. 調整可能なゲイン余裕 コントローラは(1/β, ∞)のゲイン余裕を持つ: - ゲイン増加→「安定化努力」の強化→無限ゲイン増加に耐容 - コントローラは安定化に必要な制御努力のβ倍を持つ→1/βのゲイン減少に耐容 ## 実験設定 ### 数値例 本論文は4つの例で理論結果を検証する: #### Example 1: 出力ペナルティなしの失敗ケース **システム**: ẋ = x³ + u + w, y = x **文献[11]のコントローラ**: u = -6x³ - ISS保証: V̇(x) ≤ -4x⁶ + w² - **L2安定性を保証しない**: ∫₀ᵗ y²dτ = (1/10)ln(1 + 10x₀²t) → ∞ #### Example 2: 出力ペナルティ付きの成功ケース **同じシステム**: ẋ = x³ + u + w, y = x **本論文のコントローラ**: u = -4x³ - 2.5x - ISS保証: V̇(x) ≤ -3x⁴ - 1.5x² + w² - **L2安定性保証**: ||y||₂ ≤ ||w||₂ + |x₀| 代価汎関数パラメータ: E(x) = 2x², l(x) = 4x⁴, R₂(x) = 1, R₁(x) = (2x² + 5/4)⁻¹, γ₀(s) = s² #### Example 3: 文献[11]方法の限界 **システム**: ẋ₁ = -x₁³ + x₂³, ẋ₂ = u + w, y = x₂³ **観察**: 文献[11]のコントローラは代価汎関数を最小化するが、状態ペナルティl̃(x) = l̄(x) - x₂⁶が負になる可能性があり、本論文の代価汎関数の要件を満たさない。 #### Example 4: 完全な設計プロセスの実演 **システム**: ẋ₁ = -x₁ + x₂³, ẋ₂ = u + w, y = [x₂, u]ᵀ **同次性**: 次数k = 0、膨張(3,1)に関して同次 **設計ステップ**: 1. Lyapunov関数を選択: V(x) = (x₁^(4/3) + x₂⁴)^(1/2) 2. Lie導数を計算: Lf V, LG₁V, LG₂V 3. φ(x) = Lf V + 2|x₂|³(x₁^(4/3) + x₂⁴)^(-1/4)を構成 4. 蕴含関係を検証: LG₁V = 0 ⇒ φ < 0 5. γ(s) = (1/c₇)s²を選択、c₇ = 1/2 6. パラメータを計算: ρ₁ = 0.66, ρ₂ = 0.24, κc = 0.36, κ₁ = 10.55 7. κ = 11, β = λ = 2を選択 8. 逆最適コントローラu = α*(x) = 2α(x)を得る ### 理論検証 厳密な数学的証明により以下を検証: - 補助システムの漸近安定性(式67) - 代価汎関数の意味性(l(x)の正定値性) - ISS特性(式35) - L2安定性(式36) ## 実験結果 ### 主要な理論結果 #### Theorem 1: 十分条件 **条件**: 制御則u = α(x) = -(κ/2ϑ²)R(x)⁻¹(LG₁V)ᵀが補助システムを漸近安定化する場合 **結論**: 制御則u = α*(x) = -(βκ/2ϑ²)R(x)⁻¹(LG₁V)ᵀ(β ≥ 2)は以下の性質を持つ: 1. **逆最適性**: 代価汎関数(10)を最小化し、最小値Jmin = 2βV(x(0)) 2. **ISS**: 閉ループシステムはV̇(x) ≤ -c₁Γ(x)^(2(k+r₀)) + γ(|w|/2)を満たす 3. **L2安定性**: γ(s) = (1/μ)s²の場合、||y||₂ ≤ κL||w||₂ + c₀、ここでκL = √(κβ/(4ρmμ)) #### Theorem 2: 可解性条件 **主要結果**: システムẋ = f(x) + G₁(x)u(外乱なし)が同次安定化可能な場合、逆最適ゲイン配分問題は可解である。 **構成的証明**: 1. 同次安定化可能性から、Lf V + LG₁Vαh(x) < 0を満たす同次Lyapunov関数V(x)が存在 2. Sontag型コントローラαs(x)を設計 3. |R(x)|が正の下界を持つことを証明 4. ℓγ(2εs) = ε²ℓγ(2s)を満たす特別なγを選択 5. コントローラが補助システムを安定化することを検証 6. Theorem 1を適用して逆最適コントローラを得る ### 主要な不等式検証 #### 1. ISS検証(式35) $$V̇(x) \leq -c_1\Gamma(x)^{2(k+r_0)} - \ell_\gamma(2|L_{G_2}V|) + L_{G_2}Vw + (1-\beta)\frac{\kappa}{2\vartheta^2}L_{G_1}VR^{-1}(L_{G_1}V)^T$$ Young不等式を利用: 2LG₂Vw ≤ λℓγ(2|LG₂V|) + λγ(|w|/λ)、得: $$V̇(x) \leq -c_1\Gamma(x)^{2(k+r_0)} + \gamma(|w|/2)$$ #### 2. L2安定性検証(式36) $$\kappa V̇(x) + \frac{y^T Ry}{\beta} \leq -H_\kappa(x) + \kappa\gamma(|w|/2)$$ Hκ(x) ≥ 0とγ(s) = (1/μ)s²から、積分して: $$\int_0^T y^T y dt \leq \frac{\rho_m^{-1}\kappa\beta}{4\mu}\int_0^T w^T w dt + \rho_m^{-1}\kappa\beta V(x(0))$$ ### ケース分析 #### Example 4の詳細計算 **ステップ1: Lyapunov関数の選択** V(x) = (x₁^(4/3) + x₂⁴)^(1/2)は次数2の同次関数 **ステップ2: Lie導数の計算** - Lf V = (2/3)x₁^(1/3)(x₁^(4/3) + x₂⁴)^(-1/2)(-x₁ + x₂³) - LG₁V = 2x₂³(x₁^(4/3) + x₂⁴)^(-1/2) - LG₂V = 2x₂³(x₁^(4/3) + x₂⁴)^(-1/2) **ステップ3: 蕴含関係の検証** LG₁V = 0のとき、x₂ = 0、したがって: $$\phi = \frac{2}{3}x_1^{1/3}(x_1^{4/3})^{-1/2}(-x_1) = -\frac{2}{3}x_1^{2/3} < 0$$ **ステップ4: パラメータ計算** 同次球面S = {x : (|x₁|^(4/3) + |x₂|⁴)^(1/4) = 1}上で: - 領域Q₀ = cl{x : LG₁V = 0}内: ρ₁ = 0.66, ρ₂ = 0.24 → κc = 0.36 - 領域S\Q₀内: ρ₃ = 0.42, ρ₄ = 0.37, ρ = 2.18 → κ₁ = 10.55 **ステップ5: 最終的なコントローラ** κ = 11, β = 2を選択、逆最適コントローラu = 2α(x)を得て、ISSとL2安定性を保証。 ## 関連研究 ### 1. 逆最適制御の基礎 - **Kalman [9]**: 逆最適制御概念の開創的研究 - **Freeman & Kokotovic [10]**: ロバスト安定化における逆最適性 - **Krstic & Li [11]**: 逆最適ISS制御フレームワーク、本論文の主要参考文献 ### 2. ISS理論 - **Sontag & Yuan [16]**: ISS特性の刻画 - **Sontag [20]**: Sontag型汎用コントローラの構成 - **Krstic等[35]**: 非線形適応制御設計 ### 3. 同次システム理論 - **Kawski [1]**, **Hermes [3]**, **Rosier [4]**: 同次システムの基礎理論 - **Hong等[2,6]**: 同次有限時間制御とH∞制御 - **Bhat & Bernstein [19]**: 幾何学的同次性と有限時間安定性 - **Andrieu等[25]**, **Bernuau等[26,27]**: 同次システムのISS分析 ### 4. 逆最適制御の拡張 - **Deng & Krstic [12]**: 確率非線形安定化 - **Li & Krstic [13]**: 適応追従制御 - **Lu等[14]**: 未建模動力学を持つ逆最適適応制御 - **Krstic [23]**: 逆最適安全フィルタ ### 5. 同次逆最適制御 - **Nakamura等[7]**: 入力アフィン同次システムの同次安定化、ゲイン余裕を研究 - **本論文との相違**: - [7]は外乱なしの場合のみを考慮 - [7]の代価汎関数は出力ペナルティを含まない - 本論文はISSとIOSを同時に保証 ### 6. H∞制御理論 - **Isidori & Astolfi [21]**, **van der Schaft [33]**: 非線形H∞制御 - **Isidori & Lin [15]**: 大域L2ゲイン設計 - **本論文との関連**: IOS保証はH∞のような外乱減衰性能を提供 ## 結論と議論 ### 主要な結論 1. **理論的貢献**: ISSとIOSを同時に保証する逆最適制御の理論フレームワークを初めて確立し、出力ペナルティ代価汎関数の構成難題を解決した。 2. **十分性結果**: 外乱なしの場合の同次安定化可能性が同次システムの逆最適ゲイン配分問題の可解性の十分条件であることを証明(Theorem 2)。 3. **構成方法**: 完全な設計プロセスを提供: - 同次性保持によるγ(s)の選択 - 同次球面技術によるパラメータκの決定 - Sontag型コントローラによる重み行列の連続性保証 4. **性能保証**: 設計されたコントローラは以下を持つ: - 入力状態安定性(ISS) - 有限ゲインL2安定性(IOS) - 調整可能なゲイン余裕(1/β, ∞) - 逆最適性 ### 限界 1. **同次性要件**: 方法は同次システムまたは同次システムで近似可能なシステムにのみ適用可能(Remark 7は局所解を提供)。 2. **単一入力制限**: 理論フレームワークは現在、スカラー制御入力u ∈ ℝのみを考慮し、多入力への拡張には追加研究が必要。 3. **Lyapunov関数依存**: 同次Lyapunov関数V(x)を事前に知る必要があり、複雑なシステムでは構成が困難な可能性がある。 4. **パラメータ選択の複雑性**: パラメータκの選択には同次球面上での最適化問題の求解が必要であり、計算が複雑な可能性がある。 5. **滑らかさの仮定**: f(x), G(x), h(x)がℝⁿ\{0}上で連続微分可能であることを要求し、非滑らかなシステムを除外。 6. **直交性の仮定**: hᵀd = 0の仮定は特定の応用では満たされない可能性があり、方法の適用範囲を制限。 ### 今後の方向 1. **より一般的なシステムへの拡張**: 非同次システムまたはより一般的な構造を持つシステムの逆最適IOS制御を研究。 2. **多入力多出力**: 理論をMIMOシステムに拡張。 3. **適応的な場合**: 適応制御技術を組み合わせ、パラメータ不確定性を処理。 4. **数値アルゴリズム**: パラメータκの計算とLyapunov関数の構成のための効率的な数値アルゴリズムを開発。 5. **応用研究**: ロボット制御、電力システム、航空宇宙など実際のシステムへの理論の応用。 6. **仮定の緩和**: hᵀd = 0などの仮定条件を緩和する方法を研究。 ## 深度評価 ### 利点 #### 1. 理論的革新性 - **首創性**: 逆最適制御フレームワークに出力ペナルティを初めて導入し、理論的空白を埋めた。 - **統一フレームワーク**: ISSとIOSを逆最適制御フレームワークの下に統一し、理論的優雅性を提供。 - **技術的突破**: 出力ペナルティによる状態ペナルティl(x)の正定値性保証の主要な技術的難題を解決。 #### 2. 方法の厳密性 - **完全な証明**: すべての定理に厳密な数学的証明があり、論理的連鎖が完全。 - **構成的**: Theorem 2は存在性の証明だけでなく、明示的なコントローラ設計方法を提供。 - **反例による支持**: Example 1とExample 3を通じて既存方法の限界を明確に示す。 #### 3. 技術的深さ - **同次性の巧妙な利用**: - 同次球面を利用して大域問題をコンパクト集合上の問題に変換(Lemma 4) - 補助システムの同次性を保つための特別な設計(Lemma 3) - **Legendre-Fenchel変換**: ℓγ(2εs) = ε²ℓγ(2s)の性質を巧妙に利用 - **重み行列設計**: Sontag コントローラの思想を借用して連続性を保証 #### 4. 実用的価値 - **ゲイン余裕**: 調整可能なゲイン余裕(1/β, ∞)を提供し、ロバスト性を強化。 - **二重保証**: ISSとIOSを同時に保証し、実際の制御要求を満たす。 - **設計プロセス**: Example 4が完全な設計例を提供し、応用を容易にする。 ### 不足 #### 1. 適用範囲の制限 - **同次性要件が厳格**: 多くの実際のシステムは同次性を満たさず、Remark 7は局所解を提供するが大域性能は保証されない。 - **単一入力制限**: 多入力の場合は未検討であり、複雑なシステムでの応用を制限。 #### 2. 実装の複雑性 - **パラメータ選択**: κの選択には同次球面上のmin-max問題の求解が必要であり、計算量が多い可能性。 - **Lyapunov関数**: 同次Lyapunov関数の事前構成が必要であり、専門家以外には困難。 - **重み行列**: R(x)の表現(式47)が複雑であり、実装が困難な可能性。 #### 3. 実験検証の不足 - **数値シミュレーション欠如**: Example 4の理論計算以外に、数値シミュレーション結果(状態軌跡、制御入力波形など)がない。 - **実際のシステム検証なし**: 実際の物理システムで理論結果を検証していない。 - **性能比較なし**: 他の方法との定量的な性能比較がない。 #### 4. 理論的完全性 - **必要性**: 十分条件のみを与え、必要性は議論していない。 - **最適性ギャップ**: 得られたコントローラと真の最適コントローラの性能ギャップを分析していない。 - **外乱タイプ**: L∞外乱のみを考慮し、他のタイプの外乱(確率外乱など)は未検討。 #### 5. 執筆上の問題 - **記号が密集**: 数学記号と公式が非常に密集しており、読みにくい。 - **直観性不足**: 幾何学的直観説明と物理的意味の説明が不足。 - **例が単純**: Example 4は完全だが、システム次元が低い(n=2)であり、高次元の場合を示していない。 ### 影響力 #### 1. 学術的貢献 - **理論的突破**: 逆最適制御理論に新しい方向を開き、後続研究を促発する予想。 - **方法論的貢献**: 逆最適制御における同次性技術の応用は新しい研究パラダイムを提供。 - **引用の可能性**: ISSとIOSを同時に考慮する初めての逆最適制御研究として、この分野の基礎文献になる可能性が高い。 #### 2. 実際の応用前景 - **ロボット制御**: 安定性と出力性能を同時に必要とするロボットシステムでの応用可能性。 - **電力システム**: 外乱抑制が必要な電力システム制御での応用可能性。 - **限界**: 同次性要件は直接応用範囲を制限し、条件緩和の追加研究が必要。 #### 3. 再現性 - **理論の再現性**: 証明が厳密であり、理論結果は再現可能。 - **実装の課題**: コードと詳細なアルゴリズムがなく、実装に困難がある可能性。 - **改善提案**: 著者がMatlab/Pythonツールボックスを提供することで利用可能性を向上させることを推奨。 ### 適用シーン #### 1. 理想的な適用シーン - **同次機械システム**: 特定の座標系ではEuler-Lagrange系が同次性を持つ可能性。 - **電力システム**: 特定の電力変換器モデルが同次構造を持つ。 - **低次元非線形システム**: 次元が低い(n≤5)かつ同次性を持つシステム。 #### 2. 改善後に適用可能 - **非同次システム**: 同次近似または局所応用が必要(Remark 7参照)。 - **多入力システム**: 理論拡張が必要。 - **制約付きシステム**: 状態または制御制約を考慮する必要。 #### 3. 不適用なシーン - **高度に非線形な非同次システム**: ニューラルネットワーク、カオスシステムなど。 - **離散時間システム**: 理論は連続時間のみ。 - **時間遅延システム**: 遅延の影響を考慮していない。 ## 参考文献(主要文献) [1] Kawski, M. (1990). Homogeneous stabilizing feedback laws. [4] Rosier, L. (1992). Homogeneous Lyapunov function for homogeneous continuous vector field. [11] Krstic, M., & Li, Z. H. (1998). Inverse optimal design of input-to-state stabilizing nonlinear controllers. (本論文の主要参考文献) [19] Bhat, S. P., & Bernstein, D. S. (2005). Geometric homogeneity with applications to finite-time stability. [20] Sontag, E. D. (1989). A universal construction of Artstein's theorem on nonlinear stabilization. [32] Polyakov, A. (2020). Generalized homogeneity in systems and control. --- ## 総合評価 本論文は非線形制御理論分野における高品質な理論論文であり、逆最適制御分野で重要な貢献をしている。同次性を巧妙に利用することで、ISSとIOSを同時に保証する逆最適制御問題を初めて解決した。理論は厳密であり、証明は完全であり、技術的深さが高い。主な不足は同次性要件による適用範囲の制限と実験検証の不足である。後続研究では数値シミュレーションと実際の応用検証を強化し、同次性要件を緩和する可能性を探索することを推奨する。非線形制御理論の研究に従事する学者にとって、これは深く読む価値のある論文である。