Lurie广义系统基于观测器的控制器设计*

2013-09-17 06:03周正
动力学与控制学报 2013年3期
关键词:观测器广义定理

周正

(63817部队,西昌 6 15606)

Lurie广义系统基于观测器的控制器设计*

周正†

(63817部队,西昌 6 15606)

研究了Lurie广义系统基于状态观测器的控制器设计问题.通过使用Lyapunov稳定性理论,线性矩阵不等式方法,分别给出了状态反馈控制器和观测器的设计方法,并建立了分离原理,进而得到了基于观测器的控制器设计方法.所得结论对广义系统理论本身的发展和实际应用都有非常重要的意义.最后给出了仿真实例.

Lurie广义系统(LDS), 观测器, 控制器, Lyapunov函数, 线性矩阵不等式(LMI)

引言

随着科学技术的发展和大型工程技术的需要,20世纪70年代人们提出了比正常系统应用更为广泛的广义系统,它大量应用在电力、航天、经济、生物等许多实际的系统模型中[1].近年来,非线性广义系统的研究引起了很多关注.Lurie广义系统是一类典型的非线性广义系统,许多非线性物理系统可以表示成Lurie广义系统的结构形式,即一个线性系统和一个满足扇形条件的非线性单元的反馈连接.自从1944年Lurie系统的绝对稳定性问题提出以来,受到了广泛的关注,形成了相对独立的理论体系[2-5].

近年来非线性系统观测器及控制器的设计是非常活跃的研究领域,取得了丰硕的成果:文献[6]介绍了自适应状态观测器在非线性系统的自适应输出调节器设计中的应用;文献[7]给出了一类具有非线性输出系统的观测器的设计方法;文献[8]提出了一种非线性微分代数系统观测器的设计方法;文献[9]对一类非线性系统观测器的设计进行了研究,设计过程没有涉及到任何方程的分解.研究Lurie广义系统的控制器设计问题对于进一步完善广义系统理论和揭示非线性广义系统的本质特征都具有非常重要的意义.

本文研究研究了Lurie广义系统基于状态观测器的控制器设计问题.分别给出了状态反馈控制器和观测器的设计方法,并建立了分离原理,进而解决了基于观测器的控制器设计问题以及相关的控制问题.将进一步揭示非线性广义系统的本质与特征.因此,本文对广义系统的发展具有重要的理论意义和学术价值.

1 问题描述

考虑如下LDS

其中,A∈Rn×n,B∈Rn×m,C∈Rm×n,rank(E)=r.φ(y)是一个时不变且充分光滑的函数,满足φi(0)=0以及

记K0=diag(k1,k2,…,km)>0.

引理1 如果存在矩阵P∈Rn×n满足

则LDS(1)是强绝对稳定的[10].

由(2)可得,0≤φi(yi)/yi≤ki,i=1,2,…,m从而

由,y=Cx可得

引理2 对任意x≠0满足

则系统(1)是强绝对稳定的[11].

2 主要结果

考虑如下广义系统

其中,x(t)∈Rn是系统的n维状态变量,u(t)∈Rm是输入,E,A∈Rn×n且rank(E)=r≤n,B1,B2∈Rn×m,C∈Rm×n,并且 φ(·):Rm→Rm是连续函数,满足(2)式.

设计如下控制器

代入(4)式可得如下闭环系统

定理1 若存在矩阵

则存在控制器使系统(4)-(5)强绝对稳定.

证明: 由引理1可知,系统(6)强绝对稳定的一个充分条件是存在矩阵满足

对(9)式左乘右乘,对(10)式左乘H=diag{,I}右乘HT,则上两式等价于

令=X,=Y,则上面两式等价于

则定理1得证.

对系统(4-5)设计全维状态观测器如下

其中,矩阵L∈Rn×m是需要设计的部分.

定义状态估计误差为:

由(2)式可知满足

亦即满足不等式

由(4)式及(13)式可得误差方程为

由引理1给出定理2,证明从略.

定理 2 若存在矩阵P2∈Rn×n,Z∈Rn×n

满足

则对于系统(4)存在一个形如(13)式的全维状态观测器.其中,L= -可以保证估计误差是以指数收敛的.

基于控制器的观测器闭环系统

由e=x-^x,φ(e)=φ(y)-φ(^y)可得

定理3 若定理1以及定理2中的线性矩阵不等式均满足,则基于观测器的控制器可以使系统(19)稳定.

考虑(19)式

记Π1=

又由(3)、(15)两式可得,

显然,定理1和定理2可以分别保证Π1<0,Π2<0,对于充分大的α>0,可知

由引理2知,系统(19)是强绝对稳定的.

