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

2023-12-05 19:40

本文主要是介绍LMI(线性矩阵不等式)、schur补 学习笔记,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

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*Eu=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);
elseQ1=nan;K=nan;
endend

参考:鲁棒控制理论(一)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;       <00  , -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.先讲一下下面的方法容易记住

M=\left[\begin{array}{ll}A & B \\ C & D\end{array}\right]_{n \times n}\

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

3.举个例子

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

\begin{align*} \min _{X} \operatorname{Tracc}(X) \end{align*}

s.t. A^{\mathrm{T}} X+X A+X B B^{\mathrm{T}} X+\boldsymbol{Q}<\mathbf{0}\

其中X^{\mathrm{T}}=X

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

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

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

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

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

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

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

这篇关于LMI(线性矩阵不等式)、schur补 学习笔记的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/458895

相关文章

HarmonyOS学习(七)——UI(五)常用布局总结

自适应布局 1.1、线性布局(LinearLayout) 通过线性容器Row和Column实现线性布局。Column容器内的子组件按照垂直方向排列,Row组件中的子组件按照水平方向排列。 属性说明space通过space参数设置主轴上子组件的间距,达到各子组件在排列上的等间距效果alignItems设置子组件在交叉轴上的对齐方式,且在各类尺寸屏幕上表现一致,其中交叉轴为垂直时,取值为Vert

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya(不是本人,claude AI)在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容: 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

学习hash总结

2014/1/29/   最近刚开始学hash,名字很陌生,但是hash的思想却很熟悉,以前早就做过此类的题,但是不知道这就是hash思想而已,说白了hash就是一个映射,往往灵活利用数组的下标来实现算法,hash的作用:1、判重;2、统计次数;

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

【机器学习】高斯过程的基本概念和应用领域以及在python中的实例

引言 高斯过程(Gaussian Process,简称GP)是一种概率模型,用于描述一组随机变量的联合概率分布,其中任何一个有限维度的子集都具有高斯分布 文章目录 引言一、高斯过程1.1 基本定义1.1.1 随机过程1.1.2 高斯分布 1.2 高斯过程的特性1.2.1 联合高斯性1.2.2 均值函数1.2.3 协方差函数(或核函数) 1.3 核函数1.4 高斯过程回归(Gauss

【学习笔记】 陈强-机器学习-Python-Ch15 人工神经网络(1)sklearn

系列文章目录 监督学习:参数方法 【学习笔记】 陈强-机器学习-Python-Ch4 线性回归 【学习笔记】 陈强-机器学习-Python-Ch5 逻辑回归 【课后题练习】 陈强-机器学习-Python-Ch5 逻辑回归(SAheart.csv) 【学习笔记】 陈强-机器学习-Python-Ch6 多项逻辑回归 【学习笔记 及 课后题练习】 陈强-机器学习-Python-Ch7 判别分析 【学

系统架构师考试学习笔记第三篇——架构设计高级知识(20)通信系统架构设计理论与实践

本章知识考点:         第20课时主要学习通信系统架构设计的理论和工作中的实践。根据新版考试大纲,本课时知识点会涉及案例分析题(25分),而在历年考试中,案例题对该部分内容的考查并不多,虽在综合知识选择题目中经常考查,但分值也不高。本课时内容侧重于对知识点的记忆和理解,按照以往的出题规律,通信系统架构设计基础知识点多来源于教材内的基础网络设备、网络架构和教材外最新时事热点技术。本课时知识

hdu 4565 推倒公式+矩阵快速幂

题意 求下式的值: Sn=⌈ (a+b√)n⌉%m S_n = \lceil\ (a + \sqrt{b}) ^ n \rceil\% m 其中: 0<a,m<215 0< a, m < 2^{15} 0<b,n<231 0 < b, n < 2^{31} (a−1)2<b<a2 (a-1)^2< b < a^2 解析 令: An=(a+b√)n A_n = (a +

线性代数|机器学习-P36在图中找聚类

文章目录 1. 常见图结构2. 谱聚类 感觉后面几节课的内容跨越太大,需要补充太多的知识点,教授讲得内容跨越较大,一般一节课的内容是书本上的一章节内容,所以看视频比较吃力,需要先预习课本内容后才能够很好的理解教授讲解的知识点。 1. 常见图结构 假设我们有如下图结构: Adjacency Matrix:行和列表示的是节点的位置,A[i,j]表示的第 i 个节点和第 j 个