张 珩肖歆昕
(1.中国科学院力学研究所,北京 100190;2.中国科学院大学工程科学院,北京 100149)
连续时间传递函数(continuous time transfer function,CTTF)是线性连续定常系统输入输出关系的一种表征形式,可定义为零初值条件下系统输入变量与输出变量各自时间函数的Laplace变换之比.因其物理意义明确、建模简捷、表达清晰和易于分析设计等独特优点,在电气传动[1]、过程控制、动力工程[2]、空天飞行等系统控制领域中得到了十分广泛的运用.长期以来,国内外学者在关于CTTF辨识方面开展了大量研究[3-6].除早期的瞬态分析、相关性理论等非参数化方法[7-9]之外,针对CTTF或等价状态空间模型参数的辨识大都通过时域或频域进行.时域方面主要有为避免变量求导而通过增维滤波变换的状态变量滤波(state variable filtering,SVF)方法[4,10-12]、以时间卷积信息向量和正交分解为基础的子空间方法[13-15],以及衍生的δ-算子模型[16]、随机分布[17]、滤波子空间运算[18-19]、矩配方法[20]和利用Laguerre滤波的w算子变换方法[21-22]等.辨识性能改进的结果可参见广义Poisson矩寻优策略[23]、一致性子空间方法[24]、辅助变量方法[25-27],以及改进估计[28]等.此外,在系统初值影响分析[9,29]、变周期采样[30-32]、离散模型连续化反演及影响研究[33-34]、时间积分变量的离散化逼近[35-36]、不同保持器结构下SVF的状态空间变换[28,37]等方面,也有相应的进展.频域方法的主要结果可参见文献[38],如利用多频激励与最小二乘相结合的传统型实验辨识方法[39-40],借助于闭环继电控制自激产生振荡,并以SVF规避导数变量和对零阶保持器下时间响应频域积分加以近似化的频域传递函数输出误差方法[41],纯实极点情形的脉冲激励辨识[42],向量适配策略的频域辨识改进[43],以及采样控制情形下连续系统各类频域近似化的比较研究[44]与滤波采样的参数估偏分析[45]等.
尽管这些进展令人瞩目,但相对于离散系统的辨识成果而言,CTTF模型的参数估计仍有若干难题亟待解决.首先,子空间等时域方法为代表的结果因信息变量需通过全时程的连续化卷积所产生,既复杂又不易像离散模型那样在线辨识.其次,在Fourier意义下的频域辨识中,利用时间采样值的有限离散变换难以达到幅值与相位同时收敛的目的,且离散化频域变换也仅能借助于单步中值化平均近似积分[41,44]进行,无疑会失去更加丰富的高频信息而产生误差.即使对相对成熟的SVF方法来说,滤波动力学变量在采样情形下也需通过类似的离散化近似积分方可实现.鉴于频域收敛性的不足,有学者提出了通过含有“阻尼因子”的频域变换加以缓解的对策[38,46],颇具启发意义.第三,简单的通过离散模型辨识再进行连续化变换的朴素想法并不易运用,会因采样周期过小造成反演病态[3,47],而过大又会因信息丰富性的缺失而导致离散估计本身就偏离真值.
结合上述分析,本文试图单纯运用多个“阻尼因子”综合解决离散变换的渐近性、参数估计可解性乃至计算复杂性问题.通过将复域Laplace变换直接化简为实域指数积分变换,以采样序列为基础先行沿时间轴构造不同赋值下系统变量的指数积分变换(exponential integral transformation,EIT)逼近,并沿指数因子变量方向实现模型参数估计的二维化在线递推计算,建立连续时间传递函数参数的赋值化指数积分变换逼近(approximations of value-assigned exponential-integral-transformation,AVE)辨识方法.整个辨识过程无需时域卷积或频域复数运算.
本文中给出了相对复杂苛刻的仿真算例,结果清晰地显现了它对开环或闭环系统,最小相位或非最小相位,乃至刚性对象等良好的估计精度与宽泛的适应性.
传递函数在线性、连续时间和定常意义下由以Laplace因子s为自变量的两个无约实系数多项式构成,即
式中:a0=1;ai+1,bi(i=0,1,···,n-1)为待辨识参数;u(t)是以Ts为采样周期的含零阶保持器控制函数,并满足一致性有界激励原则;y(t)为时域有界的系统响应.变量“#”的Laplace变换用“#∗(s)”表示,且其在时刻t=kTs的采样值及其有限时间Laplace变换分别用“#k”和“(s)”表示.
式(1)中Laplace算子s的实部和虚部分别为实域的指数因子σ与复频率jω.显然在u(t),y(t)有界情形下,应满足σ >0.但实际上一般都是令σ=0而直接关注系统的频域特性G(jω)(即蜕化为Fourier变换情形).这在常规的分析和整定中并不相悖,但若要进行未知参数辨识,就不得不利用输入与响应的离散化采样序列计算相应的Fourier变换.然而即便对uk=1(kTs)的简单情形来说,因
其有限时间频域逼近也无法收敛.为避免之,应将s变量严格限定在σ >0的C+中,以保证(σ+jω)渐趋于.这正是“阻尼因子”的作用所在[38,46].受此启发,不妨直接将s的定义域完全蜕化至正实域中,从而将Laplace变换化简为由实变量s=σ决定的指数积分变换(EIT):
其中∀σ ∈(0,∞).由此既保证了变换计算的渐近收敛性,又省略了繁琐的复数运算,并使得式(1)定义的复数域传递函数G(s)自然蜕化为实域内连续时间传递函数(continuous time transfer function in real-domain,CTTFR)形式:
经此简化,G(σ)已成为由ai+1,bi,i=0,1,···,n-1和单一变量σ确定的简单实函数,虽已无频域特征显现,但模型参数却仍完整蕴含其中.鉴此,若能利用序列{uk,yk,k=0,1,2,···}构造出σ在不同赋值下{u∗(σ),y∗(σ)}的有效逼近,即可将复数域内传递函数的辨识问题,精简地转化为寻求对式(2b)中各参数的实域估计.
由定义式(2a)知,有界时间函数必存在对应的EIT函数.但因仅有输入与响应的采样值已知,故需将该式广义积分转化为以时间序列为基础的有限EIT逼近形式,且响应函数有限EIT逼近中的连续时间积分项也需以离散化形式计算.
为规避式(3)中需有响应函数在采样间隔内时域积分的困难,可根据采样样本的逐步积累性,采用少量有限个随采样时刻递增而不断更新的采样数据,通过构造分段多项式函数形式加以拟合,用以改善时间连续化的逼近精度.
一般情形下,EIT逼近误差主要由两类因素叠加构成.一类是时间连续化逼近过程中所固有的算法误差,取决于具体的σ值、逼近参数(p,q)、被逼近函数形式、采样密度和逼近时长等要素,也取决于能否通过正交性方式加以改善等.由于式(4)为等距Lagrange多项式逼近,因此它在每个采样周期内都至少具有p-1阶的代数精度.另一类误差就是采样过程中的测量噪声对(σ)的影响.它所导致的随机误差方差为
意味着σ的恰当选择,能够在一定程度上抑制噪声对响应函数EIT逼近值的影响.
图1 不同(p,q)参数下的σp,q(Ts,η)曲线Fig.1 The curves ofσp,q(Ts,η)with different(p,q)
按预设的衰减系数η和式(7),人为选定r个两两不相同的σ赋值σi,从而沿k向递推获得相应的(σi),(σi)和φp,q,k(σi)等信息变量值,i=1,2,···,r.又因待辨识参数为2n个,故为保证式(8)的可解性,需满足r≥2n.以此为基础,继而导出第k步时参数向量θ由逼近参数(p,q)确定并沿σ向实现的直接或递推辨识解
至此建立了基于周期采样和指数因子赋值的信息变量与参数向量求解模型.利用了和(σ1,σ2,···,σr),由式(5)沿k向先行构造φp,q,k(σi),进而依据式(9a)直接求解,或按式(9b)沿σ向经r次迭代实现CTTF模型参数的二维化在线递推辨识.这就是AVE辨识方法的核心.整个辨识过程无需时域卷积或频域复数运算,仅借助了指数因子的多重相异赋值与多重迭代,且这种赋值既保证了逼近的收敛性,又能在一定程度上兼顾达到类似于噪声滤波的目的.与常规的线性离散差分模型参数辨识相比,每步估计仅多出r-1次计算.
考虑n=3的待辨识线性连续时间传递函数模型为
相应的开环极点为{-20,-0.2±j0.9798},零点根据最小相位与否为∓0.1±j0.9950.选择单位阶跃型激励rk=1,k≥0.开环控制律为uk=rk;为考察闭环情形下uk的阶梯变化对参数辨识过程的影响,设定微分项含一阶滤波的PID反馈控制律如下:
与常规的算例相比,该模型有4个主要特点:1)显著的刚性特征.模型参数的刚性比达100之大,对参数辨识来说是个不小的挑战;2)无论模型为最小相位或非最小相位属性,或是开环或闭环运行方式,其阶跃响应函数在零时刻附近都有很大跃升(如图2所示),这是非常不利于以周期采样序列实现高精度时间连续化逼近的一种形式;3)尽管系统时间响应连续,但因模型的极零点数仅相差1,使得闭环时响应函数由于uk的阶梯变化而同步呈现阶梯性改变(见图2内初始段放大图),将导致因光滑性的降低而无益于有效逼近;4)模型中预置了非最小相位零点,用以比较该情形下的辨识效果.
令δGp,q,k(σ)=-1,为CTTFR函数的相对估计误差,考察无噪声时式(5)的算法精度.针对最小相位情形,不同采样周期(Ts=0.1,0.05,0.025 s)和逼近参数(p,q)下,在不同时刻(t=kTs=15,30,45 s)得到的相对逼近误差如图3所示.图中每个沿q向虚线将沿σ向的各误差实线连接构成的虚拟曲面所对应的最大q值加1,即为该组(p,q)曲线的p值.经对比分析,得到结论如下:
1) 在σ <0.4 s时,图中误差分布受步序k的影响较大,而当σ >0.5 s之后,k的作用不再明显,3个时刻的曲线族趋于重合,但随σ的继续增大,误差水平也由小逐渐增加.说明σ赋值过小或过大都不利于逼近水平的改善.本例中σ=0.5~0.7较为适宜.
2) 各种逼近情形中,(p,1)和(p,p-1)参数对应的误差最小,(p,2)与(p,p-2)次之,以此类推,且p越大,(p,1)和(p,p-1)参数的逼近水平越好.但随着p的持续增加(如p≥5),改善程度也逐渐趋缓.
3) 与开环情形相比,闭环时的逼近精度因响应函数的阶梯效应会有所降低.
图2 不同情形下算例模型的单位阶跃响应曲线Fig.2 The step responses of the example in different cases
图3 不同Ts和(p,q)参数下最小相位CTTFR函数逼近的算法误差Fig.3 The approximation errors of minimum-phase CTTFR under differentTs and(p,q)
4)σ=1.25 s时相对于Ts=0.1,0.05和0.025 s,开环相对误差的绝对值上限分别为1.26%,0.22%和0.034%,几乎按照前后采样周期之比的平方显著下降,且闭环下规律相似,分别为1.77%,0.43%和0.10%.说明适当降低采样周期有利于实域连续时间传递函数逼近精度的提高.
由于非最小相位情形下实域连续时间传递函数逼近的误差规律完全相近,在此从略.
设定p=6,8,10和1 ≤q≤p-1,r=6以及σi=σmin+10-5(i-1),i=1,2,···,r,运用式(5)(9)进行模型参数估计.σmin分别取为0.6和1.2,σw相对于开环单位阶跃响应的稳态值分别取为0%,0.5%,1.0%,所得到的各工况下针对各模型参数的相对稳态估计误差结果整理见图4所示.每条曲线终止时对应的q值加1,即为该曲线对应的p参数.
图4中的“δ#”表示对算例模型中各参数“#”的稳态相对估计误差,具体为每种工况下的10次Monte Carlo仿真结果的平均值.
注1无论模型是否为最小相位或(开环/闭环)运行方式如何,所有误差曲线大都随q呈凸或凹形变化,且与噪声水平无关,只是曲线的整体会随着σw的不同略有偏移,且闭环时各误差曲线之间的离散性有所变大.这主要是由于噪声与闭环控制变量阶梯效应叠加作用的结果.
注2开环情形下,在不同的逼近参数中,以(p,1)或(p,p-1)对应的参数辨识误差为最小(或最大),以为最大(或最小).此外,(p,1),(p,p-1)对应的误差还会随着p的增加而单调降低(或增加).闭环时,除个别情形外,也有相似的规律.所以从统计意义上讲,(p,1)和所对应的结果基本上反映了参数辨识误差的分布范围.
注3开环时最小相位模型的辨识误差在σmin=1.2 s-1时的离散性要好于0.6 s-1情形,表明开环条件下较大的σ赋值对噪声抑制较有利些.但就闭环情形来说,σmin=0.6 s-1时的误差分布都几乎优于1.2 s-1的水平,说明σ的赋值要综合兼顾噪声抑制与算法能力权衡选择.当然,不同的σ效果还与具体响应变化的形态有关,本例中的非最小相位情形就是如此.
注4稳态辨识误差的绝对上限值按开环(闭环)情形,在Ts=0.1 s时(以图4各组图中左右上下子图顺序)分别为20.06%(25.96%),18.83%(31.67%),20.61%(28.20%)和24.05%(29.49%).然而当Ts减小到0.025 s时,则迅速下降到2.08%(3.97%),1.21%(4.57%),1.09%(3.84%)和0.84%(3.63%).
总体来看,降低采样周期对改善辨识精度的效果非常明显,对于开环/闭环、正常参数/刚性参数和最小相位/非最小相位情形都是如此,也与G(σ)的估计结果相吻合.但考虑到数字控制器的处理能力及采样测量水平的制约,显然Ts不能无限度减小,而且降低到一定程度后的噪声影响也会相对显现,难以进一步有效改善精度,故需结合具体的硬件水平确定.此外,适当的σ赋值和较大的(p,1)或(p,p-1)参数等,都有益于辨识精度的改善.
顺便强调,尽管本例选择的是对以周期采样为基础的连续化逼近具有明显损害性的苛刻模型,并且系统还具有显著的刚性特征,但本文方法仍能得到很好的结果.所以,对于一般特性稍有利(如惯性响应或极零点差超过1)的系统来说,预期会有更好的辨识效果.
通过将复域Laplace变换直接化简为实域上的指数积分变换,提出了连续时间传递函数参数的多重赋值化指数积分变换逼近(AVE)辨识方法.其要义是利用周期采样序列先行沿时间轴向递推构造不同赋值下系统变量的EIT逼近,进而沿指数因子方向实现模型参数的直接求解或有限递推估计.辨识过程中无需涉及时域卷积或频域等复杂运算.此外,文中还分析了有限EIT逼近的渐近收敛性和时间连续化逼近的代数精度,以及具有一定噪声抑制能力的指数因子赋值条件.在一致激励和有界响应条件下,通过相对复杂和苛刻的仿真算例,充分验证了AVE方法对各种典型工况的有效性,清晰表明了该方法对于最小相位及非最小相位系统,开环或闭环的系统运行方式,乃至刚性参数情形,所具有的宽泛适应性.
顺便指出,由于文中的结果完全是在一般性实域下所得到,从这一角度上说,它对多变量情形下连续时间传递函数矩阵参数估计的推广没有明显的理论障碍.当然,就系统变量赋值化指数积分变换的逼近而言,还可进一步探究是否存在更高效的算法(如Gauss积分逼近,辅助变量消差等).此外,含时延情形下如何有效运用AVE策略也有待研究.