3 仿真算例

首先研究定理的不等式条件的求解问题.

令U=[U1U2]和V=[V1V2]是正交矩阵,满足

容易验证EV2=0,=0.其中,Σr∈Rr×r是对角正定矩阵.

根据文献[11]的结果,Y1=Y2.其中,

于是,在不增加保守性的前提下,定理1的条件可以分别归结为如下算法.

3.1 算法

状态反馈控制器设计算法:

寻找矩阵

注释:LMI的可行性问题.LMI的可行性问题可以用内点法等全局收敛的算法进行求解.因此,上述算法都是收敛的.

根据文献[11],观测器设计算法设计为寻找矩阵

3.2 算例

由状态反馈控制器设计算法可得

由观测器设计算法可得

如图所示闭环系统稳定.

图1 状态轨迹Fig.1 Trajectory of state

4 小结

本文已经考虑了Lurie广义系统基于状态观测器的控制器设计问题,根据Lurie广义系统已有的结论,给出了状态反馈控制器和观测器的设计方法.证明了分离原理,进而得到了基于观测器的控制器设计方法.证明过程中没有使用模型变换,降低了结果的保守性.值得说明的是,文中的结果都是以线性矩阵不等式的形式给出的,很容易进行数值求解,但其一般只是充分条件.因此,线性矩阵不等式的可解性问题是需要进一步研究的内容.

1 Dai L.Singular control systems.New York:Springer-Verlag,1989

2 Gao H J,Chen T W,Lam J.A new delay system approach to network-based control.Automatica,2008,44(1):39 ~52

3 Zhang W A,Yu L.Output feedback stabilization of networked control systems with packet dropout.IEEE Transactions on Automatic Control,2007,52(9):1705 ~1710

4 王炜,王珏.一类具有扇区非线性的时变时滞系统的绝对稳定性.动力学与控制学报,2011,9(2):158~161(Wang wei,Wang ju.Absolute stability for a class of timevarying delay systems with sector-bounded nonlinearity.Journal of Dynamics and Control,2011,9(2):158 ~ 1 61(in Chinese))

5 Han Q L,Yue D.Absolute stability of Lurie systems with time-varying delay.IET Control Theory and Applications,2007,1(3):854~859

6 Delli,Priscoli F,Marconi L,Isidori A.Adaptive observers as nonlinear internal models.System&Control letters,2006,55(13):640~649

7 Andreas J,Alexander M.An observer for systems with nonlinear output map.Automatic,2003,39(14):909 ~918

8 Jan A,Erik F.An observer for nonlinear differential algebraic system.Automatic,2006,42(12):959~965

9 Farza M,Msaad M,Rossignol L.Observer design for a class of MIMO nonlinear systems.Automatic,2004,40(14):135~143

10 杨春雨.若干类非线性广义系统的稳定性分析与设计[博士学位论文].沈阳:东北大学,2009(Yang C Y.Stability analysis and design for some classes of nonlinear descriptor systems[PhD Thesis].Shenyang:Northeastern University,2009(in Chinese))

11 Yang C Y,Zhang Q L,Zhou L N.Strongly absolute stability problem of descriptor systems.Informatica,2007,18(2):305~320

*The Project supported by the National Natural Science Foundation of China(60904009)

† Corresponding author E-mail:xchilang52851@126.com

OBSERVER BASED CONTROLLER DESIGN FOR LURIE DESCRIPTOR SYSTEMS*

Zhou Zheng†
(Xichang Satellite Launch Center,Xichang615606,China)

Observer based controller design for Lurie descriptor systems was investigated.By using Lyapunov stability theory and linear matrix inequality(LMI),the state-feedback controller and observer were designed independently.Then by establishing a separation principle,an observer based controller design method was proposed..Finally,a numerical example was given to illustrate the effectiveness of the proposed method.

Lurie descriptor systems(LDS), observer, controller, Lyapunov function, linear matrix inequality(LMI)

17 September 2012,

16 April 2013.

10.6052/1672-6553-2013-064

2012-09-17 收到第 1 稿,2013-04-16 收到修改稿.

*国家自然科学基金资助项目(60904009)

E-mail:xchilang52851@126.com

猜你喜欢
观测器广义定理
J. Liouville定理
Rn中的广义逆Bonnesen型不等式
基于滑模观测器的PMSM无位置传感器控制策略
基于非线性干扰观测器的航天器相对姿轨耦合控制
A Study on English listening status of students in vocational school
从广义心肾不交论治慢性心力衰竭
王夫之《说文广义》考订《说文》析论
基于滑模观测器的机翼颤振主动抑制设计
“三共定理”及其应用(上)
广义RAMS解读与启迪