2020-10-11 LMI线性矩阵不等式的一些知识
线性矩阵不等式的常用引理:
Lemma 1:MMM 是对称阵,那么
λmax(M)≤t⟺M−tI≤0\lambda_{\max }(M) \leq t \Longleftrightarrow M-t I \leq 0 λmax(M)≤t⟺M−tI≤0
Proof. Note that for an arbitrary matrix MMM with an eigenvalue sss and a corresponding eigenvector x,x,x, there holds
(M−tI)x=Mx−tx=(s−t)x(M-t I) x=M x-t x=(s-t) x (M−tI)x=Mx−tx=(s−t)x
This states that for an arbitrary matrix MMM there holds
λ(M−tI)=λ(M)−t\lambda(M-t I)=\lambda(M)-t λ(M−tI)=λ(M)−t
Thus, when MMM is symmetric, we have
λmax(M)≤t⟺λmax(M−tI)≤0⟺M−tI≤0\begin{aligned} \lambda_{\max }(M) \leq t & \Longleftrightarrow \lambda \max (M-t I) \leq 0 \\ & \Longleftrightarrow M-t I \leq 0 \end{aligned} λmax(M)≤t⟺λmax(M−tI)≤0⟺M−tI≤0
Lemma 2:AAA 是具有合适维数的矩阵,ttt 是一个正数,那么
ATA−t2I≤0⟺[−tIAAT−tI]≤0.A^{\mathrm{T}} A-t^{2} I \leq 0 \Longleftrightarrow\left[\begin{array}{cc}-t I & A \\ A^{\mathrm{T}} & -t I\end{array}\right] \leq 0.ATA−t2I≤0⟺[−tIATA−tI]≤0.
Proof: Put
Q=[IA0tI]Q=\left[\begin{array}{ll} I & A \\ 0 & t I \end{array}\right] Q=[I0AtI]
then QQQ is nonsingular since t>0.t>0 .t>0. Note that
QT[−tIAAT−tI]Q=[−tI00t(ATA−t2I)]Q^{\mathrm{T}}\left[\begin{array}{cc} -t I & A \\ A^{\mathrm{T}} & -t I \end{array}\right] Q=\left[\begin{array}{cc} -t I & 0 \\ 0 & t\left(A^{\mathrm{T}} A-t^{2} I\right) \end{array}\right] QT[−tIATA−tI]Q=[−tI00t(ATA−t2I)]
again in view of the fact that t>0,t>0,t>0, it is clearly observed from the above relation that the equivalence in (1.2.4)(1.2 .4)(1.2.4) holds. Based on the above lemma, we can derive the following conclusion.
参考资料:
- Matlab LMI(线性矩阵不等式)工具箱中文版介绍及使用教程
2020-10-11 LMI线性矩阵不等式的一些知识相关推荐
- 线性矩阵不等式LMI的运用与Lipschitz非线性系统观测器的设计
线性矩阵不等式(LMI)是有如下形式的一种约束描述:(1) 其中:是m个实数变量,称为线性矩阵不等式(1)的决策变量:是由决策变量构成的向量,称之为决策向量:是一组给定的实对称矩阵:(1)式中的不等号 ...
- 克罗内克积 (Kronecker product) 在线性矩阵不等式 (LMI) 中怎么描述
强烈抗议:近期发现,CSDN博客中的代码在没有登录的情况下无法复制,这种行为已经完全背离了分享的初衷,为分享增加了不必要的麻烦,所以本人决定将本文内容逐步转移到其他平台. 本文新地址:https:// ...
- LMI工具箱之复线性矩阵不等式描述(含程序)
复线性矩阵处理方法:埃尔米特矩阵L(x) =L(x)+jL(x)< 0等价于(Re(L(x)),−Im(L(x)):Im(L(x)),Re(L(x)))<0(Re表实部,Im ...
- 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-附录-LMI工具箱介绍
第3章 回到目录 第5章 附录-LMI工具箱介绍 A.1 线性矩阵不等式及相关术语 A.1 线性矩阵不等式及相关术语
- 《鲁棒控制——线性矩阵不等式处理方法》(俞立)第二、三、四章学习笔记
第二章 线性矩阵不等式 :非零向量, 或者的最大特征值小于0. 是凸集.(设V是数域P上的线性空间,W是V的一个非空子集,如果对W中任意两个向量a,b以及任意0<=c<=1,都有c ...
- 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第4章-控制系统综合
第3章 回到目录 第5章 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 4.1 H∞H_\inftyH∞ 控制 4.1.1 状态反馈 H∞H_\inftyH∞ 控制 4.1.2 ...
- 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第3章-系统性能分析
第1章 回到目录 第3章 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 第1章 引言 第1章 引言 clear clcsyms xi omega k xi = 0.1; omega ...
- 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第2章-线性矩阵不等式
第1章 回到目录 第3章 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 第2章 引言 第2章 引言
- 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第1章-引言
无 回到目录 第2章 跳转链接 章节 跳转链接 第1章 引言 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 跳转链接 第1章 引言 第1章 引言
最新文章
- PTA数据结构与算法题目集(中文)7-36
- 阿里云文件存储和自我管理的云解决方案的TCO比较
- Matlab.NET混合编程调用Figure窗体
- 05-常用IOC注解按照作用分类
- IDEA 引入传统 j2ee spring mvc
- Uninstall Office 2016 for Mac
- zcmu-2129(拓扑排序)
- proj4经纬度bl转换xy_多种坐标系之间的转换之Proj.NET_转载
- TCP keepalive的详解(解惑)
- 【maven】 在 MyEcplise上使用maven搭建Web项目
- 【Java】hashCode和identityHashCode的区别
- 关于遥感图像的控制点片匹配算法的一点想法(二)
- Go语言strings和strconv包
- Python中常用的模块和高级语法整理总结
- 3306π金牌讲师,甜橙金融(翼支付)高级总监张小虎专访
- php 计算工资,php计算税后工资的方法
- 邻接矩阵(Adjacency Matrix)
- Python教你用三行代码批量添加水印
- 操作系统单内核和微内核的区别
- 升级iOS 15后iPhone无法连接App Store怎么办?
热门文章
- 在sql2005中加数据库时出现无法打开物理文件
- ffmpeg函数调用失败--在编译自己的ffmpeg函数的时候显示ffmpeg函数undefined reference to `av_log_set_level(int)‘
- 【CyberSecurityLearning 附】DNS复习演示所有实验
- List<Map<String, Object>>——多层嵌套的数据结构
- SpringBoot中的自定义路径怎么配置/根目录配置方法
- Git 忽略一些文件不加入版本控制
- Git 的安装与初次使用 —— Git 学习笔记 03
- 大数的相加 乘 余 幂
- YOLO-目标检测中计算AP、MAP方法
- 电子科大计算机学院硕士培养方案,电子科技大学制订全日制硕士专业学位研究生培养方案基本要求.doc...