[论文解读] On the controllability of some steady states in the case of nonlinear discrete dynamical systems with control

Éva Kaslik, A.M. Balint+2 more|ArXiv.org|Nov 11, 2003

Chaos control and synchronization参考文献 4被引用 3

一句话总结

该论文证明，在具有控制参数的非线性离散动力系统中，若两个渐近稳定的稳态通过一条解析路径相连，则可通过一系列成功的控制参数调节，逐步实现二者之间的转移。关键结果依赖于李雅普诺夫函数吸引域的解析性，确保只要每个中间状态位于下一状态吸引域内，转移即为可行。

ABSTRACT

The main objective of this paper is to show that two asymptotically stable steady states which belong to an analytic path of asymptotically stable steady states can be gradually transferred one to the other by successive changes of the control parameters.

研究动机与目标

• 研究具有控制参数的非线性离散动力系统中渐近稳定稳态的可控制性。
• 通过利用解析性与李雅普诺夫函数理论，将连续系统的结果推广至离散时间系统。
• 建立一系列控制参数变化可实现系统从一个稳定稳态转移到另一个稳定稳态的条件。
• 利用李雅普诺夫函数的自然解析域，表征渐近稳定不动点的吸引域。
• 证明只有当初始状态位于目标稳态吸引域内时，控制操作才能成功。

提出的方法

• 采用一条稳态的解析路径，定义为函数 φ: D₁ ⊂ D → Ω，满足对所有 α ∈ D₁，有 φ(α) = f(φ(α), α)。
• 通过变换 y_k = x_k - φ(α) 将稳态平移至原点，从而实现对 y=0 附近稳定性的分析。
• 依赖文献[4]中的定理：渐近稳定不动点的吸引域与满足 V(g(y)) - V(y) = -||y||² 且 V(0)=0 的解 V 的自然解析域完全一致。
• 证明控制参数调节 α′ → α″ 成功当且仅当 φ(α′) ∈ DA(φ(α''))。
• 利用隐函数定理，证明在 ||∂ₓf(x⁰, α⁰)|| < 1 条件下，通过给定稳定稳态 (x⁰, α⁰) 存在一条最大解析路径 φ(α)。
• 应用反函数定理，确保路径 φ(α) 在 α⁰ 邻域内解析且唯一。

实验结果

研究问题

• RQ1 在非线性离散动力系统中，若两个渐近稳定的稳态通过一条解析路径相连，能否实现彼此之间的转移？
• RQ2 何种条件可确保控制参数变化 α′ → α″ 实现从一个稳态到另一个稳态的成功转移？
• RQ3 在离散系统中，稳定不动点的吸引域与李雅普诺夫函数的解析域之间有何关系？
• RQ4 在何种条件下，一系列控制参数变化可借助中间状态实现从一个稳定稳态到另一个稳定稳态的导航？
• RQ5 能否通过利用解析性与李雅普诺夫函数理论，将连续系统中的可控制性结果推广至离散时间系统？

主要发现

• 若稳态 (x⁰, α⁰) 处的雅可比矩阵 ∂ₓf(x⁰, α⁰) 的谱范数小于 1，则在该稳态附近存在一条局部解析的渐近稳定稳态路径。
• 稳定不动点 x⁰ = φ(α) 的吸引域与满足 V(g(y)) - V(y) = -||y||² 的李雅普诺夫函数 V 的自然解析域完全一致。
• 控制参数调节 α′ → α″ 成功当且仅当初始状态 φ(α′) 位于目标状态 φ(α'') 的吸引域内。
• 在示例1中，从 α=1 到 α=3 的调节失败，因为目标状态不稳定，但通过中间稳定状态的过渡是可行的。
• 在示例2中，有限序列的成功调节将系统从 φ₁(0)=0 转移到 φ₁(2)=2，每一步均满足吸引域条件：0 ∈ DA(φ₁(0.7))，φ₁(0.7) ∈ DA(φ₁(1.4))，且 φ₁(1.4) ∈ DA(φ₁(2))。
• 在示例3中，从 α=−1 到 α=1 的四步调节成功将系统从 (−1,−1) 转移到 (1,1)，每个中间状态均位于下一目标的单位球内。