jjzjj

LMI(线性矩阵不等式)、schur补 学习笔记

烟花小客 2023-05-27 原文

1.掌握求解LMI的目的(以及整套流程)

   掌握matlab中LMI工具箱的函数使用

2.掌握schurs补

--------------------------------------------------

你的点赞是我更新的动力!

--------------------------------------------------

一.掌握求解LMI的目的(以及整套流程)

    掌握matlab中LMI工具箱的函数使用

1.首先初始化

setlmis([])      %注意这只是定义了一个矩阵不等式系统,并没有定义矩阵

2.定义矩阵变量

limvar(在LMI问题中指定矩阵变量)函数,函数格式
X = lmivar(type,struct)

type为矩阵格式

type = 1 对角块对称矩阵格式,每个对角块都是全矩阵(任意对称矩阵),标量(单位矩阵的倍数)或相同的零。

type = 2m*n任意矩阵格 struct =[m n]


struct定义对角块矩阵的格式,

如有r个对角块,struct就是r x 2为的矩阵。
eg:X0 = limvar(1,[2 1;1 0]) ,[2 1]表示2x2的满阵,[1 0]表示1x1的标量


参考:https://blog.csdn.net/weixin_44051006/article/details/99754816

3.定义矩阵不等式

lmiterm([第几个不等式矩阵 行坐标 列坐标 要求的未知矩阵] , 左乘矩阵,右乘矩阵,'s'是否对称转置);

注意:

所有的工具箱中始终以‘<’   小于号来计算lmiterm项(不是用‘>’ 大于号来计算)

小于号左边标记为正号,小于号右边为负号

eg1.1.

S>I   在工具箱中的表示代码为:

(要将大于号换成小于号,即表示为I<S)

lmiterm([3,1,1,0],1)%为正3

lmiterm([-3,1,1,S],1,1)%为负3

eg1.2.

4.实战写代码

eg.1:

出个题,按照下面给出的参数,在matlab中用工具箱搭建出相对应的代码

(先自己思考,再看答案掌握更加深刻)

其中:alpha=0.2;

beta=sqrt(alpha*(1-delta));

 答案:(下面附上本例子的代码。)

function [Q1,K]=LMI_learning0()
clc;
close all;
clear all;
%{
程序功能:求解LMI可行解
2022.2.17
%}

%% 参数初始化
rho=0.9;
delta=0.0526;
alpha=0.2;
beta=sqrt(alpha*(1-delta));
A=[-1 3.5;-0.8 -0.5];
B=[-1 1;2 -1];
C=[1 -1;1 -1];
D=[-0.12 0.2;0.1 -0.1];
E=[-0.21 2.5;0.2 -0.3];
t=1;
Ft=diag([sin(t),cos(t)]);%对角矩阵

M1=D*Ft*E;
M2=B-D*Ft*E

u=alpha*(1-delta)
v=-beta*(1-beta)
w=(1-alpha)*(1-delta)
%% 描述矩阵不等式
%初始化LMI
setlmis([]);

%定义变量
n=2;
Q1=lmivar(1,[n,1]);%1表示为对角矩阵  [2,1]表示二阶满块矩阵
K=lmivar(1,[n,1]);

