Matlab中LMI(线性矩阵不等式)工具箱使用例子

2023-11-30 16:32

本文主要是介绍Matlab中LMI(线性矩阵不等式)工具箱使用例子,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

我搜出来的都是一些简单的算例,并且机会没有中文教程,我在这里就斗胆把自己的体会写出来,试着给大家提供一点参考。


LMI:Linear Matrix Inequality,就是线性矩阵不等式。
在Matlab当中,我们可以采用图形界面的lmiedit命令,来调用GUI接口,但是我认为采用程序的方式更方便(也因为我不懂这个lmiedit的GUI)。
对于LMI Lab, 其中有三种求解器(solver): feasp,mincx和gevp。
每个求解器针对不同的问题:
feasp:解决可行性问题(feasibility problem),例如:A(x)<b(x)。< font="">

mincx:在线性矩阵不等式的限制下解决最小化问题(Minimization of a linear objective under LMI constraints),例如最小化c'x,在限制条件A(x) < B(x)下。

gevp:解决广义特征值最小化问题。例如:最小化lambda,在0<b(x),a(x)<lamba*b(x)限制条件下。< font="">

要解决一个LMI问题,首要的就是要把线性矩阵不等式表示出来。


对于以下类型的任意的LMI问题


N' * L(X1, . . . , XK) * N < M' * R(X1, . . . , XK) * M


其中X1, . . . , XK是结构已经事先确定的矩阵变量。左侧和右侧的外部因子(outer factors)N和M是给定的具有相同维数的矩阵。
左侧和右侧的内部因子(inner factors)L(.)和R(.)是具有相同结构的对称块矩阵。每一个块由X1, . . . , XK以及它们的转置组合而成形成的。


解决LMI问题的步骤有两个:


1、定义维数以及每一个矩阵的结构,也就是定义X1, . . . , XK。

2、描述每一个LMI的每一项内容(Describe the term content of each LMI)

此处介绍两个术语:

矩阵变量(Matrix Variables):例如你要求解X满足A(x)<b(x),那么x就叫做矩阵< font="">

变量。

项(Terms):项是常量或者变量(Terms are either constant or variable)。

常项(Constant Terms)是确定的矩阵。可变项(Variable Terms)是哪些含有矩阵变

量的项,例如:X*A, X*C'。如果是X*A + X*C',那么记得要把它当成两项来处理。

好了废话不说了,让我们来看个例子吧(下面是一线性时滞系统)。

 

 

针对这个式子,如果存在满足如下LMI的正矩阵(positive-define)的Q,S1,S2和矩阵M,那么我们就称作

 

该系统为H-inf渐进稳定的,并且gammar是上限。

 

该论文的地址为:论文原文地址

H∞ state feedback control for generalized continuous/discrete time-delay system

 

该论文的算例为:

 

 

我们要实现的就利用LMI进行求解,验证论文结果。

 

首先我们要用setlmis([])命令初始化一个LMI系统。

 

接下来,我们就要设定矩阵变量了。采用函数为lmivar

 

语法:X = lmivar(type,struct)

type=1: 定义块对角的对称矩阵。 每一个对角块或者是全矩阵<任意对称矩阵>,标量<单位矩阵的乘积>,或者是零阵。

如果X有R个对角块,那么后面这个struct就应该是一个Rx2阶的的矩阵,在此矩阵中,struct(r,1)表示第r个块的大小,struct(r,2) 表示第r个块的类型<1--全矩阵,0--标量,-1--零阵)。

比如一个矩阵有两个对角块,其中一个是2x2的全对称矩阵,第二个是1x1的一个标量,那么该矩阵变量应该表示为X = lmivar(1, [2 1; 1 0]) 。


type=2: mxn阶的矩阵,只需要写作struct = [m,n]即可。


type=3: 其它类型。针对类型3,X的每一个条目(each entry of X)被定义为0或者是+(-)xn,此处xn代表了第n个决策变量。

那么针对我们的例子,我们如此定义变量:

% Q is a symmetric matrix, has a block size of 2 and this block is symmetric 
Q = lmivar(1, [2 1]);

% S1 a symmeric matrix, size 2 
S1 = lmivar(1, [2 1]);

% S2 is 1 by 1 matrix
S2 = lmivar(1, [1 0]);

% Type of 2, size 1 by 2 
M = lmivar(2, [1 2]);

定义完成变量之后,我们就该用lmiterm来描述LMI中的每一个项了。Matlab的官方文档提示我们,如果要描述一个LMI只需要描述上三角或者下三角元素就可以了,否则会描述成另一个LMI。

When describing an LMI with several blocks, remember to specify only the terms in the blocks on or below the diagonal (or equivalently, only the terms in blocks on or above the diagonal).

语法为:lmiterm(termID,A,B,flag)

termID是一个四维整数向量,来表示该项的位置和包含了哪些矩阵变量。

termID(1)可以为+p或者-p,+p代表了这个项位于第p个线性矩阵不等式的左边,-p代表了这个项位于第p个线性矩阵不等式的右边。注意:按照惯例来讲,左边通常指较小的那边。

termID(2:3):

1、对于外部变量来说,取值为[0,0];

2、对于左边或者右边的内部变量来说,如果该项在(i,j)位置,取值[i,j]

termID(4):

1、对于外部变量,取值为0

2、对于A*X*B,取值X

3、对于A*X'*B,取值-X

flag(可选,值为s):

因为:(A*X*B) + (A*X*B)T = A*X*B + B'*X'*A',所以采用s来进行简写。

比如:针对A*X + X'*A'

我们采用笨方法:

lmiterm([1 1 1 X],A,1) 
lmiterm([1 1 1 -X],1,A')

那么简写就是lmiterm([1 1 1 X],A,1,'s')

接下来我们就看该论文中的算例吧:(1,1)位置是

-Q+Bd*S2*Bd'+Ad*S1*Ad';

我们应该表示为:

% pos in (1, 1)
lmiterm([1 1 1 Q], -1, 1);
lmiterm([1 1 1 S2], Bd, Bd');
lmiterm([1 1 1 S1], Ad, Ad');

其它位置仿照写就行了,不懂了多看帮助文档。

把每一个项都定义以后,要记得

lmis = getlmis;

[tmin, feas] = feasp(lmis)

getlmis:是在完成定义变量和项之后,LMI系统的内部表示就可以通过此命令获得(After completing the description of a given LMI system with lmivar and lmiterm, its internal representation lmisys is obtained with the command)。

feasp是调用feasp求解器,看有没有可行解。feas就是可行解。

下面我把代码贴上去,那些常数矩阵都在此源程序中定义了。

A = [2 1; 0 1];
Ad = [0.2 0.1; 0 0.1];
B1 = [0.1 0.1]';
B2 = [1 1]';
Bd = [0.1 0.1]';

C = [1, 1];
Cd = [0.1, 0.1];

D11 = 0.1;
D12 = 1;
Dd = 0.1;

gammar = 1;

% Initial a LMI system
setlmis([]);

% Define Variables

% Q is a symmetric matrix, has a block size of 2 and this block is symmetric 
Q = lmivar(1, [2 1]);

% S1 a symmeric matrix, size 2 
S1 = lmivar(1, [2 1]);

% S2 is 1 by 1 matrix
S2 = lmivar(1, [1 0]);

% Type of 2, size 1 by 2 
M = lmivar(2, [1 2]);

% Q, S1, S2 > 0
lmiterm([-2 1 1 Q], 1, 1);

lmiterm([-3 1 1 S1], 1, 1);

lmiterm([-4 1 1 S2], 1, 1);

% pos in (1, 1)
lmiterm([1 1 1 Q], -1, 1);
lmiterm([1 1 1 S2], Bd, Bd');
lmiterm([1 1 1 S1], Ad, Ad');

% pos (1, 2)
lmiterm([1 1 2 Q], A, 1);
lmiterm([1 1 2 M], B2, 1);

% pos(1, 3)
lmiterm([1 1 3 0], B1);

% pos(1, 4)
lmiterm([1 1 4 S2], Bd, Dd');
lmiterm([1 1 4 S1], Ad, Cd');


% pos(2, 2)
lmiterm([1 2 2 Q], -1, 1);

% pos(2, 4)
lmiterm([1 2 4 Q], 1, C');

lmiterm([1 2 4 -M], 1, D12');

% pos(2, 5)
lmiterm([1 2 5 -M], 1, 1);

% pos(2, 6)
lmiterm([1 2 6 Q], 1, 1);

% pos(3, 3)
lmiterm([1 3 3 0], -(gammar^2));

% pos(3, 4)
lmiterm([1 3 4 0], D11');

% pos(4, 4)
lmiterm([1 4 4 0], -1);
lmiterm([1 4 4 S1], Cd, Cd');
lmiterm([1 4 4 S2], Dd, Dd');


lmiterm([1 5 5 S2], -1, 1);

lmiterm([1 6 6 S1], -1, 1);

lmis = getlmis;

[tmin, feas] = feasp(lmis)

 

 

运行后,就调用dec2mat把决策变量转化为矩阵形式。

Q = dec2mat(lmis, feas, Q)

Q =

    1.9253   -2.2338
   -2.2338    9.1054

可以看到,和论文中的一样。

这篇关于Matlab中LMI(线性矩阵不等式)工具箱使用例子的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

使用Python开发一个Ditto剪贴板数据导出工具

《使用Python开发一个Ditto剪贴板数据导出工具》在日常工作中,我们经常需要处理大量的剪贴板数据,下面将介绍如何使用Python的wxPython库开发一个图形化工具,实现从Ditto数据库中读... 目录前言运行结果项目需求分析技术选型核心功能实现1. Ditto数据库结构分析2. 数据库自动定位3

Python yield与yield from的简单使用方式

《Pythonyield与yieldfrom的简单使用方式》生成器通过yield定义,可在处理I/O时暂停执行并返回部分结果,待其他任务完成后继续,yieldfrom用于将一个生成器的值传递给另一... 目录python yield与yield from的使用代码结构总结Python yield与yield

Go语言使用select监听多个channel的示例详解

《Go语言使用select监听多个channel的示例详解》本文将聚焦Go并发中的一个强力工具,select,这篇文章将通过实际案例学习如何优雅地监听多个Channel,实现多任务处理、超时控制和非阻... 目录一、前言:为什么要使用select二、实战目标三、案例代码:监听两个任务结果和超时四、运行示例五

python使用Akshare与Streamlit实现股票估值分析教程(图文代码)

《python使用Akshare与Streamlit实现股票估值分析教程(图文代码)》入职测试中的一道题,要求:从Akshare下载某一个股票近十年的财务报表包括,资产负债表,利润表,现金流量表,保存... 目录一、前言二、核心知识点梳理1、Akshare数据获取2、Pandas数据处理3、Matplotl

Java使用Thumbnailator库实现图片处理与压缩功能

《Java使用Thumbnailator库实现图片处理与压缩功能》Thumbnailator是高性能Java图像处理库,支持缩放、旋转、水印添加、裁剪及格式转换,提供易用API和性能优化,适合Web应... 目录1. 图片处理库Thumbnailator介绍2. 基本和指定大小图片缩放功能2.1 图片缩放的

Python使用Tenacity一行代码实现自动重试详解

《Python使用Tenacity一行代码实现自动重试详解》tenacity是一个专为Python设计的通用重试库,它的核心理念就是用简单、清晰的方式,为任何可能失败的操作添加重试能力,下面我们就来看... 目录一切始于一个简单的 API 调用Tenacity 入门:一行代码实现优雅重试精细控制:让重试按我

MySQL中EXISTS与IN用法使用与对比分析

《MySQL中EXISTS与IN用法使用与对比分析》在MySQL中,EXISTS和IN都用于子查询中根据另一个查询的结果来过滤主查询的记录,本文将基于工作原理、效率和应用场景进行全面对比... 目录一、基本用法详解1. IN 运算符2. EXISTS 运算符二、EXISTS 与 IN 的选择策略三、性能对比

使用Python构建智能BAT文件生成器的完美解决方案

《使用Python构建智能BAT文件生成器的完美解决方案》这篇文章主要为大家详细介绍了如何使用wxPython构建一个智能的BAT文件生成器,它不仅能够为Python脚本生成启动脚本,还提供了完整的文... 目录引言运行效果图项目背景与需求分析核心需求技术选型核心功能实现1. 数据库设计2. 界面布局设计3

使用IDEA部署Docker应用指南分享

《使用IDEA部署Docker应用指南分享》本文介绍了使用IDEA部署Docker应用的四步流程:创建Dockerfile、配置IDEADocker连接、设置运行调试环境、构建运行镜像,并强调需准备本... 目录一、创建 dockerfile 配置文件二、配置 IDEA 的 Docker 连接三、配置 Do

Android Paging 分页加载库使用实践

《AndroidPaging分页加载库使用实践》AndroidPaging库是Jetpack组件的一部分,它提供了一套完整的解决方案来处理大型数据集的分页加载,本文将深入探讨Paging库... 目录前言一、Paging 库概述二、Paging 3 核心组件1. PagingSource2. Pager3.