基于Petersen引理的二次双线性系统局部稳定性与镇定研究
Local Stability and Stabilization of Quadratic-Bilinear Systems using Petersen's Lemma
摘要 Abstract
二次双线性(QB)系统广泛出现在科学与工程的诸多领域。本文提出了一种可扩展的方法,用于设计二次双线性系统的局部状态反馈控制律并验证其局部稳定性。基于二次Lyapunov函数建立了局部稳定性与镇定的充分条件,同时给出了平衡点吸引域和可控域的椭球内估计。我们的方法利用了Petersen引理,将验证Lyapunov条件正定性的任务转化为对单一标量参数的线搜索问题。所得的线性矩阵不等式(LMI)条件对于稳定性分析和控制综合均以状态维数的平方尺度增长,从而能够对具有数百个状态变量的QB系统进行分析和控制,而无需依赖专门的实现方案。我们在现有文献中的三个基准问题上验证了该方法,结果表明,我们所提出的方法所得的稳定性域近似值与其他受限于数十个状态变量的成熟工具所得结果相当。
Quadratic-bilinear (QB) systems arise in many areas of science and engineering. In this paper, we present a scalable approach for designing locally stabilizing state-feedback control laws and certifying the local stability of QB systems. Sufficient conditions are established for local stability and stabilization based on quadratic Lyapunov functions, which also provide ellipsoidal inner-estimates for the region of attraction and region of stabilizability of an equilibrium point. Our formulation exploits Petersen's Lemma to convert the problem of certifying the sign-definiteness of the Lyapunov condition into a line search over a single scalar parameter. The resulting linear matrix inequality (LMI) conditions scale quadratically with the state dimension for both stability analysis and control synthesis, thus enabling analysis and control of QB systems with hundreds of state variables without resorting to specialized implementations. We demonstrate the approach on three benchmark problems from the existing literature. In all cases, we find our formulation yields comparable approximations of stability domains as determined by other established tools that are otherwise restricted to systems with up to tens of state variables.