理学硕士学位论文
李兴伟(宋体小3号字,居中)
哈尔滨理工大学(楷体小2号字,居中)
2016年3月
国内图书分类号:O231
理学硕士学位论文
基于不同状态饱和函数的连续线性系统的稳定性分析(黑体2号字,居中)
硕士研究生:导师:申请学位级别:学硕士学科,专业:所在单位:应用科学学院答辩日期:2016年3月授予学位单位:哈尔滨理工大学
ClassifiedIndex:O213(TimeNewRoman小4号字)
DissertationfortheMasterDegreeinScience(TimeNewRoman小2号字,居中)
StabilityAnalysisofContinuousLinearSystemsBasedonDifferentStateSaturationFunctions(TimeNewRoman2号字加粗,居中)
Candidate:Supervisor:AcademicDegreeAppliedfor:MasterofScienceSpecialty:AppliedMathematicsDateofOralExamination:March,2016University:HarbinUniversityofScienceand
Technology哈尔滨理工大学硕士学位论文原创性声明
本人郑重声明:此处所提交的硕士学位论文《》,是本人在导师指导下,在哈尔滨理工大学攻读硕士学位期间独立进行研究工作所取得的成果.据本人所知,论文中除已注明部分外不包含他人已发表或撰写过的研究成果.对本文研究工作做出贡献的个人和集体,均已在文中以明确方式注明.本声明的法律结果将完全由本人承担.
作者签名:日期:年月日
哈尔滨理工大学硕士学位论文使用授权书
《》系本人在哈尔滨理工大学攻读硕士学位期间在导师指导下完成的硕士学位论文.本论文的研究成果归哈尔滨理工大学所有,本论文的研究内容不得以其它单位的名义发表.本人完全了解哈尔滨理工大学关于保存,使用学位论文的规定,同意学校保留并向有关部门提交论文和电子版本,允许论文被查阅和借阅.本人授权哈尔滨理工大学可以采用影印,缩印或其他复制手段保存论文,可以公布论文的全部或部分内容.
本学位论文属于
保密,在年解密后适用授权书.
不保密.
(请在以上相应方框内打√)
作者签名:日期:年月日
导师签名:日期:年月日
摘 要,研究不确定状态饱和连续线性系统的稳定性,
分别对全状态饱和与部分状态饱和情况讨论系统的稳定性条件.检测设不确定性为凸多面体结构,应用改进的凸域法将状态饱和函数表示成线性函数的凸组合,利用Lyapunov方法给出系统平衡点全局渐近稳定的充分性判据.研究判据的线性矩阵不等式(LMI)表示方法,设计判定系统平衡点全局渐近稳定的迭代算法,并通过数值算例验证迭代算法的有效性.(摘 要内容用宋体小4号字,但其中的字母及英文用TimesNewRoman字体,句号用圆
关 键 词(黑体小4号字)续线性系统,状态饱和函数,凸多面体结构,全局渐近稳定(3~5个关 键 词,用分号隔开,宋体小4号字)
StabilityAnalysisofContinuousLinearSystemsBasedonDifferentStateSaturationFunctions(TimeNewRoman小2号字加粗,居中,实词首字母大写)
Abstract(TimeNewRoman小2号字加粗,居中,首字母大写)
Thestatesaturationisasortofmajorandmonformamongnonlinearitiesincontrolsystems.Thestatesaturationexistonlyinmanypracticalsystemsandhasanimportantimpactonthestabilityofthecontrolsystems.Alargeamountoftherelatedresultshereceivedconsiderableattentionduetotheirwideapplicationinmanyfields.Thestabilityanalysisofthesystemswithstatesaturationnotonlyhassignificanceinpracticalapplication,butalsohaschallengeintheoreticalresearch.Moreover,thepaperisconcernedwiththestabilityofthreeaspectsofthecontrolsystemswithstatesaturation.
1.Thestatesaturationfunctionisgivenbyh(.)andthestabilityanalysisofthecontinuouslinearsystemswithstatesaturationisstudied.Tobespecific,thestabilityconditionorthefullstatesaturationsystemandthepartialstatesaturationsystemareconsideredrespectively.Theuncertainmatricesareassumedtohetheconvexpolyhedronstructure.Usingtheimprovedconvexdomainmethod,thestatesaturationfunctionisconvertedintotheconvexbinationofthelinearfunctions.ByapplyingtheLyapunovapproach,thesufficientconditionisproposedtoguaranteetheglobalasymptoticstabilityofthecontinuouslinearsystemwithstatesaturation.Subsequently,thecriterionisconvertedintothelinearmatrixinequalities(LMIs)whichcanbeeasilytestedbyusingthestandardnumericalsoftware.Aniterativealgorithmisdesignedtodeterminegloballyasymptoticalstabilityofthesystemattheequilibriumpoint.Finally,thenumericalexampleisgiventoshowtheeffectivenessoftheproposediterativealgorithm.(TimeNewRoman小4号字,采用英文下的标点符号,英文标点符号后加一空格)
Keywords(TimeNewRoman小4号字加粗)statesaturationfunction,convexpolyhedronstructure,globallyasymptoticalstability(3~5个关 键 词,用逗号隔开,TimesNewRoman小4号字,均小写)
目录摘 要I
AbstractII
第1章绪论1
1.1课题来源和研究的目的及意义1
1.1.1课题来源1
1.1.2课题研究的目的及意义1
1.2国内外研究发展状况2
1.2.1状态饱和连续系统2
1.2.2状态饱和离散系统5
1.3本文的主要内容8
1.3.1不确定状态饱和系统的鲁棒稳定性8
1.3.2三维状态饱和系统的稳定性10
第2章不确定状态饱和系统的鲁棒稳定性12
2.1系统描述及相关知识12
2.2全局渐近稳定性判据15
2.2.1全状态饱和线性系统15
2.2.2部分状态饱和线性系统19
2.3数值算例22
2.4本章小结24
第3章三维状态饱和线性系统的稳定性25
3.1一般系统描述25
3.2三维系统的稳定性条件27
3.3本章小结33
结论34
;了新的保守性更小的系统大范围渐近稳定的充分条件,在此基础上给出了系统大范围渐稳定的迭代线性矩阵不等式(LMl)算法,并将该算法用于系统控制器的设计[1].对于饱和函数为的状态饱和控制系统
(1-3)
和
(1-4)
2016年和对系统和进行了研究,动态反馈控制器[12,13].
对于饱和函数为的状态饱和平面连续时间系统
(1-5)
和
(1-6)
1996年,SABERIA和对平面系统的稳定性进行了研究,判定系统全局渐近稳定的充分必要条件,没有给出证明过程[].等2000年又对系统进行了深入研究,举出一个有趣的例子验证了如果A不稳定系统仍然有一个有界的大范围吸引域[].
1.2.2状态饱和离散系统(黑体4号字)
对于离散状态饱和系统
(1-7)
1992年LIUDERONG和AN对系统的全局渐近稳定性进行了研究,对于带有部分非线性状态饱和离散时间系统而后又将此结论应用到数字滤波器,得出使数字滤波器极限环不受限的充分条件[].等
对于离散部分状态饱和系统
,1994年,L和AN对系统应用一正定且径向无界的Lyapunov函数来建立结论全局渐稳定的充分条件[2].等
对于离散全状态饱和系统及部分状态饱和系统
(1-9)
和
(1-10)
1998年和对由系统描述的数字滤波器零输入溢出震荡估计的两种已有方法进行了比较[].等
对于含有控制输入的离散状态饱和系统
(1-11)
和
(1-12)
2016年和对系统和的稳定性进行了分析,类似于[12]的处理方法,此文对两种状态饱和系统分别给出了含有状态饱和闭环系统的原点吸引域的LMI估计方法,在这个方法的基础上用LMI算法给出了动态输出反馈控制器的设计方法,用此方法设计出的控制器保证了闭环系统原点吸引域尽可能最大[等
1.3本文的主要内容(黑体小3号字)
1.3.1不确定状态饱和系统的鲁棒稳定性(黑体4号字)
讨论不确定状态饱和线性系统的鲁棒稳定性问题,系统描述如下:
(1)考虑不确定全状态饱和线性系统:
式中,状态,矩阵,且为已知矩阵饱和函数定义为
且
由不确定性的凸多面体结构有:
式中,
(2)考虑不确定部分状态饱和线性系统:
式中状态
矩阵和是适当维数的实矩阵不确定矩阵满足如下凸多面体结构不确定性,,
,,
,,
,,
饱和函数为+,-
式中,,,,并且
不确定状态饱和系统的鲁棒稳定性(黑体小2号字,居中)
近些年来,在很多实际的领域中例如控制系统,信号处理以及人神经网络,系统的设计过程都要考虑到所以状态饱和系统近年来受到了广泛的关注,等
2.1系统描述及相关知识(黑体小3号字)
记集合表示中的超立方体表示矩阵的第行表示集合,矩阵且不确定矩阵满足如下凸多面体结构不确定性为已知矩阵饱和函数定义为(2-3)
且
引理1[5]25(宋体小4号字,数字为TimeNewRoman,加粗)全状态饱和系统以关于原点对称的两点为起始点的状态轨迹关于原点对称
检测设系统的所有轨迹都在内部.如果存在函数使得
,
和
,
其中,均为K类函数,则系统在原点全局渐近稳定(即,原点局部渐近稳定,且吸引域是).
定义2.1[10]1962给定向量和集合,如果对于,有()成立,那么集合被称作向量的负集合(半负集合),类似地,一个集合被称作向量的正集合(半正集合),如果对于,有().
定义2.2[10]1962给定向量,和集合,如果对于满足的都有成立,那么称向量的半负集合覆盖向量的半正集合.
2.2全局渐近稳定性判据(黑体小3号字)
2.2.1全状态饱和线性系统(黑体4号字)
对系统(2-1),定义单位超立方体的边界为,其中
记
则.
令为对角元素为1或者0的对角矩阵的集合,则有个元素,并记为中的元素定义,易见.
定理2.1对系统(2-1),如果存在矩阵,在中的半负集合覆盖的半正集合,,则
(2-6)
其中,
证("证"字前面空两个格书写,"证"字后面空一个格后书写证明的内容,以下均同)
(证明完成后另起一行以符号"□"结束,且此符号靠右边线对齐)□
定理2.2设矩阵()是(2-7)
(2-8)
,,
且在中的半负集合覆盖的半正集合,,则系统(2-1)在原点处全局渐近稳定.其中,
证
□
算法2.1判断系统(2-1)的全局渐近稳定性.
第一步,等
第二步,等
2.2.2部分状态饱和线性系统(黑体4号字)
对系统(2-4),状态变量定义区域的边界为,其中
记
定理2.3如果存在矩阵,,,在中的半负集合覆盖的半正集合,,那么
证如果未达到饱和状态,则
□
定理2.4设矩阵等是稳定的.如果存在对称正定矩阵和,矩阵,,和,使得
(2-11)
(2-12)
等(2-13)
且在中的半负集合覆盖的半正集合,,则系统(2-4)在原点处全局渐近稳定.其中,,,
证取Lyapunov函数,其中和为对称正定矩阵,等
□
算法2.2判断系统(2-4)的全局渐近稳定性.
第一步,等
第二步,等
2.3数值算例(黑体小3号字)
例1考虑全状态饱和系统设系统中的矩阵参数为,,,
例2考虑部分状态饱和系统设系统中的矩阵参数为,,
,,
由矩阵的定义的符号正负的可能见表1.
表21的正负Table2-1Thesignof
情况1++++++2---+++3+----+4-++--+5++-+--6--++--7+-+-+-8-+--+-(表格不加左,右边线.表格中最上和最下横线应加粗(1.5磅)题置于,用中,英文两种文字居中书写,中文在上,要求用5号字
2.4本章小结(黑体小3号字)
本章对不确定全状态饱和及部分状态饱和连续线性系统分别进行了研究,讨论系统平衡点的全局渐近稳定性.等
三维状态饱和线性系统的稳定性(黑体小2号字,居中)
多年来很多学者都对饱和函数为的连续状态饱和控制系统其进行了研究,二维状态饱和控制系统由于其复杂度相对较小的优势,得到了学者们的青睐,对于二维情况下状态饱和控制系统平衡点的全局稳定性的研究,学者们已经得到了很多优秀细致的结论等
3.1一般系统描述(黑体小3号字)
考虑状态饱和连续线性系统:
(3-1)
其中,,如果,那么,这里是饱和函数,对于每个
(3-2)
3.2三维系统的稳定性条件(黑体小3号字)
模型(3-3)的二维情况已获得了很多研究结果,下面介绍两种判定系统平衡点全局渐近稳定的充分条件.
判定条件一:
引理3.1[16]112令为模型(3-3)(或(3-1)),检测设存在一个正定对角阵
,使Lyapunov方程
(3-4)
成立,这里为负定的,那么是系统的一个全局渐近稳定的平衡点.
推论3.1[16]115令为二维模型(3-3),如果是Hurwitz矩阵,并且它的主对角线元素都是负的,那么是系统的一个全局渐近稳定的平衡点.
判定条件二:
引理3.3[16]157令为模型(3-3),检测设对于,是i-行对角占优的,那么是一个全局吸引域并且是一个正不变集.
推论3.2[16]170令为二维模型(3-3),检测设是Hurwitz矩阵,并且对于,是i-行对角占优的,那么是的全局渐近稳定的平衡点.
定理3.1令为三维模型(3-3),如果是Hurwitz矩阵且,
且是行对角占优,其中
(3-5)
或是行对角占优,其中
(3-6)
或是行对角占优,其中
(3-7)
那么的所有轨迹都是有界的.
证等
□
定理3.2令为三维模型(3-3),如果是Hurwitz矩阵且,且是行对角占优,其中
(3-12)
或是行对角占优,其中
(3-13)
或是行对角占优,其中
(3-14)
那么在区域中没有闭轨迹.
证
(3-17)
□
根据定理3.2,只要其中的三个条件之一被满足,则系统的轨迹都会保持在状态的定义域之内,如图3-1~图3-3.
图3-1平面图3-2平面图3-3平面
Fig.3-1PlaneFig.3-2PlaneFig.3-lane
(图与图号和图题在一个页面,图号和图题置于图下,用中,英文两种文字居中书写,中文在上,要求用5号字等.
结论
本文主要研究了三个方面的问题: