1. 引言
在控制系统的研究分析中,稳定性是最基本也是最重要的问题,所以近些年来稳定性成为国内外许多学者们研究的科研重点。在对控制系统进行稳定性分析时,其中应用较为广泛的Lyapunov稳定,BIBO稳定等稳定性概念关注的是无限时间区间内的系统行为 [1] 。但在实际应用中,人们关注的是系统在某一有限时间区间内的暂态行为。为了满足系统在有限时间内达到稳定的性能,20世纪60年代,Weiss和Infante首次提出了针对短时间稳定性(即有限时间稳定性)的概念,文献 [2] 总结了有限时间稳定控制的发展历程,提出了线性、非线性以及随机系统有限时间控制问题的分析和设计方法。文献 [3] 给出了有限时间稳定最优反馈控制的定义,提出使系统部分状态有限时间稳定的最优反馈控制器的设计方法。文献 [4] 针对线性时变系统输出反馈有限时间控制问题给出了有限时间稳定的充分条件。文献 [5] 针对线性系统有限时间稳定鲁棒控制问题,引入线性矩阵不等式方法,提出了状态反馈有限时间镇定控制算法。文献 [6] 针对含外部扰动的线性系统,提出使闭环系统有限时间有界的状态反馈控制器的设计方法,文献 [7] 针对网络系统,设计了系统有限时间鲁棒稳定控制器。有限时间稳定的概念还被推广到
控制 [8] 、容错控制 [9] 、随机控制 [10] 等。
预测控制是一类应用广泛的先进控制算法,其稳定性一直是学术界关注的热点 [11] ,但针对有限时间稳定的预测控制的研究并不多见。
本文研究离散系统有限时间稳定的预测控制问题,给出状态反馈预测控制器的设计方案。基于线性矩阵不等式方法,研究优化问题可行解存在的条件,证明优化问题在给定的初始条件下闭环系统是有限时间稳定的。通过仿真实验验证所提方法的有效性。
2. 问题描述
考虑如下一类离散时间线性时不变系统:
(1)
其中,
为系统的状态,
为系统的初始状态,
为控制输入,
为系统输出,
,
及
为相应维数的常数矩阵。
对于系统(1),选择有限时域优化性能指标为
(2)
其中,给定的加权矩阵
、
。
是
时刻的状态预测值,
是
时刻使性能指标最小的控制信号,
为控制时域。
本文的目的是针对系统(1),设计含预测的状态反馈控制器
(3)
保证系统在有限时间内趋于稳定。
结合(1)式和(3)式,得闭环系统
(4)
在控制区域
内选择如下Lyapunov函数
,同时加入终端等式约束
,则有
。
不妨假设,在每一采样时刻
,有
将上述不等式从
叠加到
从而得到:
(5)
此时可知,
为性能指标
的一个上界,由此可将求性能指标最小化问题进一步转化为对上界
的最小化问题。
定义1 [12] :如下离散时间线性时不变系统
(6)
满足
是有限时间稳定的,如果
时,有
成立。
其中:
是常数矩阵,
是系统状态,
是系统的初始状态。
为给定常数
,
为给定正定矩阵,
为给定的正整数。
定义2:对于系统(1)及闭环系统(4),给定正常数
、
(
)和正定矩阵
,当
时,都有
成立,则称闭环系统(4)是关于
是有限时间稳定的。
引理1 [12] :系统(6)有限时间稳定等价条件
1) 系统(6)关于
是有限时间稳定的
2) 对于
,
成立
3) 对于
,若
;
。
则
;
4) 对于
,存在对称矩阵值函数
满足:
,
;
;
。
引理2 [13] :考虑对称矩阵
,其中
是方阵。
以下三个条件是等价的:
1)
;
2)
,
;
3)
,
。
3. 有限时间稳定状态反馈
解决有限时间稳定预测控制问题的关键在于寻找一个共同的状态反馈
。建立有限时间稳定与单值预测控制 [14] 之间的联系。
定理1:对于离散线性系统(1),要求
,
,求得闭环系统的稳定性取决于状态反馈
。假设存在可逆矩阵
,使得
为正定矩阵,存在矩阵
及标量
使得
(7)
(8)
其中,
,
,
那么系统在控制器
的作用下,关于
是有限时间稳定的,并且满足性能指标。
证明:我们假设
,要证明当
时有
。
选择Lyapunov函数
,对于标量
,
有,
通过迭代我们可以获得:
(9)
令
有,
(10)
(11)
根据(9)~(11),可得
进而有
令
,我们有
利用Schur补有
左右同乘对称矩阵
得:
令
,同时
,此时有
,即为所求的增益矩阵。
根据定理1,状态反馈有限时间稳定预测控制算法如下:
步骤1:给定矩阵
,常数
,预测时域
;
步骤2:在每一个采样时刻
,测量系统的状态
;
步骤3:在每一个采样时刻
,求解优化问题(7)~(8),根据定理1进而得到有限时间稳定预测控制中的反馈增益
;
步骤4:将所求的控制序列
作用到被控系统(1),测量闭环系统(4)的状态
及输出
;
步骤5:令
,返回到步骤2。
4. 仿真案例
对于离散时间线性系统,选取系统参数如下:
,
,
。
选取初始状态
,
,
,
,
。性能指标的加权矩阵为
,
,采样间隔为1 s。
按照本章提出的有限时间稳定预测控制算法,运用Matlab中的LMI (线性矩阵不等式)进行求解,进而获得满足条件的状态反馈预测控制器。仿真案例如下:
图1体现了系统在
区间内的状态运动轨迹表明了系统的状态是有界的。
Figure 1. States of the closed-loop system
图1. 闭环系统状态轨迹
图2及图3表明了系统的输入和输出在给定的有限时间区间内均无较大超调。
图4表明在控制器(3)的作用下,系统在
时间内,只要系统初始值满足
,闭环系统的轨迹则满足
,则闭环系统(4)关于
是有限时间稳定的。
图5表明系统的性能指标最终在
趋于稳定。
Figure 2. The trajectory of the control input
图2. 控制输入轨迹
Figure 3. Output of the closed-loop system
图3. 闭环系统的输出轨迹
5. 总结
本文针对一类离散线性系统,给出有限时间稳定预测控制的定义,为使系统在有限时间内性能指标在线最小化,设计状态反馈控制器,通过求解线性矩阵不等式给出满足条件的矩阵,给出闭环系统满足的条件。仿真结果给出算法的可行性。
致谢
感谢导师刘晓华老师对我的悉心指导和耐心帮助。刘老师非常关心我的学业进展,老师严谨的科研态度深深感染着我, 经常教导我们做科研一定要认真严谨。不仅如此,刘老师在生活中也经常教导我, 从老师身上学到了很多为人处世的道理,令我受用终身。