arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2602.04756eess.SYcs.SY
收藏

用于最优性的Sontag型控制的Lyapunov函数

Control Lyapunov Functions for Optimality in Sontag-Type Control

Technical University of Munich(慕尼黑工业大学)

Joscha F. Bongard, Boris Lohmann

AI总结:

本文提出两种构造性的CLF设计方法,用于在非线性多输入系统中实现最优性与全局稳定性。

摘要:

给定一个Lyapunov控制函数(CLF),Sontag著名的公式提供了一个非线性状态反馈,保证了设定点的渐近稳定性。同时,一个依赖于CLF的成本函数被最小化。虽然存在构造CLF的方法用于某些系统类别,但其对最终性能的影响尚不明确。本文旨在对这个问题做出两个贡献:(1)我们展示使用LQR设计的价值函数作为CLF,所得到的Sontag型控制器在设定点附近最小化经典二次成本,并在CLF条件成立的域内最小化一个依赖于CLF的成本。我们还展示闭环系统在至少与LQR生成的局部区域一样大的局部区域内是稳定的。(2)我们展示了一个相关的CLF设计用于反馈线性化系统,从而以一种直接的方式得到全局CLF;Sontag设计则保证了全局渐近稳定性,同时在设定点处最小化二次成本,并在整个状态空间内最小化一个依赖于CLF的成本。这两种设计都是构造性的,并且在较温和的假设下易于应用于非线性多输入系统。

英文摘要:

Given a Control Lyapunov Function (CLF), Sontag's famous Formula provides a nonlinear state-feedback guaranteeing asymptotic stability of the setpoint. At the same time, a cost function that depends on the CLF is minimized. While there exist methods to construct CLFs for certain classes of systems, the impact on the resulting performance is unclear. This article aims to make two contributions to this problem: (1) We show that using the value function of an LQR design as CLF, the resulting Sontag-type controller minimizes a classical quadratic cost around the setpoint and a CLF-dependent cost within the domain where the CLF condition holds. We also show that the closed-loop system is stable within a local region at least as large as that generated by the LQR. (2) We show a related CLF design for feedback-linearizable systems resulting in a global CLF in a straight-forward manner; The Sontag design then guarantees global asymptotic stability while minimizing a quadratic cost at the setpoint and a CLF-dependent cost in the whole state-space. Both designs are constructive and easily applicable to nonlinear multi-input systems under mild assumptions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