Dynamical Systems and Control
Vol.06 No.02(2017), Article ID:20412,11
pages
10.12677/DSC.2017.62006
A Class of Algorithms of Output Feedback Predictive Control of Finite-Time Stability
Xiulan Liang, Xiaohua Liu
School of Mathematics and Statistics Science, Ludong University, Yantai Shandong
Received: Apr. 4th, 2017; accepted: Apr. 26th, 2017; published: Apr. 30th, 2017
ABSTRACT
This paper researches the finite-time stable predictive control problem for a class of discrete-time linear time invariant system. Firstly, the definition of finite-time stable predictive control is given. Then by constructing Lyapunov function, minimization-optimization problems of finite-time domain are converted into positive semi-definite programming problems with linear matrix inequality constraints. Using linear matrix inequality approach, a sufficient condition for the existence of output feedback control law is presented. It is proved that the optimization problems is finite-time stable when the feasible condition of closed-loop systems is guaranteed. Finally, a simulation example demonstrates the effectiveness of the proposed method.
Keywords:Model Predictive Control, Finite-Time Stability, Dynamic Output Feedback, Linear Matrix Inequality
一类有限时间稳定的输出反馈预测控制算法
梁秀兰,刘晓华
鲁东大学数学与统计科学学院,山东 烟台
收稿日期:2017年4月4日;录用日期:2017年4月26日;发布日期:2017年4月30日
摘 要
本文针对一类离散时间线性时不变系统,研究其有限时间稳定预测控制问题。首先给出了有限时间稳定预测控制的定义,然后,通过构造Lyapunov函数,将有限时域的最小化优化问题转化为具有线性矩阵不等式约束的半正定规划问题。并采用线性矩阵不等式的方法,给出了输出反馈控制律存在的充分条件。证明了优化问题在满足可行性条件下闭环系统是有限时间稳定的。最后,仿真算例验证了所提方法的有效性。
关键词 :模型预测控制,有限时间稳定,动态输出反馈,线性矩阵不等式
Copyright © 2017 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
系统稳定性是控制理论研究中最基本和最重要的问题。传统的稳定性,如Lyapunov稳定、BIBO稳定和实用稳定性等稳定性概念,关注的是无限长时间区间的系统行为 [1] 。然而,在很多实际应用中,人们关注的是某一有限时间区间内的系统行为(如工作时间有限的导弹和卫星系统控制 [2] 、飞行控制 [3] 等)或需要维持系统状态不超出给定的界(如系统存在饱和现象 [4] 、超调过大 [5] 等)。在这些应用中,有限时间稳定性概念比上述传统的稳定性概念更能满足实际需要,因此也更有实际意义。由此提出了系统有限时间稳定的问题。
关于有限时间控制问题的研究最早始于20世纪60年代,Weiss和Infante在文献 [6] 中首次提出有限时间稳定的概念。文献 [7] 总结了有限时间稳定控制的发展历程,提出了线性、非线性以及随机系统有限时间控制问题的分析设计方法。文献 [8] 针对线性系统有限时间稳定鲁棒控制设计问题,引入线性矩阵不等式技术,提出了状态反馈有限时间镇定控制算法。然而,实际系统中的状态往往不易直接测量或者测量代价很高。文献 [9] 提出了使闭环系统有限时间有界的动态输出反馈控制器设计方法。对于线性时变系统输出反馈有限时间控制问题,文献 [10] 给出了系统有限时间稳定的充要条件。由于文献 [7] [8] [9] [10] 设计的控制器只能保证系统有限时间镇定,而没有考虑系统的伺服性能,文献 [11] 定义了有限时间稳定最优反馈控制,提出了可使系统部分状态有限时间稳定的最优反馈控制器设计方法。文献 [12] 则针对网络系统,设计了系统有限时间鲁棒稳定控制器。文献 [13] 提出了线性随机系统有限时间控制问题,给出了随机系统有限时间控制器有解的充分条件。
预测控制是一类应用广泛的先进控制算法,其稳定性一直是学术界关注的热点 [14] ,但是,对于有限时间稳定的预测控制研究成果还不多见。
本文研究一类离散时间线性时不变系统的有限时间稳定预测控制问题,给出系统有限时间稳定预测控制的概念,考虑系统状态不可测的情况,给出输出反馈预测控制器设计方案。并基于线性矩阵不等式方法,研究优化问题可行解存在的条件。证明优化问题在给定的初始条件下闭环系统是有限时间稳定的。通过仿真实验验证所提方法的有效性。
2. 问题描述
考虑如下离散时间线性时不变系统:
(1)
其中是系统状态,是系统初始状态,是系统控制输入,是系统输出,是相应维数的常数矩阵。
对于系统(1),选择有限时域优化性能指标为:
(2)
其中是给定的加权矩阵,是时刻基于模型(1)的时刻的状态预测值,是时刻使性能指标最小的控制信号在时刻的值,为控制时域。
当系统的状态变量不完全可观测时,考虑如下结构的动态输出反馈预测控制器:
(3)
其中:是控制器状态,是待定的控制器系数矩阵。
将(3)式代入(1)式中,得到闭环系统
(4)
其中,,。
假设系统状态的系数矩阵和控制器状态的系数矩阵不包含交叉耦合项。
对于闭环系统(4),相应的滚动优化性能指标为
(5)
其中,。
定义1: [15] 考虑如下离散时间线性时不变系统
(6)
其中是常数矩阵,是系统状态,是系统初始状态。当时,如果有成立,则称系统(6)关于是有限时间稳定的。其中,为给定常数,为给定正定矩阵,为给定的正整数。
注1:有限时间稳定与渐近稳定的主要区别一是有限时间稳定关注的是系统在特定时间内的暂态性能,而渐近稳定则是考察系统在无穷时间区间内的稳态性能;二是有限时间稳定针对在给定界内的初始条件,渐近稳定则是针对在吸引域下的初始条件;三是有限时间稳定要求系统状态轨迹在预先设定的界内,渐近稳定要求系统状态渐近收敛。
定义2:对于受控系统(1)以及相应的闭环系统(4),给定正常数和正定矩阵,如果当时,都有成立,则称闭环系统(4)关于是有限时间稳定的,也即受控系统(1)是有限时间稳定的。
本文解决的主要问题是:在每一采样时刻,求解闭环系统优化问题(5)得到动态输出反馈预测控制器(3),使得闭环系统(4)在满足可行性条件下是有限时间稳定的。
引理1 [15] :系统(6)有限时间稳定等价条件:
i) 系统(6)关于,是有限时间稳定的;
ii);
iii) 对于,若有,。
则成立。
iv) 对于,存在对称矩阵函数满足:
;;。
引理2:(Schur补) [16] 对给定的对称矩阵,其中是维的。以下三个条件等价
(i);
(ii);
(iii)。
引理3: [17] 给定对称矩阵和以下两个条件是等价的:
(i) 存在对称矩阵,和矩阵,,使得
(ii)
3. 基于有限时间稳定输出反馈预测控制
3.1. 优化问题分析
求解系统输出反馈预测控制器的关键是:在每一采样时刻,求解优化问题(5)得到输出反馈控制律。为此,采用文献 [18] 的方法,利用假定的不等式条件,先求得的一个上确界,然后将最小化性能指标转化为对上确界的最小化。
在控制区间内选择如下多Lyapunov函数
(7)
其中,是对称正定加权矩阵。
为了导出性能指标(5)的上确界,在每个采样时刻和,实施以下稳定性约束:
(8)
加入终端等式约束,则有,将不等式(8)从叠加到从而得到:
(9)
显然,为性能指标的上确界,由此将对性能指标最小化问题转化为对上确界的最小化问题。如果存在非负变量满足,则优化问题(5)可进一步转化为半正定规划问题。
3.2. 优化问题求解
定理1:考虑系统(1),采用输出反馈控制(3),假设在每一采样时刻,存在对称正定矩阵值函数,可逆矩阵,矩阵值函数以及待定变量,若不等式约束(8)成立,则优化问题(5)可转化为以下优化问题,即
(10) (11) (12) (13)
证明:最小化等价于
(14)
令
则(14)等价于
(15)
则根据引理2
(15)式等价于
(16)
将矩阵及作如下分解
(17a)
部分与证明无关.
定义矩阵:
(17b)
由上述定义知:
(18a)
(18b)
(18c)
将(16)式左乘右乘得
(19)
即式(10)成立。
由引理1(iv)知,如果存在对称矩阵和矩阵,使得
(20)
(21)
(22)
成立,则系统是有限时间稳定的。
将式(20)左乘块矩阵、右乘块矩阵,得:
其中:
(23a)
(23b)
(23c)
即式(11)成立。
将(21)式左乘块矩阵、右乘块矩阵,可得:
由引理2,
即式(12)成立。
将(22)式左乘块矩阵、右乘块矩阵,得到:
即式(13)成立。
定理证毕。
注:由(10)式知,在每一采样时刻,有,根据引理3,可以由构建出。进而由(23)式中的确定矩阵。由此得到控制器(3)的系数矩阵为
(24a)
(24b)
(24c)
根据定理1,输出反馈预测控制算法如下:
Step1:选择时刻和控制时域,给定常数以及矩阵。
Step2:在时间内求解优化问题(10)~(13)。得出变量,并由得到矩阵,使有限时域优化性能指标在线最小化。
Step3:将矩阵。代入式(24),确定出控制器(3)的系数矩阵。
Step4:将代入式(3),计算出在时刻基于模型(1)的状态预测值,以及输出反馈控制器状态。
Step5:基于和的测量值,令,重复step1~Step4。
4. 有限时间稳定性分析
定理2:对于系统(1),若定理1中的优化问题(10)—(13)在初始时刻存在可行解,则闭环系统(4)关于是有限时间稳定的。
证明:由定理1知,存在对称矩阵值函数使得:
(25a)
(25b)
(25c)
由(25a)可得
(26)
将(26)式由0叠加到得
由(25b)和(25c)可得
当时,有成立.
根据定义2可知,闭环系统(4)关于是有限时间稳定的。
5. 仿真算例
考虑离散时间线性系统(1),其系统参数
选取初始状态,.性能指标的加权矩阵为,,采样间隔为1 s。
根据本文提出的动态输出反馈预测控制算法,运用LMI工具箱求解优化问题,进而得到满足条件的预测控制器。仿真结果如下:
图1给出了系统在区间内系统的状态运动轨迹,表明系统的状态是有界的。
图2和图3容易看出系统的输入和输出在有限时间内无较大的超调。
图4表明在控制器(3)的作用下,只要系统的初值满足,则在时间内,闭环系统的轨迹必满足。即闭环系统(4)关于有限时间稳定的。
图5可以得出系统的性能指标在是递减的。
综上所述,系统在状态不完全可测时,采用本文提出的动态输出反馈预测控制方法,得到的闭环系统是有限时间稳定的,并能够保证有限时域优化性能指标在线最小化。仿真结果可说明所述算法的有效性。
6. 结论
本文研究了一类离散时间线性系统的有限时间稳定预测控制问题,给出了有限时间稳定预测控制的
Figure 1. State trajectory of the closed-loop system
图1. 闭环系统状态轨迹
Figure 2. Control signal
图2. 控制信号
Figure 3. Output trajectory
图3. 输出轨迹
Figure 4. trajectory
图4.轨迹
Figure 5. Performance changes
图5. 性能指标变化情况
定义;并利用线性矩阵不等式方法,得到优化问题可行解存在的条件;提出了有限时间稳定的输出反馈预测控制的设计方法,证明了闭环系统在给定的初始条件下是有限时间稳定的。仿真结果验证了所提算法的有效性。
文章引用
梁秀兰,刘晓华. 一类有限时间稳定的输出反馈预测控制算法
A Class of Algorithms of Output Feedback Predictive Control of Finite-Time Stability[J]. 动力系统与控制, 2017, 06(02): 43-53. http://dx.doi.org/10.12677/DSC.2017.62006
参考文献 (References)
- 1. Xue, W.P. and Mao, W.J. (2013) Asymptotic Stability and Finite-Time Stability of Networked Control Systems: Analysis and Synthesis. Asian Journal of Control, 15, 1376-1384. https://doi.org/10.1002/asjc.695
- 2. Dorato, P. (1961)Short Time Stability in Linear Time-Varying Systems. Proceedings of the IRE International Convention Record Part 4, New York, 9 May 1961, 83-87.
- 3. San, F. and Dorato, P. (1974) Short-Time Parameter Optimization with Fight Control Application. Automatica, 10, 425-430.
- 4. Garcia, G., Tarbouriech, S. and Bernussou, J. (2009) Fi-nite-Time Stabilization of Linear Time-Varying Continuous Systems. IEEE Transactions on Atomatic Control, 54, 364-368. https://doi.org/10.1109/TAC.2008.2008325
- 5. Lin, X.Z., Du, H.B. and Li, S.H. (2011) Uniform Fi-nite-Time Stability and Feedback Stabilization for Discrete-Time Switched Linear Systems and Its Application to Networked Control Systems. Control and Decision, 26, 841-846.
- 6. Weiss, L. and Infante, E.F. (1965) On the Sta-bility of Systems Defined over a Finite Time Interval. Proceedings of the National Academy of Sciences, 54, 44-48. https://doi.org/10.1073/pnas.54.1.44
- 7. Dorato, P. (2005) An Overview of Finite-Time Stability. Current Trends in Nonlinear Systems and Control. Birkhauser, Boston, 185-194.
- 8. Amato, F., Ariola, M. and Dorato P. (2001) Finite-Time Control of Linear Systems Subject to Parametric Uncertainties and Disturbances. Automatica, 37, 1459-1463.
- 9. Amato, F., Ariola, M., Amato, F., Ariola, M. and Cosentino, C. (2006) Finite Time Stabilization via Dynamic Output Feedback. Automatica, 42, 337-342.
- 10. Amato, F., Ariola, M. and Cosentino, C. (2010) Finite-Time Control of Discrete-Time Linear Systems: Analysis and Design Conditions. Automatica, 46, 919-924.
- 11. Haddad, W.M. and L’Afflitto, A. (2015) Finite-Time Partial Stability and Stabilization and Optimal Feedback Control. Journal of the Franklin Institute, 352, 2329-2357.
- 12. Wang, L. and Shen, Y. (2016) Finite-Time Robust Stabilization of Uncertain Delayed Neural Networks with Discontinuous Activations via Delayed Feedback Control. The Official Journal of the International Neural Network Society, 76, 46-54.
- 13. 严志国, 张国山. 线性随机系统有限时间H∞控制[J]. 控制与决策, 2011, 26(8): 1224-1228.
- 14. 席裕庚, 耿晓军, 陈虹. 预测控制性能研究的新进展[J]. 控制理论与应用, 2000, 17(4): 469-475.
- 15. Amato, F. and Ariola, M. (2005) Finite-Time Control of Discrete-Time Linear Systems. IEEE Transactions on Automatic Control, 50, 724-729. https://doi.org/10.1109/TAC.2005.847042
- 16. Yaz, E.E. (1998) Linear Matrix Inequalities in System and Control Theory. Proceeding of the IEEE, 86, 2473-2474. https://doi.org/10.1109/JPROC.1998.735454
- 17. Gahinet, P. (1994) Explicit Controller Formulas for LMI-Based H∞ Synthesis. Automatica, 32, 1007-1014.
- 18. Kothare, M.V., Balakrishnan, V. and Morari, M. (1994) Robust Con-strained Model Predictive Control Using Linear Matrix Inequalities. American Control Conference IEEE, Baltimore, 29 June-1 July 1994, 440-444. https://doi.org/10.1109/acc.1994.751775