[论文解读] Supporting Lemmas for RISE-based Control Methods

Rushikesh Kamalapurkar, Rosenfeld, Joel A.+3 more|arXiv (Cornell University)|Jun 14, 2013

Advanced Control Systems Optimization参考文献 16被引用 38

一句话总结

本文為基於魯棒積分符號誤差（RISE）控制方法的基礎性引理提供了嚴謹的數學證明，確保非線性系統在存在干擾時的漸近穩定性。論文確立了關鍵積分性質與勒貝格測度條件的有效性，這些性質對於基於李雅普諾夫的穩定性分析至關重要，並運用非光滑分析與測度理論進行推導。

ABSTRACT

A class of continuous controllers termed Robust Integral of the Signum of the Error (RISE) have been published over the last decade as a means to yield asymptotic convergence of the tracking error for classes of nonlinear systems that are subject to exogenous disturbances and/or modeling uncertainties. The development of this class of controllers relies on a property related to the integral of the signum of an error signal. A proof for this property is not available in previous literature. The stability of some RISE controllers is analyzed using differential inclusions. Such results rely on the hypothesis that a set of points is Lebesgue negligible. This paper states and proves two lemmas related to the properties.

研究动机与目标

• 解決RISE控制器設計中所用基本積分性質 ∫₀ˣ f′(y)sgn(f(y))dy = |f(x)| − |f(0)| 缺乏可訪問證明的問題。
• 驗證假設：對於連續可微函數 f，滿足 f(x) = 0 且 f′(x) ≠ 0 的點集具有勒貝格測度為零，此為非光滑穩定性分析的關鍵前提。
• 提供一個構造性證明，以證明李雅普諾夫穩定性分析中存在嚴格遞增的界函數。
• 透過嚴謹建立先前文獻中使用但未正式證明的性質，強化基於RISE的控制理論基礎。

提出的方法

• 使用微積分基本定理與局部絕對連續性證明引理1，顯示 f′(y)sgn(f(y)) 在 [0,x] 上的積分等於 |f(x)| − |f(0)|。
• 應用控制收斂定理，以合理化逼近序列（由階梯函數構成）收斂至 sgn(f(y)) 的極限。
• 運用測度論論證，證明對於連續可微函數 f，集合 {x | f(x) = 0 ∧ f′(x) ≠ 0} 的勒貝格測度為零。
• 結合均值定理與柯西-施瓦茨不等式，構造一個嚴格遞增函數 ρ(‖x−xd‖)，以界住 ‖f(x)−f(xd)‖ 的範數。
• 在有界集合上定義上確界，以構造 G₂ 與 G₃，進而定義 ρ(‖x−xd‖) = G₃(‖x−xd‖, r) + ‖x−xd‖。
• 證明 ρ 為嚴格遞增，且對所有 x ∈ D 與 xd ∈ Br，滿足 ‖f(x)−f(xd)‖ ≤ ρ(‖x−xd‖)‖x−xd‖。

实验结果

研究问题

• RQ1 為何對於局部絕對連續函數 f，積分 ∫₀ˣ f′(y)sgn(f(y))dy 等於 |f(x)| − |f(0)|？
• RQ2 在何種條件下，對於連續可微函數 f，集合 {x | f(x) = 0 ∧ f′(x) ≠ 0} 的勒貝格測度為零？
• RQ3 是否存在一個嚴格遞增函數 ρ，使得對所有 x ∈ D 與 xd 屬於緊緻球 Br，均有 ‖f(x)−f(xd)‖ ≤ ρ(‖x−xd‖)‖x−xd‖？
• RQ4 如何形式化證明積分性質與測度條件，以支援RISE控制器穩定性分析？
• RQ5 在RISE控制器的李雅普諾夫分析中，構造嚴格遞增界函數的具體方法為何？

主要发现

• 引理1已嚴謹證明：對於任意局部絕對連續函數 f: ℝ₊ → ℝ，有 ∫₀ˣ f′(y)sgn(f(y))dy = |f(x)| − |f(0)|。
• 對於任意連續可微函數 f，集合 {x | f(x) = 0 ∧ f′(x) ≠ 0} 的勒貝格測度為零，驗證了非光滑穩定性分析中的關鍵假設。
• 證明顯示 f 的零點集為閉集，且其在 f′ 下的原像為可數集，因此在勒貝格測度下為零測集。
• 提供了一種構造性方法，以定義一個嚴格遞增函數 ρ，使得對所有 x ∈ D 與 xd ∈ Br，均有 ‖f(x)−f(xd)‖ ≤ ρ(‖x−xd‖)‖x−xd‖。
• 函數 ρ(‖x−xd‖) 明確定義為 G₃(‖x−xd‖, r) + ‖x−xd‖，其中 G₃ 為有界梯度的上確界，確保其嚴格單調性。
• 上述結果共同彙集了RISE控制理論中的一個理論缺口，為先前文獻中廣泛使用但未正式證明的性質提供了形式化依據。