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.
academicInverse optimal design of input-to-state stabilizing homogeneous controllers for nonlinear homogeneous systems
基本信息
- 论文ID: 2511.15034
- 标题: Inverse optimal design of input-to-state stabilizing homogeneous controllers for nonlinear homogeneous systems
- 作者: Kaixin Lu (National University of Singapore), Ziliang Lyu (Nanyang Technological University & Tongji University), Haoyong Yu (National University of Singapore)
- 分类: eess.SY (Systems and Control), 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. 研究动机
- 齐次性的优势: 齐次性可以通过适当的缩放将系统的局部性质转化为全局性质,这为解决上述困难提供了工具。
- 理论需求: 需要研究ISS控制器在具有IOS保证时关于何种最优准则是逆最优的。
核心贡献
- 新的逆最优控制问题: 首次提出在代价泛函中对输出进行惩罚的逆最优控制问题(Definition 7),使得逆最优控制器能同时保证ISS和IOS。
- 构造技术: 利用齐次性质提出了构造有意义代价泛函的技术(Lemma 3和Lemma 4),特别是解决了如何选择参数κ和函数γ(s)以保证状态惩罚l(x)正定的难题。
- 充分条件: 在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)都是正的非线性函数,难以保证l(x) > 0对所有x ∈ ℝⁿ{0}成立。
解决方案:
- 定义函数Hκ(x) = -κLf̃V(x) + LG₁V(x)α(x) - h(x)ᵀR(x)h(x)
- 利用齐次球面S = {x : Γ(x) = 1}
- 分两种情况(P+和P-)在S上证明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}$$ 这保证了R(x)在ℝⁿ\{0}上连续,从而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. 由齐次可镇定性,存在齐次Lyapunov函数V(x)满足Lf V + LG₁Vαh(x) < 0 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. 理想适用场景 - **齐次机械系统**: 如欧拉-拉格朗日系统在某些坐标下可能具有齐次性。 - **功率系统**: 某些功率转换器模型具有齐次结构。 - **低维非线性系统**: 维数不高(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的逆最优控制问题。理论严谨,证明完整,技术深度高。主要不足在于适用范围受齐次性限制,实验验证不足。建议后续工作加强数值仿真和实际应用验证,并探索放松齐次性要求的可能性。对于从事非线性控制理论研究的学者,这是一篇值得深入研读的论文。