%逐个描述矩阵中每一个单元
lmiterm([1,1,1,Q1],-1,1)
%第(一行二列)的0矩阵不需要写就是0矩阵
lmiterm([1,1,3,0],A')%第(一行三列)的加法要分开算
%0表示外部变量
lmiterm([1,1,3,-K],u,M1')%-K表示转置
lmiterm([1,1,4,-K],v,M1')
lmiterm([1,2,2,0],-1)%表示单位矩阵I
lmiterm([1,2,3,-K],w,M2')
lmiterm([1,2,4,-K],-v,M2')
lmiterm([1,3,3,inv(Q1)],-1,1)
lmiterm([1,4,4,inv(Q1)],-1,1)

%另外两个矩阵表示Q1>0,K>0,(即为正定矩阵)
%也即0<Q1 , 0<K
lmiterm([-2,1,1,Q1],1,1)
lmiterm([-3,1,1,K],1,1)

lmisys=getlmis;%获取LMI信息

%% 求解LMI
[tmin,xfeas]=feasp(lmisys);%用feasp求解器求解

if(tmin<0)%小于0才有解
    disp('feasible!!!!!!!!!!!!!');
    Q1=dec2mat(lmisys,xfeas,Q1);%将Q1转换成可以识别的mat类型
    
    K=dec2mat(lmisys,xfeas,K);
else
    Q1=nan;
    K=nan;
end

end

参考:鲁棒控制理论(一)LMI矩阵不等式 - 知乎

          鲁棒控制理论(二)LMI矩阵不等式工具箱 - 知乎

          Matlab和控制理论(八)线性矩阵不等式LMI工具箱的使用_哔哩哔哩_bilibili

eg2.

主要看代码中的注释即可

Je=0.9145;
Jp=0.0364;
Kf=0.1188;
La=0.66;
Lh=0.178;

A=[0 0 1 0;
   0 0 0 1; 
   0 0 0 0;
   0 0 0 0];

B=[0 0;
    0 0; 
   (Kf*La)/Je (Kf*La)/Je;
   (Kf*Lh)/Jp -(Kf*Lh)/Jp];

C=[1 0 0 0;0 1 0 0];

N=[C;C*A];
M=[B A*B];

n=rank(N)
m=rank(M)

alpha=-10;
r=5;

setlmis([])
P=lmivar(1,[4 1]);%P为4*4
W=lmivar(2,[4 2]);%W为4*2
%% 
lmiterm( [1 1 1 P],1,A,'s');%PA+A.T*P
lmiterm( [1 1 1 W],-1,C,'s');%-WC-C.T*W.T
%{
矩阵为
[
    PA+A.T*P-WC-C.T*W.T<0
]
%}

lmiterm([ 2 1 1 P] , -1, 1);%-P
lmiterm([ 2 1 2 P] , 1, A);%PA
lmiterm([ 2 1 2 W] , -1, C);%-WC
lmiterm([ 2 1 2 P] , -alpha, 1);%-alpha*P
lmiterm([ 2 2 2 P] , -r^2, 1);%-r^2*P

%{
矩阵为
[
    -P , PA-WC--alpha*P;       <0
    0  , -r^2*P
]
%}
%%
lmisys=getlmis;

[tmin,xfeas]=feasp(lmisys);
P=dec2mat(lmisys,xfeas,P);
W=dec2mat(lmisys,xfeas,W);
L=pinv(P)*W

二.掌握schurs补

1.先讲一下下面的方法容易记住

2.再讲schur补的详细数学证明:(参考《鲁棒控制》——俞立  著)

3.举个例子

eg.如果想要下列不等式转换为线性矩阵不等式怎么办?(先自己思考,再看答案掌握更加深刻)

其中

思路:在matlab的LMI工具箱只能解”矩阵不等式“,所以要将上述不等式转化为”矩阵不等式“才可以用工具箱求解,用一个谚语来形容更好理解——换汤不换药(同样的不等式,只不过换成了矩阵形式)

解:(我自己写了一下,打字太麻烦,字丑见谅)

参考:2021-05-19 Schur补引理及证明_你这瓜保熟吗-CSDN博客_schur补引理

           舒尔补/schur补_颹蕭蕭-CSDN博客_舒尔补引理矩阵小于0

           matlab里LMI工具问题,如何根据schur补性质等价成矩阵不等式 – MATLAB中文论坛

           Matlab中的LMI工具箱的研究与使用

(1161条消息) 矩阵的舒尔补(Schur complement)_百把人的博客-CSDN博客_舒尔补 

有关LMI(线性矩阵不等式)、schur补 学习笔记的更多相关文章

  1. 旋转矩阵的几何意义 - 2

    点向量坐标矩阵的几何意义介绍旋转矩阵的几何含义之前,先介绍一下点向量坐标矩阵的几何含义点:在一维空间下就是一个标量,如同一条直线上,以任意某一个位置为0点,以一定的尺度间隔为1,2,3...,相反方向为-1,-2,-3...;如此就形成了一维坐标系,这时候任何一个点都可以用一个数值表示,如点p1=5,即即从原点出发沿着x轴正方向移动5个尺度;点p2=-3,负方向移动3个尺度;     在一维坐标系上过原点做垂直于一维坐标系的直线,则形成了二维坐标系,此时描述一个点需要两个数值来表示点p3=(3,2),即从原点出发沿着x轴正方向移动3个尺度,在此基础上沿着y轴正方向移动两个尺度的位置就是点p3。

  2. LC滤波器设计学习笔记(一)滤波电路入门 - 2

    目录前言滤波电路科普主要分类实际情况单位的概念常用评价参数函数型滤波器简单分析滤波电路构成低通滤波器RC低通滤波器RL低通滤波器高通滤波器RC高通滤波器RL高通滤波器部分摘自《LC滤波器设计与制作》,侵权删。前言最近需要学习放大电路和滤波电路,但是由于只在之前做音乐频谱分析仪的时候简单了解过一点点运放,所以也是相当从零开始学习了。滤波电路科普主要分类滤波器:主要是从不同频率的成分中提取出特定频率的信号。有源滤波器:由RC元件与运算放大器组成的滤波器。可滤除某一次或多次谐波,最普通易于采用的无源滤波器结构是将电感与电容串联,可对主要次谐波(3、5、7)构成低阻抗旁路。无源滤波器:无源滤波器,又称

  3. CAN协议的学习与理解 - 2

    最近在学习CAN,记录一下,也供大家参考交流。推荐几个我觉得很好的CAN学习,本文也是在看了他们的好文之后做的笔记首先是瑞萨的CAN入门,真的通透;秀!靠这篇我竟然2天理解了CAN协议!实战STM32F4CAN!原文链接:https://blog.csdn.net/XiaoXiaoPengBo/article/details/116206252CAN详解(小白教程)原文链接:https://blog.csdn.net/xwwwj/article/details/105372234一篇易懂的CAN通讯协议指南1一篇易懂的CAN通讯协议指南1-知乎(zhihu.com)视频推荐CAN总线个人知识总

  4. 深度学习部署:Windows安装pycocotools报错解决方法 - 2

    深度学习部署:Windows安装pycocotools报错解决方法1.pycocotools库的简介2.pycocotools安装的坑3.解决办法更多Ai资讯:公主号AiCharm本系列是作者在跑一些深度学习实例时,遇到的各种各样的问题及解决办法,希望能够帮助到大家。ERROR:Commanderroredoutwithexitstatus1:'D:\Anaconda3\python.exe'-u-c'importsys,setuptools,tokenize;sys.argv[0]='"'"'C:\\Users\\46653\\AppData\\Local\\Temp\\pip-instal

  5. ruby - 我正在学习编程并选择了 Ruby。我应该升级到 Ruby 1.9 吗? - 2

    我完全不是程序员,正在学习使用Ruby和Rails框架进行编程。我目前正在使用Ruby1.8.7和Rails3.0.3,但我想知道我是否应该升级到Ruby1.9,因为我真的没有任何升级的“遗留”成本。缺点是什么?我是否会遇到与普通gem的兼容性问题,或者甚至其他我不太了解甚至无法预料的问题? 最佳答案 你应该升级。不要坚持从1.8.7开始。如果您发现不支持1.9.2的gem,请避免使用它们(因为它们很可能不被维护)。如果您对gem是否兼容1.9.2有任何疑问,您可以在以下位置查看:http://www.railsplugins.or

  6. ruby - 我如何学习 ruby​​ 的正则表达式? - 2

    如何学习ruby​​的正则表达式?(对于假人) 最佳答案 http://www.rubular.com/在Ruby中使用正则表达式时是一个很棒的工具,因为它可以立即将结果可视化。 关于ruby-我如何学习ruby​​的正则表达式?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/1881231/

  7. 深度学习12. CNN经典网络 VGG16 - 2

    深度学习12.CNN经典网络VGG16一、简介1.VGG来源2.VGG分类3.不同模型的参数数量4.3x3卷积核的好处5.关于学习率调度6.批归一化二、VGG16层分析1.层划分2.参数展开过程图解3.参数传递示例4.VGG16各层参数数量三、代码分析1.VGG16模型定义2.训练3.测试一、简介1.VGG来源VGG(VisualGeometryGroup)是一个视觉几何组在2014年提出的深度卷积神经网络架构。VGG在2014年ImageNet图像分类竞赛亚军,定位竞赛冠军;VGG网络采用连续的小卷积核(3x3)和池化层构建深度神经网络,网络深度可以达到16层或19层,其中VGG16和VGG

  8. 机器学习——时间序列ARIMA模型(四):自相关函数ACF和偏自相关函数PACF用于判断ARIMA模型中p、q参数取值 - 2

    文章目录1、自相关函数ACF2、偏自相关函数PACF3、ARIMA(p,d,q)的阶数判断4、代码实现1、引入所需依赖2、数据读取与处理3、一阶差分与绘图4、ACF5、PACF1、自相关函数ACF自相关函数反映了同一序列在不同时序的取值之间的相关性。公式:ACF(k)=ρk=Cov(yt,yt−k)Var(yt)ACF(k)=\rho_{k}=\frac{Cov(y_{t},y_{t-k})}{Var(y_{t})}ACF(k)=ρk​=Var(yt​)Cov(yt​,yt−k​)​其中分子用于求协方差矩阵,分母用于计算样本方差。求出的ACF值为[-1,1]。但对于一个平稳的AR模型,求出其滞

  9. 华为OD机试真题 C++ 实现【带传送阵的矩阵游离】【2023 Q2 | 200分】 - 2

            所有题目均有五种语言实现。C实现目录、C++实现目录、Python实现目录、Java实现目录、JavaScript实现目录题目n行m列的矩阵,每个位置上有一个元素你可以上下左右行走,代价是前后两个位置元素值差的绝对值.另外,你最多可以使用一次传送阵(只能从一个数跳到另外一个相同的数)求从走上角走到右下角最少需要多少时间。输入描述:第一行两个整数n,m,分别代表矩阵的行和列。后面n行,每行m个整数,分别代表矩阵中的元素。输出描述:一个整数,表示最少需要多少时间。

  10. Unity Shader 学习笔记(5)Shader变体、Shader属性定义技巧、自定义材质面板 - 2

    写在之前Shader变体、Shader属性定义技巧、自定义材质面板,这三个知识点任何一个单拿出来都是一套知识体系,不能一概而论,本文章目的在于将学习和实际工作中遇见的问题进行总结,类似于网络笔记之用,方便后续回顾查看,如有以偏概全、不祥不尽之处,还望海涵。1、Shader变体先看一段代码......Properties{ [KeywordEnum(on,off)]USL_USE_COL("IsUseColorMixTex?",int)=0 [Toggle(IS_RED_ON)]_IsRed("IsRed?",int)=0}......//中间省略,后续会有完整代码 #pragmamulti_c

随机推荐