线性矩阵不等式(LMI)在控制理论中的应用

这篇具有很好参考价值的文章主要介绍了线性矩阵不等式(LMI)在控制理论中的应用。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

目录

(一)Matlab中的LMI处理工具包

 (二)为什么LMI成为控制理论领域重要工具?

(三)LMI在与Lyapunov不等式的关系

(1)线性矩阵不等式

 (2)线性矩阵不等式系统

(3)舒尔(Schur)补

(四)LMI中常见引理

引理2(广义KYP引理[4])

推论1(广义KYP引理推论[4])

引理3(射影定理[1])

引理4 (Jensen不等式[5,6]

引理5 (Finsler's引理[7]):

参考文献


(一)Matlab中的LMI处理工具包

        matlab中有专门求解线性矩阵不等式的工具包YALMIP,可以在官网上下载安装,可参考yalmip安装教程。yalmip只提供了一些基本的LMI求解方法,有更复杂的不等式求解需求可以再安装cplex工具包。关于怎么使用yalmip工具包可参考yalmip代码编写教程和LMI工具箱教程,教程文档。MONSK安装

 (二)为什么LMI成为控制理论领域重要工具?

        线性矩阵不等式(LMI)技术是分析和综合控制系统的重要工具,尤其是鲁棒控制领域,主要因素有以下三个[1]:

  • 对于经典的控制方法,LMI技术的优点就是操作简单。在LMI技术出现以前,人们通过求解Ricaati方程来设计最优控制器,但是Ricaati方程求解很难。而LMI技术仅需少量的概念和基本原理就能开发出实用的工具(现在我们用YALMIP工具包就能很方便的求解LMI问题)。
  • LMI技术提供了控制问题的广泛前景,包括鲁棒性分析,标称H∞,H2和鲁棒控制综合,多目标综合,线性参数变化综合,其中一些无法在古典控制领域中解决处理。
  • LMI技术是利用凸优化的强有效的数值工具,并在理论体系上附加上有效的软件工具。

(三)LMI在与Lyapunov不等式的关系

(1)线性矩阵不等式

考虑线性矩阵不等式表达如下[2]:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

上式中 ,为决策变量,特别地,在上述一般形式中的函数 线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数为实对称矩阵。上式中的F(x)<0,表示矩阵F(x)是负定的,即对所有的非零向量 , 或者F(x)的最大特征值小于0。
        在许多系统与控制问题中,问题的变量以矩阵的形式出现,如Lyapunov矩阵不等式:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

其中,矩阵 线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数为已知的具有合适的维度的常数矩阵,且Q 为已知的对称矩阵, 线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数
为对称矩阵变量。假定 为中的一组基,则对任意对称 线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数存在使得

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

         因此有:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

        通过这种转化,就得到了一个更为一般的线性矩阵不等式的表达方式。

 (2)线性矩阵不等式系统

假设存在多个矩阵不等式:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

 总体构成称线性矩阵不等式系统。引进,则同时成立当且仅当。因此一个线性矩阵不等式系统也可以用一个单一的线性矩阵不等式表示。

(3)舒尔(Schur)补

        在许多一些非线性矩阵不等式转化成线性矩阵不等式的问题中,我们常常用到矩阵的Schur补性质。考虑一个矩阵线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数,并将S分块:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

其中是维的。假定是非奇异的,则线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数称为“在S中的Sehar补”。以下引理给出了矩阵的Schur补性质。

 引理1 Schur补性质

对给定的对称矩阵:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

其中是维的。以下3个条件是等价的:

(1)

(2)

(3)

(证明方法可参考 俞立的《鲁棒控制——线性矩阵不等式处理方法》 p8页)

        在一些控制问题中,经常遇到二次型矩阵不等式[3]:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

 其中是给定的适当维数的常数矩阵,是对称矩阵变量,则应用引理1,可以将上面的矩阵不等式的可行性问题转化成一个等价的矩阵不等式:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

的可行性问题,而后者是一个关于矩阵变量P的线性矩阵不等式。

        因此在控制问题中,我们经常要设计Lyapunov函数V(t),并为了保证系统稳定性要求,那我们就可以把这个不等式转化为线性矩阵不等式的形式,并用matlab中的YALMIP直接求解出即可。

(四)LMI中常见引理

引理2(广义KYP引理[4])

给定矩阵,以及,,且代表的零空间,其中,则不等式

成立,当且仅当存在对称矩阵以及,使得线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数成立,其中

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

其中*表示矩阵的共轭转置,j是虚数单位,表示右克罗内克积,即

推论1(广义KYP引理推论[4])

针对线性系统线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数,为系统由扰动到控制输出的传递函数,则对于给定的对称矩阵,下面两个陈述是等价的:

1)有限频域不等式

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

成立。

2)存在对称矩阵Р和Q满足Q>0,使得

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

