作者简介:曹慧超(1986-),女,博士研究生.研究方向:故障诊断与容错控制.E-mail:cchhcc_love@126.com
首先建立了集网络时变时延、执行器饱和约束及故障、离散事件触发条件于一体的不确定非线性闭环故障网络化控制系统(NCS)模型。然后应用Lyapunov稳定性理论和时延分段技术,结合改进的Jensen积分不等式和互反凸组合引理,推证出了闭环故障NCS稳定的时滞且事件依赖不变集充分条件,并给出了鲁棒容错控制器与离散事件触发条件权矩阵的协同设计方法。最后,通过一个仿真算例验证了本文方法不仅能使基于离散事件触发通信机制(DETCS)的NCS对故障有效容错,而且可通过触发参数的适当选取来节省有限的网络资源。
First, a new model of uncertain nonlinear closed-loop fault Networked Control System(NCS) is established, which integrates the network time-varying delay, actuator saturation and fault, and the discrete event-triggered condition in a unified framework. Then, utilizing the Lyapunov stability theory and delay decomposition technology, combing the improved Jensen integral inequality and the reciprocal convex combination lemma, the delay- and event-dependent invariant set condition for ensuring closed-loop fault NCS stability is derived. The co-design method for both robust fault-tolerant controller and the weight matrix of discrete event-triggered conditions is given. Finally,a simulation case is employed to demonstrate that the proposed method, which guarantees faulty NCS based on Discrete Event-Triggered Communication Scheme(DETCS), possesses good fault-tolerant performance, and saves the limited network resources by reasonably choosing the triggering parameters.
目前, 针对数据通过网络传输时产生的时延、丢包、乱序等影响系统性能的问题, 已在网络化控制系统(Networked control system, NCS)稳定性分析和控制器设计等方面开展了大量的研究工作[1, 2, 3, 4]。同时, 由于NCS结构更分散且复杂化程度甚高, 也就面临了更多的不确定性及更高的系统元部件故障几率, 因此, 为了提高系统安全性和可靠性, 通过对NCS进行容错设计使其对故障不敏感的研究也受到了学术界的广泛关注。其中, 文献[5-11]考虑执行器或传感器失效故障情形, 分别对具有时延或(和)丢包的线性/非线性NCS的鲁棒完整性、鲁棒H∞ 完整性及鲁棒保性能容错控制进行了研究。文献[12]给出了不确定NCS在α -稳定、H∞ 扰动衰减指标和广义H2三类指标共同约束下的满意容错设计准则。文献[13]探讨了参数不确定NCS同时受到执行器饱和、控制器参数摄动及非线性扰动时的鲁棒容错多约束控制问题。然而, 上述成果均是基于周期时间触发通讯机制(Periodic time-triggered communication scheme, PTTCS), 即在等间隔的离散时刻点上周期性地传输并更新控制信号, 尽管这样可以使系统的分析和设计更加便利, 但在NCS中网络通信带宽资源非常有限的情况下, 如若系统状态在当前时刻与上一时刻变化微小时, 按此机制通讯, 则会使大量不必要的冗余信息被传输, 这不仅浪费了有限的网络资源, 更会加剧网络时延、丢包等问题。因此, 如何在保证NCS期望性能得到满足的前提下, 更有效地利用网络资源变成了NCS研究中亟待解决的问题。
近期, 一种新的离散事件触发通讯机制[14](Discrete event-triggered communication scheme, DETCS)被提出, 在此机制下, 数据传输是根据控制任务按需进行的, 相对PTTCS下所有采样数据传输都需通过有限带宽的通信网络实现的NCS来说, 信息量按需传输可以更为合理且有效地利用网络资源。文献[15, 16]在DETCS下, 分别对线性和T-S模糊NCS, 通过构造不同离散事件触发条件, 初步研究了系统H∞ 滤波和稳定性问题。但未考虑NCS中元部件故障, 即系统无容错能力。此外, 考虑实际工程中, 由于自身物理特性限制和人为界定, 执行器饱和问题也常常存在[17], 而且当系统发生故障后, 过大的控制量会使执行器更易进入饱和区, 因此, 基于DETCS, 考虑执行器饱和约束和元部件故障, 兼顾系统控制性能(Quality of performance, QoP)和网络服务质量(Quality of service, QoS)的NCS容错控制研究更具实际意义和研究价值。
鉴于上述分析, 本文拟从网络有限带宽占用率和系统控制性能着眼, 在离散事件触发通讯机制下, 对具有执行器饱和约束的不确定非线性网络化控制系统(Nonlinear networked control system, NNCS)进行鲁棒容错和网络通讯的协同设计研究。首先, 将一类普通非线性系统转化为T-S模糊模型表示的参数不确定NCS, 同时考虑网络时变时延、执行器故障及饱和约束, 并结合DETCS构建一种新的离散事件触发闭环故障NNCS模型。然后, 通过构造适当的时滞依赖Lyaponov-Krasovkii泛函, 采用时延分段技术、新的互反凸组合引理, 本着对Lyaponov-Krasovkii泛函导数项尽可能少地放大原则, 推导出使闭环故障系统稳定的时滞且事件触发依赖的不变集准则, 并结合LMI(Linear matrix inequality)技术, 给出鲁棒容错控制器和离散事件触发条件权矩阵协同设计的方法。最后以一个仿真算例验证文中所述方法对执行器饱和下的故障NNCS容错及通讯资源节约等方面的有效性。
离散事件触发通讯机制是一种仅在采样时刻依据某种事件发生与否决定系统采样数据是否需要传输的通讯机制。基于此机制的NCS结构如图1所示。
与传统的PTTCS下NCS结构图不同的是, 图1中在采样器后增加了事件发生器。其功能是根据事先设定的事件触发条件, 对采样数据进行筛选, 满足触发条件的采样信号则被传输给控制器; 反之则不被传输。
为了方便分析, 首先作如下假设:
假设1 传感器为时钟驱动, 具有恒定采样周期为h, 采样时刻记为ikh, ik=0, 1, 2, …, 采样数据为x(ikh), 数据均采用单包传输, 系统所有状态均可测量。
假设2 控制器和执行器为事件驱动, 数据传输时刻记为tkh, tk=0, 1, 2, …, 传输数据为x(tkh), 显然数据传输时刻的集合{tkh, tk=0, 1, 2, …}是采样时刻集合{ikh, ik=0, 1, 2, …}的子集。
假设3 若控制器采用静态状态反馈, 从事件发生器到控制器、控制器到执行器的传输时延, 以及控制器的计算时延可归并为
假设4 零阶保持器(ZOH)用来保持控制器传输来的最新数据包, 保持区域Ω =[tkh+
基于上述假设, ZOH的保持区间(t∈ Ω )可划分为以下子集:Ω l, k=[ikh+
且0< τ 1≤ τ (t)≤ h+
为了兼顾NCS期望性能的要求及网络通讯资源的节约使用, 引入如下离散事件触发条件:
式中:V为正定的权矩阵; δ 1> 0、δ 2> 0为给定的标量参数, 与系统的期望性能指标有关; e(ikh)表示当前采样时刻与最近数据传输时刻的状态差值, 简称状态误差, 其计算公式为:
若条件满足, 则tk+1h为下一个需要传输的数据包的时刻。
注1 从式(3)(4)可以看到, 引入DETCS后, 只有满足触发条件的部分采样数据x(ikh)被传输至控制器, 因此可以预计, 只要触发参数选择适当, 这种通讯机制不仅会减少网络中的数据传输量和控制信号的计算量, 节约网络资源, 而且在满足控制需求的情形下, 使得数据的传输变为自适应变周期方式, 即DETCS可以改善PTTCS未考虑采样数据是否对更新控制信号有用, 就以定周期连续传输, 致使网络资源被大量冗余数据传输而占用的现状。
注2 与需要通过额外硬件设备对传感器输出量进行连续检测的连续事件触发通讯(Continuous event-triggered communication scheme, CETCS)方式相比[18], 本文所采用的DETCS方式, 以一个常采样周期获取系统的状态量, 然后利用离散时刻采样点的测量状态计算触发条件, 无需关注采样时刻间状态信息的变化, 这使得DETCS的实现仅通过一般智能传感器或者软件即可完成, 省去了添加硬件的问题。
1.2.1 被控对象
假设具有执行器饱和约束的非线性系统受控对象可描述为:
式中:x(t)∈ Rn、u(t)∈ Rm分别为系统的状态、控制输入向量; f(x(t))和g(x(t))分别在区域Rn× Rn内充分光滑, 且f(0)=0; sat(· ):Rn→ Rm为标准饱和函数, 即sat(u)=[sat(u1), sat(u2), …, sat(um)]T, sat(ui)sign(ui)min{1, |ui|}。
由于T-S模糊模型能够利用模糊逻辑系统的非线性映射能力, 对定义在一个致密集上的复杂非线性系统做到任意精度的一致逼近。所以, 依据T-S模糊模型建模方法, 非线性系统(6)可表示为如下一些局部线性动态系统。
系统的模糊规则i:如果θ 1(t)是Fi1且…θ n(t)是Fin, 则:
式中:θ (t)=[θ 1(t), …, θ n(t)]T为模糊前件变量; Fij为模糊集合, i=1, 2, …, r, j=1, 2, …, n, r为模糊推理规则数; Ai∈ Rn× n, Bi∈ Rn× m为适当维数的常数矩阵。
使用单点模糊化、乘积推理和平均加权反模糊化, 可得T-S全局动态模糊模型为:
式中:μ i(θ (t))=
为了简化描述, 记μ i(θ (t))=μ i。结合式(6)(8)可得:
式中:Δ f+Δ g为非线性系统(6)和T-S全局模糊模型(8)之间的近似误差, 即建模误差, 且:
1.2.2 具有执行器饱和约束的闭环故障NNCS
对于系统(9), 采用如下状态反馈控制器。模糊控制规则i:如果θ 1(t)是Fi1且…θ n(t)是Fin, 则
式中:Ki为控制器增益矩阵, i=1, 2, …, r。
结合式(1)(5), 则最近传输时刻的状态为:
结合式(12)(13), 根据PDC算法, 考虑ZOH的动态属性, 可得模糊化状态反馈控制律为:
令l(K)={x0∈ Rn:|kgx|≤ 1, g∈ [1, m]}, 矩阵K∈ Rm× n, kg是K的第g行, 称l(K)为反馈控制的非饱和域, 或饱和反馈控制的线性域, 即对任意的x∈ ℓ(K), sat(Kx)=Kx。
考虑执行器可能发生失效故障的情形, 其故障模型描述为:
式中:M={diag{m1, m2, …, mn}, mp∈ [0, 1], p=1, 2, …, n}为执行器故障矩阵, mp=1表示第p个执行器正常, mp=0表示第p个执行器完全失效, mp∈ (0, 1)表示第p个执行器部分失效, M∈ Φ , Φ 为所有可能执行器失效故障模式的集合。
结合式(9)(14)(15), 可得基于DETCS的闭环故障NNCS为:
假设存在适当维数的实常数矩阵Di, Eai和Ebi, 满足:
式中:Fi(t)为未知时变实值连续矩阵函数, 其元素Lebesgue可测, 且满足
则系统(16)可进一步描述为如下具有参数不确定性的执行器饱和非线性网络化闭环故障系统(Nonlinear networked closed-loop fault system, NNCFS)为:
Δ Ai、Δ Bi为范数有界的时变参数不确定性矩阵, 且:
x(t)=ϕ (t), t∈ [-τ 2, 0], ϕ (t)为给定的初始向量值连续函数。
注3 式(19)中不仅包含了网络传输时延、执行器故障及饱和约束, 还包含了离散事件触发条件的状态误差, 自然而然地将网络属性、元部件故障、饱和约束及通讯机制集成于一个数学模型, 为NNCS的容错控制器与DETCS触发参数的协同设计做好了铺垫。
为得到本文结果, 以下给出用到的4个引理。
引理1[19] 给定矩阵K、H∈ Rm× n, 对于x∈ Rn, 如果x∈ l(H), 则有:
式中:co{· }为Υ qKx+
假设Υ 的每个元素被标记为Υ q, q∈ [1, 2m], 即Υ ={Υ 1:q∈ [1, 2m]}。定义
引理2[20] 假设f1, f2, …, fN∶ Rm→ R在开集D的子集中有正值, D∈ Rm。那么, 在集合D中fi的互反凸组合满足:
式中:{gi, j∶ Rm→ R, gj, i(t)}
引理3[21] 任意矩阵N∈ Rn× n, N=NT≥ 0、标量γ > 0及向量值函数
引理4[22] 对于具有适当维数的矩阵Y、M和E, 其中Y=YT, 则:
对所有满足FT(t)F(t)≤ I的矩阵F(t)成立, 当且仅当存在常数ε > 0, 使得如下不等式成立:
针对执行器饱和约束及失效故障, 基于DETCS的不确定NNCS鲁棒容错控制的设计目标为:寻求状态反馈增益矩阵Kj(j=1, 2, …, r)与离散事件触发条件中的触发权矩阵V, 使得对所有可能的执行器失效故障M∈ Φ , 系统(19)具有鲁棒完整性并尽可能节约网络通讯资源。
采用椭球域求取不变集, 进而估计吸引域。令P∈ Rn× n是一个正定矩阵, 对一个正数ρ , 定义椭球体ε (P, ρ )={x∈ Rn, xTPx≤ ρ }, 记ε (P)表示ε (P, 1)。
定理1 在DETCS(3)、(4)下, 考虑系统(19), 给定常数τ 2> τ 1> 0, δ 1> 0, δ 2> 0, δ 3> 0, 如果存在对称正定矩阵P、Q1、Q2、S1、S2、Rκ (κ =1, 2, 3), 正定矩阵V及适当维数的矩阵Kj、Hj(j=1, 2, …, r), 使得对任意可能的执行器失效故障模式M和可接受的参数不确定性, 满足下列矩阵不等式:
式中:* 是由矩阵对称性得到的矩阵块;
Ξ 1=
当Π 1=[
证明 构造Lyapunov-Krasovskii泛函:
式中:PT=P> 0,
沿着系统(19)的任意轨迹对V(x(t))求导, 得:
根据引理1, 得:
结合式(34)(36), 得:
式中:ζ T(t)=[xT(t) xT(t-τ (t)) xT(t-τ 1) xT(t-τ av) xT(t-τ 2) eT(ikh)]。
根据引理3, 得:
根据互反凸组合引理2, 得:
式中:
同理, 得:
式中:
对于通讯机制(3)、(4), 当ikh∈ Ω 时, 显然:
根据式(33)~式(42), 则有:
因为τ av=τ 1+(τ 2-τ 1)/2, 即τ 2-τ av=τ av-τ 1, 为简化描述, 令:
应用Schur补引理, 式(45)转换为式(27)。即如果定理1成立, 则
证毕。
注4 定理1中除了包含网络时延信息τ 1、τ 2外, 还包含了与状态误差e(ikh)和以最近被传输状态x(tkh)相关的离散事件触发条件参数δ 1、δ 2, 使得所得到的结论不仅是时滞依赖的, 而且也是状态误差及传输状态依赖的, 即时滞/事件触发共同依赖。当δ 1、δ 2趋于0时, tk+1h=tkh+h, 此时所有的采样数据以常采样周期h通过通讯网络被传输, DETCS退化为PTTCS, 也即PTTCS下的容错设计仅为DETCS下容错设计的一种特例, 而DETCS下则兼顾了通讯资源的使用与系统性能。
注5 当ikh∈ Ω 时, 式(41)成立, 假设V=I, 则式(41)可转换为:
根据L2范数的工程意义, 若二次范数‖ · ‖ 2为信号所具有的能量, 则式(46)左边表示状态误差信号与当前采样状态信号的能量比, 触发参数
注6 定理1从减少保守性、降低计算复杂度角度出发来获取系统(19)稳定的不变集充分条件。其中, 在构造Lyapunov-Krasovskii泛函时, 运用了能够减少结论保守性的时延分段技术, 因需权衡保守性与计算效率, 本文选取分段数为2, 即, 式(30)中, 所构造的V2(x(t))项包含了时延子区间[-τ av, -τ 1]和[-τ 2, -τ av]; 在推证时, 对Lyapunov-Krasovskii泛函导数项的放大处理, 本着既尽可能小的放大和不忽略任何有用项, 又不增加决策变量、加大计算量的原则, 未采用自由权矩阵方法, 而是采用了一种性能等价于积分不等式引理且决策变量数少于Jensen积分不等式的互反凸组合引理2[20]。
定理2 在DETCS(3)、(4)下, 考虑系统(19), 给定常数τ 2> τ 1> 0, δ 1> 0, δ 2> 0, δ 3> 0, 如果存在对称正定矩阵X、
式中:* 是由矩阵对称性得到的矩阵块:
Σ 1=
Σ 3=-
-BiM(Υ q
-EbiM(Υ qKj+
执行器饱和参数不确定NNCFS(19)渐近稳定, 系统状态轨迹仍能保持在不变集ε (P)内, 且式(14)是一使得系统(19)具有鲁棒完整性的控制律, 控制器参数及离散事件触发权矩阵可分别由式Kj=
证明 将式(20)(21)代入式(27), 式(27)等价为:
式中:
Ξ 2=
Π 2=[Ai BiM(Υ qKj+
-BiM(Υ qKj+
Π 3=[
Π 4=[Eai EbiM(Υ qKj+
-EbiM(Υ qKj+
应用引理4, 式(51)等价为:
式中:Ξ 3=-(
Ξ 4=-(
Ξ 5=-(
Π 5=[
Π 6=[Eai EbiM(Υ qKj+
-EbiM(Υ qKj+
当
将式(53)代入式(52), 应用Schur补引理, 并对变换后的结果进行合同变换, 即两端同时乘以对角矩阵diag{P-1, P-1, P-1, P-1, P-1, P-1, I, I, I, I, I}, 并令P-1=X; XS1X=
同样对式(28)(29)两端同时乘以对角矩阵diag{P-1, P-1}则可得式(48)(49)。
对执行器饱和反馈控制的线性域条件做如下变换:
因为P-1=X, HjX=
证毕。
注7 本文所研究的执行器饱和NNCS鲁棒容错控制的设计方法, 并未孤立求取控制器增益, 而是通过离散事件触发条件参数δ 1、δ 2的合理设定, 兼顾QoP和QoS, 折中平衡系统性能与网络通讯量, 进行了鲁棒容错控制器Kj与离散事件触发条件权矩阵V的协同设计。
考虑闭环系统(19), 采用文献[11]的非线性系统模型数据。
系统模糊规则如下:
Rule 1:if x1(t) is μ 1, then
Rule 2:if x2(t) is μ 2, then
选用模糊隶属度函数为:μ 1(x1(t))=sin2(x1(t))和μ 2(x1(t))=cos2(x1(t))。
式中:A1=
Eai=Ebi=
F1(t)=F2(t)=
通过计算得出:A1的特征值为-3.4142, -0.5858; A2的特征值为-2.4142, 0.4142, 即系统在未引入控制器时是不稳定的。
针对执行器正常和各种失效故障情形, 取:M0=diag{1, 1}表示执行器正常, M1=diag{0, 1}, M2=diag{1, 0}分别表示执行器1、执行器2发生完全失效故障, M3=diag{0.89, 0.12}表示执行器1、2发生部分失效故障。
若采样周期h=0.1 s, 实际网络传输时延上、下界分别为
K1=
K2=
相应的离散事件触发权矩阵为:
V=
取系统初始状态为x(0)=[2 -2]T, 此时执行器在正常M0和发生M1、M2、M3故障情形下, 其状态分量x1、x2的响应曲线图分别如图2(a)(b)所示, 离散事件触发NNCS数据实际传输时刻与传输间隔关系如图3所示。
(1)从图2(a)(b)可以看出:引入DETCS后, 对于不同执行器失效故障情形, 即使执行器具有饱和约束, 不确定NNCS仍是渐近稳定的。说明采用本文方法, 使得在DETCS下所设计的鲁棒容错控制器对NNCS执行器故障的容错是有效的。进而结合图2(a)(b), 从图3中可看出:当系统状态趋于平衡点附近后, 离散事件触发条件满足的机率减少, 传输数据在3.9 s后变得稀疏, 通讯频率较暂态过程明显减少, 通讯周期自然变大, 这表明在DETCS下, 信息完全按需传输, 且依据系统当前状态和状态变化量是否满足触发条件, 数据的传输方式从常周期变为了自适应变周期的传输方式。
(2)依据上述仿真, 在DETCS下, 离散事件触发参数δ 1=0.7, δ 2=0.02时, 20 s的仿真时间内, 系统实际数据传输量为n=47, 平均传输周期为:
数据传输率为:
可以看到与PTTCS(传输周期为0.1 s, 20 s内传输量为200个)相比, 系统实际传输数据减少了153个, 平均传输周期增大了0.326 s, 数据传输率节省了76.5%。这表明与依靠物理时钟驱动进行数据传输的PTTCS相比较, 依据系统性能需求、实时状态及其变化量完成系统状态传输的DETCS的引入, 可有效地减少网络通讯负载, 节约网络资源。
上述仿真对结论有效性进行了验证, 下面分别选取不同的触发参数δ 1、δ 2, 分析说明采样周期h=0.1 s, 控制时段T=20 s时, 随着触发参数的变化, 系统性能及网络通讯资源的占用情况。
由表1和表2可以看出:在给定的20 s控制时段内, 随着触发参数δ 1或δ 2的不断增大, 需传输的数据n和数据传输率γ e/t逐渐减少, 数据平均传输周期
发条件中触发参数的合理选择, 可使系统期望性能与通讯资源占用折中平衡, 从而实现NCS鲁棒容错控制与网络资源有效利用的协同设计目标。
在DETCS下, 针对具有执行器饱和约束的NNCS, 考虑网络诱导时延及更一般的执行器失效故障, 建立了离散事件触发闭环故障NNCS模型, 然后基于所建模型推证出使系统稳定的时滞且事件触发依赖的不变集充分条件, 并以LIMs方式给出了兼顾网络资源节约利用和系统性能协同设计的鲁棒容错控制器求解方法。最后通过仿真算例验证了文中所述方法可以在DETCS下, 使得饱和NNCS具有容错性能的同时节约了网络资源。进而还通过不同触发参数的选择, 计算分析了该参数与通讯资源、系统性能之间的关系, 得出了离散事件触发参数δ 1、δ 2的增大, 可使更多的网络资源被节省, 但同时会使系统性能降低的结论。
The authors have declared that no competing interests exist.
[1] |
|
[2] |
|
[3] |
|
[4] |
|
[5] |
|
[6] |
|
[7] |
|
[8] |
|
[9] |
|
[10] |
|
[11] |
|
[12] |
|
[13] |
|
[14] |
|
[15] |
|
[16] |
|
[17] |
|
[18] |
|
[19] |
|
[20] |
|
[21] |
|
[22] |
|