非线性控制1——基础知识

1. 非线性控制系统的两大任务

    1.1 稳定(或称调节)问题

稳定问题是要使得闭环系统的状态稳定在一个平衡点附近。对于稳定问题,系统的输出不一定要有具体的物理意义,此时可以借助输入-输出状态线性化方法把原非线性熊转换为线性系统,从而用线性系统额理论解决系统的稳定问题。

    1.2 跟踪(或称伺服)问题

跟踪问题是要使得闭环系统的输出跟踪一个给定的时变轨迹。

2. 常用的非线性系统镇定方法

2.1 Lyapunov 直接法

Lyapunov李雅普诺夫直接法与间接法的区别:李雅普诺夫线性化方法,也叫做李雅普诺夫第一方法,也叫做李雅普诺夫间接法。为什么叫李雅普诺夫间接法呢?它是相对于李雅普诺夫直接法而言的。因为李雅普诺夫直接法(李雅普诺夫第二方法)是通过直接分析非线性系统,而间接法是通过把非线性系统进行线性化,间接地来分析系统的稳定性。Lyapunov线性化方法和直接法,构成了李雅普诺夫稳定性理论)。
 

2.2 输入-状态镇定法

   2.2.1 重要定义

K类函数及k_{\infty }函数定义:连续函数\alpha :[0,a)\rightarrow R^{+}称为K类函数,如果它是连续、严格递增的,且\gamma (0)=0。特别的,如果它进一步满足a=\infty\lim_{s\rightarrow \infty }\alpha (s)=\infty,则函数\alpha称为k_{\infty }类函数。

KL类函数定义:连续函数\beta :[0,a)\times [0,\infty)\rightarrow R^{+}称为KL类函数,如果对于每个固定的s,函数\beta(\cdot ,s)K类函数,对于每个固定的r,函数\beta(r,\cdot):[0,\infty)\rightarrow [0,\infty)是递减的,并且\lim_{s\rightarrow \infty }\beta (r,s)=0

L_{\infty }^{m}代表分段函数u:[0,\infty)\rightarrow R^{+}范数有界,即有

                                                            \left \| u(\cdot )\right \|_{\infty }= \underset{t\geq t_{0}}{sup}\left \| u(t) \right \|

  2.2.2 输入-状态稳态

输入-状态稳定定义:系统方程为\dot{x}(t)=f(x(t),u(t),t),若存在一个KL类函数\betaK类函数\gamma,对于任意初始条件x(t_{0})和任意输入函数u(t)\in L_{\infty }^{m}x(t)存在且满足

                                         \left \| x(t) \right \|\leq \beta (\left \| x(t_{0}) \right \|,t-t_{0})+\gamma (\underset{t_{0}\leq \tau \leq t}{sup}\left \| u(\tau ) \right \|),t\geq t_{0}

则系统为输入-状态稳定。

现实意义:输入-状态稳定性,是指对于任意有界的外部输入以及有界的初始条件,状态总是有界的,并且当外部输入为零时,系统总是有能力恢复到平衡点。

2.3 小增益定理

3 常用概念

3.1 矩阵Schur补引理

对于对称矩阵A_{11}A_{22}A_{12},以下三个条件等价:

(1)   \begin{bmatrix} A_{11} & A_{12}\\ A_{12}^{T} & A_{22} \end{bmatrix}<0

(2)   A_{11}<0,A_{22}-A_{12}^{T}A_{11}^{-1}A_{12}<0

(3)   A_{22}<0,A_{11}-A_{12}A_{22}^{-1}A_{12}^{T}<0

 

3.2 LaSalle不变集原理与渐近稳定

3.2.1 不变集的定义

(1)如果系统从点x出发,那么系统未来的状态位置一直保持不变,一直待在出发点x,那么出发点x就叫做系统的不变点。

(2)如果系统从某个区域内或者曲线出发上,例如以0为原点的半径为r的圆的区域或者有限环,系统的未来状态位置会一直待在该区域内(半径为r的圆内)或者曲线上,那么这个区域就叫做不变区。

(3)所有这些不变点或者不变区域组成的集合,就叫做该系统的不变集。

3.2.2 LaSalle不变集原理

拉萨尔不变集原理Local Version(Local Invariant Set Theorem):对于不依赖于时间的系统(autonomous system) \dot{x}=f(x) ,其中f(x)连续,并且V(x)具有对x一阶连续偏导。如果

(1)在某个区域\Omega _{l}内 V(x)<l(l>0) ,也就是在V(x)该区域内有上界;

(2)并且在该区域内,\dot{V}(x)=\frac{\partial V}{\partial x}f(x)\leq 0 ;

把该区域内所有使得 \dot{V}(x)=0 的点的集合叫做R,而M是包含在R内最大的不变集。如果系统起始于该区域内,那么随着 t\rightarrow \infty 系统一定会收敛于不变集M中的点。

发布了56 篇原创文章 · 获赞 50 · 访问量 11万+

猜你喜欢

转载自blog.csdn.net/jinpeng_cumt/article/details/100943315