成立,其中

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数表示矩阵的右上块和右下块,矩阵中*表示其对应块的转置。

引理3(射影定理[1])

对于给定的标量,矩阵满足线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数,当且仅当下面两个条件成立:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

引理3(反射影定理[1]):是给定的正定对称矩阵,不等式线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数等价于下面的线性矩阵不等式(LMI)求解问题:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

式中符号用以表示矩阵与其转置的加和,即线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

引理4 (Jensen不等式[5,6]

对于任意正定对称常数矩阵,标量满足,并且存在一个向量,那么以下不等式成立:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

引理5 (Finsler's引理[7]):

令,,以及满足H的秩小于n,rank(H) = r <n.则下列两式等价:

线性矩阵不等式(LMI)在控制理论中的应用,矩阵,算法,线性代数

参考文献

【1】Apkarian P,Tuan H D,Bernussou J.Continuous-Time analysis,eigenstructure as-signment,and H2synthesis with enhanced Linear Matrix Inequalities(LMI)char-acterizations[J].IEEE Transactions on Automatic Control,2001,42(12):1941–1946.

【2】《鲁棒控制理论及应用》王娟 张涛 徐国凯

【3】《鲁棒控制——线性矩阵不等式处理方法》俞立

【4】Iwasaki T,Hara S.Generalized KYP Lemma:unified frequency domain inequal-ities with design applications[J].IEEE Transactions on Automatic Control,2005,50(1):41–59.

【5】Wu J,Chen X,Gao H.H∞filtering with stochastic sampling[J].Signal Proces-siong,2010,90(4):1131–1145.

【6】Gao H,Wu J,Shi P.Robust sampled-data H∞control with stochastic sampling[J].Automatica,2009,45(7):1729–1736.

【7】Qiu J,Feng G,Yang J.New results on robust energy-to-peakfiltering for discrete-time switched polytopic linear systems with time-varying delay[J].IET ControlTheory and Applications,2008,2(9):795–806.

·文章来源地址https://www.toymoban.com/news/detail-713726.html

到了这里,关于线性矩阵不等式(LMI)在控制理论中的应用的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 《鲁棒控制——线性矩阵不等式处理方法》(俞立)第二、三、四章学习笔记

     :非零向量,  或者的最大特征值小于0. 是凸集。(设V是数域P上的线性空间,W是V的一个非空子集,如果对W中任意两个向量a,b以及任意0=c=1,都有ca+(1-c)b  W,则W是凸集)。 ,其中是r*r维的非奇异矩阵,则称为在中的Schur补。 对给定的对称矩阵,其中是r*r维的非奇异矩阵,

    2023年04月08日
    浏览(26)
  • ADMM算法系列1:线性等式或不等式约束下可分离凸优化问题的ADMM扩展

    1 研究背景       交替方向乘数法(ADMM)最初由Glowinski和Marrocco提出,用于解决非线性椭圆问题,它已成为解决各种凸优化问题的基准算法。在方法上,可以认为ADMM算法是在经典增广拉格朗日方法(ALM)的分裂版本。它已经在非常广泛的领域找到了应用,特别是在与数据科学

    2024年02月03日
    浏览(35)
  • 马尔可夫不等式、切比雪夫不等式

    在概率论中,马尔可夫不等式给出了随机变量的非负函数大于或等于某个正常数 ϵ epsilon ϵ 的概率的上限 下图来自:Markov inequality 下图为任一分布的概率密度函数图像 图片来自:Mathematical Foundations of Computer Networking: Probability a a a 越大,阴影部分的面积越小,即概率越小 使

    2024年02月04日
    浏览(27)
  • 马尔科夫不等式和坎泰利不等式的证明

    马尔科夫不等式(Markov’s inequality) 对于随机变量 X X X ,有 P ( ∣ X ∣ ⩾ ε ) ⩽ E ∣ X ∣ k ε k , ε 0 , k ∞ Pleft( left| X right|geqslant varepsilon right) leqslant frac{Eleft| X right|^k}{varepsilon ^k},varepsilon 0,kinfty P ( ∣ X ∣ ⩾ ε ) ⩽ ε k E ∣ X ∣ k ​ , ε 0 , k ∞ 证明: P ( ∣ X ∣ ⩾ ε

    2024年02月08日
    浏览(29)
  • 优化问题----等式约束与不等式约束问题求解

    目录 先总结一波: 1. 等式约束问题求解 (1)一阶必要条件 (2)二阶充分条件 2.不等式约束问题求解 2.1 可行下降方向 2.2 KTT条件(Kuhn-Tucker条件) (1)Gordan定理 (2)Fritz John定理 (3)KTT条件  (4)KTT的一个应用实例 对于无约束极值问题,可以采用解析方法和直接方法两

    2024年02月05日
    浏览(37)
  • Hoeffing不等式

    设 X 1 , X 2 , . . . , X N X_1,X_2,...,X_N X 1 ​ , X 2 ​ , ... , X N ​ 是独立随机变量,且 X i ∈ [ a i , b i ] , i = 1 , 2 , . . . , N ; S N = ∑ i = 1 N X i X_iin[a_i,b_i],i=1,2,...,N;S_N=sum_{i=1}^NX_i X i ​ ∈ [ a i ​ , b i ​ ] , i = 1 , 2 , ... , N ; S N ​ = ∑ i = 1 N ​ X i ​ ,则对任意t0,以下不等式成立:

    2024年02月07日
    浏览(30)
  • 放缩不等式推导

    放缩不等式推导 1 )   a x x + 1 ( 1 a ≤ e , x 0 ; a ≥ e , x 0 ) ; 1) a^xx+1left(1aleq e,x0;ageq e,x0right); 1 )   a x x + 1 ( 1 a ≤ e , x 0 ; a ≥ e , x 0 ) ; p r o o f : proof: p roo f : f 01 ( x ) = a x − ( x + 1 ) ⇒ f 01 ′ ( x ) = a x ln ⁡ a − 1 f_{01}left(xright)=a^{x}-left(x+1right)Rightarrow f_{01}^{\\\'}left(xright) =

    2023年04月22日
    浏览(31)
  • 各种数学不等式

    以丹麦技术大学数学家约翰·延森(John Jensen)命名。它给出积分的凸函数值和凸函数的积分值间的关系。 是数学家柯西(Cauchy)在研究数学分析中的“流数”问题时得到的。 是柯西不等式的推广. 赫尔德不等式是数学分析的一条不等式,取名自奥图·赫尔德(Otto Hölder) 是德国

    2024年02月14日
    浏览(32)
  • 不等式证明(三)

    设 p , q p ,q p , q 是大于1的常数,并且 1 p + 1 q = 1 frac{1}{p}+frac{1}{q}=1 p 1 ​ + q 1 ​ = 1 .证明:对于任意的 x 0 x0 x 0 ,有 1 p x p + 1 q ≥ x frac{1}{p}x^p+frac{1}{q}geq x p 1 ​ x p + q 1 ​ ≥ x . 证明 : 设 f ( x ) = 1 p x p + 1 q − x (1) f(x)=frac{1}{p}x^p+frac{1}{q}- xtag{1} f ( x ) = p 1 ​ x p + q 1 ​

    2024年01月21日
    浏览(36)
  • 高中数学:不等式(初接高)

    最后的例题,是为了说明第三种情况,就是,不等号右边不为0时,要先进行移项操作。 将右边化为0 这样,就转化成1,2两种情况了。 补充: 不等式解法中,对于根式的转化,要考虑仔细,不能少考虑了情况,否则求出的结果就出错。 这个,也是最难的,最考验答题人的细心

    2024年01月24日
    浏览(36)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包