(School of Aerospace Engineering,Xiamen University,Xiamen 361102,China)
DOI: 10.6043/j.issn.0438-0479.201905048
备注
基于实际物理信号有界的事实,针对饱和控制系统,提出了一种改进圆判据,并利用该判据进行抗饱和补偿器设计.通过两步法与定量反馈理论(QFT)图形化的设计方法相结合,将抗饱和补偿器的圆判据转化为Nichols图上的可镇定区域.设计过程具有直观、物理意义明确的优点,同时降低了补偿器设计的保守性,从而进一步提高抗饱和系统的控制品质.
In this paper,based on the fact that actual physical signals are bounded,an improved circle criterion is proposed and used to design an anti-windup compensator.By combining the two-step approach with quantitative feedback theory(QFT)graphical design method,the circle criterion of anti-windup compensator is transformed into a stabilizable region on Nichols diagram.Advantage of the design process include intuitiveness,clarity of physical meanings,and reduction of the conservativeness for the compensator.Therefore,the control quality of the anti-windup system is further improved.
引言
执行器饱和是实际控制系统中普遍存在的一种非线性现象,其原因是执行控制动作的执行器功率有限,通常出现在工业控制系统中,如机械、液压、生物医学、压电和物理系统.当设计控制系统未能考虑上述约束时,往往导致控制系统性能恶化甚至不稳定.例如,对于采用PID控制器的系统,将产生积分饱和现象,导致大超调并显著地延长调节时间[1] .鉴于PID控制的广泛应用,很多文献中提出了特定条件下的抗饱和技术和方法 [2-5] .抗饱和设计主要有两种策略[6]:一种是一步法,在控制器设计开始时同时考虑线性和非线性控制约束[7-8]; 另一种是两步法,由两个阶段组成,即先不考虑饱和,设计线性模式下的控制器,然后设计一个抗饱和补偿装置来削弱饱和的影响[9-10].因此,与一步法相比,两步法显著地降低了控制器的保守性,具备了明确的物理意义和更好的直观性,获得了工程技术人员的青睐.
由于模型不确定性不可避免,控制器的鲁棒性问题多年来一直是热门话题[11-14].定量反馈理论(QFT)是一种频域图形化的设计方法,用于解决参数不确定性的设计问题.设计思路是,针对所选定的一系列频率点,把含有不确定性受控对象表征为Nichols图上的一系列模板,同时把对系统的性能指标要求转化为Nichols图上的边界曲线,最后通过回路整形的方式使得开环频率曲线满足复合边界的条件,从而实现对整个控制系统的设计[15].当它和经典全局稳定性判据结合时,如对于饱和系统的圆判据、波波夫判据和基于乘子的判据,已被证明是有效的补偿器设计方法[16].例如在QFT设计方法的基础上,Wu等[17]利用全局稳定圆判据和系统传递函数的无超调条件,对抗饱和补偿设计的稳定性问题提出了解决方案.
抗饱和设计的鲁棒性问题也引起了研究者的关注[18-20].Marcos等[18]结合Weston-Postlethwaite的抗饱和框架和高性能的控制结构[9]提出了一种鲁棒抗饱和补偿器设计的通用框架; Turner等[19]对加性范数有界不确定性的开环对象的鲁棒性进行了研究,将问题转化为一个类似于线性H∞控制理论的问题,并利用线性矩阵不等式推导出了其鲁棒稳定的充分条件; Morales等[20]研究了抗饱和框架下系统的鲁棒稳定性,建立了对于结构范数有界不确定性的稳定鲁棒性和最优鲁棒性的充分条件.可见,抗饱和系统的鲁棒稳定性不可忽略.
本文考虑到物理信号总是有界的事实,用一个更加紧凑的扇形区域来描述实际的饱和环节,提出了一种改进圆判据; 在两步法设计基础上,结合三自由度(3-DOF)的抗饱和框架与 QFT技术,给出了基于该判据的抗饱和QFT设计方法,解决抗饱和补偿器的鲁棒设计问题.
1 问题描述
考虑线性时不变系统P(s)∈,
P(s)=(B(s))/(A(s)),(1)
其中A(s)和B(s)是实互质多项式,形如:
A(s)=a0sn+a1sn-1+…+an-1s+an,(2)
B(s)=b0sm+b1sm-1+…+bm-1s+bm.(3)
ai和bi的不确定性分别描述为以下区间的形式:
ai∈[ai,a^-i]和bi∈[bi,b^-i].(4)
饱和非线性Sat(·)被定义为:
u ∧=Sat(u)={umin,u<umin,
u,u∈[umin,umax],
umax,u>umax.(5)
在Nichols图上,式(1)~(3)描述的不确定被控对象P(s)∈可以描述为任意频率点的一个模板:
P(ω)={P(iω)|P∈}.
本文抗饱和方案采用3-DOF抗饱和框架,如图1所示[21].其中,F(s)、C(s)和H(s)分别是前置滤波器、控制器和抗饱和补偿器.两步法中,首先F(s)与C(s)的设计在第一步完成,即不考虑饱和环节条件下按线性控制系统的设计方法进行; 第二步考虑饱和环节进行补偿器H(s)的鲁棒稳定设计,正是本文所研究的内容.
2 局部稳定性的圆判据
由图1可得到有关信号的关系表达式如下:
u=F(s)C(s)·r-P(s)C(s)·u ∧-H(u-u ∧).(6)
通过上述公式可得出u和u ∧之间的关系为
u=(F(s)C(s))/(1+H(s))·r-(P(s)C(s)-H(s))/(1+H(s))·u ∧.(7)
为了对带饱和环节的系统进行稳定性分析,由上述转换关系可以将图1所示3-DOF抗饱和框架转化为与其等价的Lur'e系统L(Sat(·),K(s)),如图1等价的Lur'e系统
Fig.2 Equivalent Lur'e systems of Fig.1">图2所示.其中K(s)是系统的线性环节,Sat(·)是系统的饱和环节,R(s)是系统的剩余部分,通过计算可得K(s)和R(s)的传递函数如下:R(s)=(F(s)C(s))/(1+H(s)),(8)
K(s)=(P(s)C(s)-H(s))/(1+H(s)).(9)
图1等价的Lur'e系统
Fig.2 Equivalent Lur'e systems of Fig.1">图1等价的Lur'e系统
Fig.2 Equivalent Lur'e systems of Fig.1"/>图2 与图1等价的Lur'e系统
Fig.2 Equivalent Lur'e systems of Fig.1对于实际控制系统,以下假设是合理的:
(i)在线性模式下(无饱和环节),闭环系统是稳定的.
(ii)信号u在运行过程中始终是有界的,即
u^-min<u<u^-max,(10)
其中,u^-max和u^-min分别是实际控制信号u的上界和下界.
(iii)R(s)∈RH∞,其中RH∞表示含有系数为实数并且极点的实部小于零的复变量有理函数集.
注1 假设(i),即控制系统在线性模式下的稳定性要求,是饱和闭环系统稳定性的前提条件,这是容易理解的.假设(iii)是保证其等价Lur'e系统中两个模块R(s)和K(s)各自的稳定性,这是Lur'e系统稳定的前提条件.
注2 因为一般情况下前置滤波器F(s)∈RH∞(即In{F(s)}=0,In{·}表示积分器的个数),由假设条件(iii)R(s)∈RH∞,可知补偿器H(s)应该满足条件:In{C(s)}=In{H(s)}.例如当C(s)是PI控制器时,H(s)应该包含一个积分器.
2.1 改进圆判据在抗饱和研究中,一般认为控制输入可以达到无穷大,即饱和环节以扇形区域Sat(·)∈S[0,1]表征; 而实际控制系统中物理信号总是有界的,即控制信号满足假设(ii).此时,饱和环节可以用一个紧凑的扇形区域S[k,1]来描述,如图3所示.其中
k=min{k1,k2},(11)
k1和k2是常数且分别满足
umax=k1·u^-max,umin=k2·u^-min.
需要指出的是,相对于S[0,1],饱和环节的描述S[k,1]意味着显著减少了保守性.基于饱和环节的扇形描述S[k,1],可以得到图1等价的Lur'e系统
Fig.2 Equivalent Lur'e systems of Fig.1">图2饱和系统的稳定性判据,即局部圆判据如下:引理1 Lur'e型系统的圆判据[22]
多数非线性物理系统可以表示为一个线性系统K(s)和非线性单元N(·)的反馈连接(如图4所示),且N(·)属于扇形区域S[α,β],如果满足下列条件之一,则系统绝对稳定:
(i)如果0<α<β,K(iω)的奈奎斯特曲线不进入圆盘D(-1/α,-1/β)内,且沿逆时针方向环绕其m次,其中m是K(s)具有正实部的极点数.
(ii)如果0=α<β,K(s)是赫尔维茨的,且K(jω)的奈奎斯特曲线位于直线Re(s)=-1/β的右侧.
(iii)如果α<0<β,K(s)是赫尔维茨的,且K(jω)的奈奎斯特曲线位于圆盘D(-1/α,-1/β)的内部.
定理1(圆判据定理)考虑图1饱和系统及其等价的Lur'e型系统L(Sat(·),K(s))并满足假设条件; 当K(jω)的奈奎斯特曲线不进入圆盘D(-1/k,-1)内,且沿逆时针方向环绕其m次,则闭环系统在局部意义下是绝对稳定的; 其中,m是K(iω)具有正实部的极点数.
证明 定理1满足引理1中的充分条件(i),于是本定理得到证明.
考虑到奈奎斯特图与Nichols图之间的转换关系,在奈奎斯特图实轴上对K(iω)向右做位移为1的平移操作,相应的圆盘变为D(1-1/k,0),这样补偿器的设计会更加直观便利,因此可以得到
Kλ(s)=1+K(s)=(1+P(s)C(s))/(1+H(s)).(12)
可以获得新的圆判据如下:
定理2考虑图1饱和系统及其等价的Lur'e型系统并满足假设条件; 当Kλ(iω)的奈奎斯特曲线不进入圆盘D(1-1/k,0),且沿逆时针方向环绕其m次,则闭环系统在局部意义下是绝对稳定的.
注3 线性部分Kλ(s)由X(s)=1+P(s)C(s)和D(s)=1+H(s)两部分组成,需要设计的补偿器只存在于D(s)中,因此可以通过设计D(s),即补偿器H(s)来调整Kλ(S)的图形,使其落入圆判据所表示的稳定区域内.一般来说,3-DOF抗饱和结构中的H(s)会选择最小相位稳定补偿器,且控制器C(s)中不会包含不稳定的极点,再结合假设条件以及式(12),可知一般情况下Kλ(s)包含了对象P(s)的极点.因此定理2中Kλ(s)的奈奎斯特曲线沿逆时针方向环绕圆盘m次,这也是对象P(s)不稳定极点(具有正实部极点)的个数.对于不同k值,关于Kλ(s)的饱和系统稳定性区域如图5所示,其中图5(b)是对应于图5(a)的Nichols图上的稳定域.
注4 可以看出,实际控制信号u,即饱和环节实际输入信号的不同上界,意味着不同的饱和区域描述k值; 根据定理1或定理2,不同的k值,对应于Nichols图上不同大小的稳定区域:k值越大,意味着由圆盘所定义的不稳定区域越小,即用于设计补偿器的稳定区域越大.本文的饱和区域描述,对应的k值更小,因此所提出的改进圆判据使系统的稳定性区域显著扩大,为补偿器设计提供了更强的灵活性,从而使系统性能得到
图5 Kλ(s)的奈奎斯特图(a)和相应的Nichols图(b)
Fig.5 Nyquist diagram(a)and the corresponding Nichols diagram(b)of Kλ(s)进一步改善; 同时也减少了补偿器设计的保守性,图形化的设计方法更具直观性,为鲁棒抗饱和补偿器设计问题提供了一种更好的解决方案.
2.2 补偿器设计具体步骤基于上述稳定性判据,补偿器设计之前,事先需要完成两项工作:
(i)在线性状态(即不考虑饱和环节)下的控制器C(s)设计;
(ii)根据现场信息或以往经验,初步确定饱和环节描述中所对应的k值.
事实上,完成补偿器的设计过程如下:
1)在满足假设条件的情况下,不考虑饱和环节,根据线性系统的性能要求设计控制器C(s)和前置滤波器F(s);
2)根据实际系统的运行情况和先验知识决定参数k的值;
3)在Nichols图上的一系列频率点W处画出相对于系统线性部分Kλ(iωi)的稳定性区域,其中W={ω1,ω2,…,ωn};
4)初始化补偿器H(s)的参数,在同一张Nichols图上画出Kλ(iωi)对象的模板;
5)设计补偿器H(s)确保Kλ(iωi)的模板在稳定区域内.如果不是,则调整补偿器的参数/形式使Kλ(iωi)的模板回到对应的稳定区域内.
3 仿真算例
考虑线性不确定对象
P(s)=5/s·(a-1s+1)/(b-1s+1),(13)
其中,
a∈[0.5,0.7],b∈[0.04,0.1].(14)
饱和环节的上下界依次定义为:
umax=1,umin=-1.
前置滤波器F(s)和控制器C(s)为事先确定:
F(s)=1,C(s)=(6s+5)/s.
假定k=0.8,首先在Nichols图上确定由饱和环节的扇形描述S[0.8,1]所定义的关于Kλ(iω)的稳定性区域; 选取系列频率点ω={0.01,0.1,0.5,1,10},分别取式(13)中对象不确定参数a,b的4个区间顶点作为模板,如图6所示.根据定理2,获得鲁棒稳定的补偿器如下:
H(s)=(30s+15)/(s(s+0.18)).
后者用带乘子的圆判据方法得到的补偿器如下:
H(s)=(100.25s+20)/(s(s+0.05)).
由图6可知,对象不确定性表现为Nichols图上的模板区域,其Nichols并没有进入圆盘对应的不稳定区域内,满足定理2的稳定性要求.分别取对象参数不确定区间4个顶点作仿真,比较了本文所设计补偿器与文献[1]补偿器的闭环系统阶跃响应,如图7所示.可以看出,在受控对象参数不确定条件下,本文所设计补偿器的阶跃响应性能均明显优于
图6 Kλ(iωi)的Nichols图
Fig.6 Nichols diagram ofKλ(iωi)文献[1]所设计的补偿器.
4 结 论
基于系统实际信号总是有界的事实,本文提出一种改进的圆判据,并利用该判据进行抗饱和的补偿器设计,显著地降低了抗饱和补偿器设计的保守性.通过两步法,结合QFT将圆判据表征为Nichols上的稳定性区域,使整个设计过程显得更加直观简洁.在保证对象不确定时系统稳定性的前提下,本文所提供的设计方法,显著地提高了闭环系统的控制品质.数值算例验证了该方法的有效性.
- [1] MORENO J C,BAÑOS A,BERENGUEL M.A QFT framework for anti-windup control systems design[J].Journal of Dynamic Systems,Measurement,and Control,2010,132(2):021012.
- [2] BERGER A,GUTMAN P O.A new view of anti-windup design for uncertain linear systems in the frequency domain[J].International Journal of Robust & Nonlinear Control,2016,26(10):2116-2135.
- [3] WU W,JAYASURIYA S.An internal model control anti-windup scheme with improved performance for input satura-tion via loop shaping[J].Journal of Dynamic Systems,Measurement,and Control,2010,132(1):014504.
- [4] KAYAHARA T,HENMI T.Anti-windup compensator for nonlinear model predictive control[C]∥The 2012 International Conference on Advanced Mechatronic Systems.Tokyo:IEEE,2012:406-411.
- [5] MASSIMETTI M,ZACCARIAN L,HU T,et al.LMI-based linear anti-windup for discrete time linear control systems[C]∥Proceedings of the 45th IEEE Conference on Decision and Control.San Diego:IEEE,2006:6173-6178.
- [6] 查苗,何汉林.抗饱和研究历史与发展综述[J].南京信息工程大学学报,2017(4):423-429.
- [7] HU T,TEEL A R,ZACCARIAN L.Stability and performance for saturated systems via quadratic and nonquadratic Lyapunov functions[J].IEEE Transactions on Automatic Control,2006,51(11):1770-1786.
- [8] ALAMO T,LIMON D,CEPEDA A,et al.Synthesis of robust saturated controllers:an sns-approach[J].IFAC Proceedings Volumes,2006,39(9):477-482.
- [9] WESTON P F,POSTLETHWAITE I.Linear conditioning for systems containing saturating actuators[J].Automatica,2000,36(9):1347-1354.
- [10] KOTHARE M V,CAMPO P J,MORARI M,et al.A unified framework for the study of anti-windup designs[J].Automatica,1994,30(12):1869-1883.
- [11] KARIMI A,ZHU Y.Robust H∞ controller design using frequency-domain data[J].IFAC Proceedings Volumes,2014,47(3):4921-4926.
- [12] SANZ R,GARCIA P,ALBERTOS P,et al.Robust controller design for input-delayed systems using predictive feedback and an uncertainty estimator[J].International Journal of Robust and Nonlinear Control,2017,27(10):1826-1840.
- [13] TAN W,CHEN T,MARQUEZ H J.Robust controller design and PID tuning for multivariable processes[J].Asian Journal of Control,2002,4(4):439-451.
- [14] BHATTACHARYYA S P.Robust control under parametric uncertainty:an overview and recent results[J].Annual Reviews in Control,2017,44:45-77.
- [15] 王增会,陈增强,孙青林,等.定量反馈理论发展综述[J].控制理论与应用,2006(3):403-410.
- [16] MORENO J C,GUZMÁN J L,BAÑOS A,et al.The input amplitude saturation problem in QFT:a survey[J].Annual Reviews in Control,2011,35(1):34-55.
- [17] WU W,JAYASURIYA S.A QFT design methodology for feedback systems under input saturation[C]∥Proceedings of the 2000 American Control Conference.ACC(IEEE Cat.No.00CH36334).Chicago:IEEE,2000:1250-1254.
- [18] MARCOS A,TURNER M C,POSTLETHWAITE I.High-performance architecture for design and analysis of robust anti-windup compensators[C]∥Proceedings of the 2006 American Control Conference.Minneapolis:IEEE,2006:789-814.
- [19] TURNER M C,HERRMANN G,POSTLETHWAITE I.Incorporating robustness requirements into anti-windup design[J].IEEE Transactions on Automatic Control,2007,52(10):1842-1855.
- [20] MORALES R M,LI G,HEATH W P.Anti-windup and the preservation of robustness against structured norm-bounded uncertainty[J].International Journal of Robust and Nonlinear Control,2014,24(17):2640-2652.
- [21] GRIMM G,HATFIELD J,POSTLETHWAITE I,et al.Anti-windup for stable linear systems with input saturation:an lmi-based synthesis[J].IEEE Transactions on Automatic Control,2003,48(9):1509-1525.
- [22] KHALIL H K.Nonlinear systems[M].2nd ed. New Jersey:Prentice-Hall Inc,1996:245-270.