[0004] 本发明的目的是针对目前我国城市排水管道的水流状态检测系统无法及时准确地对水流状态进行检测和估计,提供一种基于事件触发机制的城市排水管道的水流状态分布式估计方法。
[0005] 本发明方法基于无线传感器网络,采用事件触发机制的通信协议来缓解通信拥堵和节约能量消耗,同时利用单边Lipschitz函数来描述排水管网的非线性扰动,比一般的Lipschitz非线性适用范围更广。通过设计分布式状态估计器,使用线性矩阵不等式方法对分布式状态估计器进行求解,从而为城市排水管道水流状态检测提供了及时有效的方法。
[0006] 本发明方法的具体步骤是:
[0007] 步骤(1).构建多传感器网络模型与拓扑结构:
[0008] 在需要进行水流状态检测的区域布置数量为N的传感器,N个传感器分别测量该排水管道的水位高度、水压、流速、流量的状态信息;
[0009] N个传感器构成节点数为N、具有拓扑结构的传感器网络;利用有向图表示该传感器网络的拓扑结构;
[0010] 其中, 表示检测区域布置的传感器集合, 表示边的集合,C=[cij]N×N表示该有向图的加权邻接矩阵, cij表示传感器节点i和节点j之间的联结强度,[·]N×N表示由N×N个元素所构成的矩阵;cij>0表示传感器节点j此时刻有信息传输至传感器节点i;对所有 规定:若i=j,记cii=1,表示该传感器网络在通信时是自包含的。
[0011] 所有与传感器节点i 相连接的 传感器节点所构成的集合 ,记为
[0012] 步骤(2).建立城市排水管道的水流状态检测系统的状态空间模型:
[0013] 建立如下城市排水管道的水流状态检测系统动态方程:
[0014] 其中 表示k时刻排水管道的水流状态向量,x1(k)、x2(k)、x3(k)、x4(k)分别表示k时刻排水管道的水流流量、水流流速、水流水位、水流水压; 表示n×m维的实矩阵;上标T表示矩阵的转置;
[0015] 表示k时刻传感器节点i测量的水流状态值;
[0016] 表示k时刻待估计的输出信号;
[0017] 为能量有界的外部扰动;
[0018] 和 为已知的常数矩阵;
[0019] αi(k)∈[0,1]为一个服从已知随机分布的随机序列,用来描述传感器节点i在测量数据传输时出现的随机丢包现象;
[0020] 利用实验和统计分析的方法获得αi(k)的均值和方差,记为 和其中,E{·}表示随机变量的数学期望, 和 为已知标量;
表示城市工业生产和日常生活污水排放对检测区域水流产生的非线性干扰,该非线性干扰满足如下单边Lipschitz条件:
[0021] 条件1.对于任意 任意时刻k,存在标量ρ,非线性函数f(k,x(k))满足(k,u)‑f(k,v),u‑v>≤ρ||u‑v||;
[0022] 条件2.对于任意 任意时刻k,存在标量α,β,非线性函数f(k,x(k))满足T 2(f(k,u)‑f(k,v)) (f(k,u)‑f(k,v))≤β||u‑v||+α;其中,<·>表示欧几里得空间中的向量或矩阵的内积;||·||表示向量或矩阵的欧几里得范数。
[0023] 步骤(3).建立城市排水管道的水流状态检测系统的分布式状态估计器及误差系统模型:
[0024] (3‑1).设定传感器网络数据传输的事件触发机制:
[0025] 为了缓解由于大量传感器测量数据同时传输造成的通信拥堵现象并节约能量的消耗,本发明采用事件触发机制的通信协议。
[0026] 设定事件触发条件为: 其中,表示k时刻传感器节点i的测量输出与最后一次满足触发条件时该传感
器节点的测量输出之间的差值; 为已知大于0的标量;min{·}表示函数值的最小值; 表示传感器节点i最后一次满足触发条件的时刻, 表示传感器节点i下一次满足触发条件的时刻, 表示传感器节点i最后一次满足触发条件时传感器的测量输出,s∈{0,1,2,…}表示触发序列。
[0027] (3‑2).建立水流状态检测的分布式状态估计器:
[0028] 根据上述已建立的城市排水管道水流状态动态方程,建立分布式状态估计器模型: 其中,表示k时刻传感器节点i的估计向量,即状态向量x
(k)的估计值; 表示k时刻传感器节点i的估计向量所对应的非线性干扰;
表示k时刻传感器节点i对应的估计器的待估计输出信号;
表示待设计的状态估计器增益矩阵;符号∑表示数学中的求和运算。
[0029] 结合系统动态方程,分布式状态估计器改写为:
[0030]
[0031] (3‑3).建立水流状态检测的分布式估计误差系统:
[0032] 定义k时刻传感器节点i的水流状态检测的估计误差得到分布式估计误差系统方程如下:
[0033]
[0034]
[0035] 利用矩阵的Kronecker积原理,将上述系统改写为如下估计误差动态系统:
[0036]
[0037] 其中:
[0038] 式中, 表示矩阵A和矩阵B的Kronecker积;diag{…}表示对角矩阵;IN表示维数为N×N的单位矩阵;I表示维数适当的单位矩阵。
[0039] 定义增广向量 将上述估计误差动态系统进行增广,得到估计误差增广系统: 其
中:
[0040]
[0041] 步骤(4).城市排水管道水流检测系统分布式状态估计器的求解:
[0042] (4‑1).估计误差增广系统的稳定性分析:
[0043] 定义Lyapunov函数 其中为待求解的正定对角矩阵。
[0044] 假设干扰v(k)=0,计算该Lyapunov函数差分的数学期望,得到:
[0045]
[0046] 对于包含随机变量αi(k)的项 计算得到:
[0047] 其中,式中, 即ei是一个列块矩阵,它的第i个矩阵块是具有适当维数的单位矩阵I。
[0048] 对于城市排水管道水流状态检测系统中的事件触发项,由步骤(3)中的事件触发机制,得到触发条件不等式 因而,该Lyapunov函数差分的数学期望式写为:
[0049] 对于触发条件不等式,可以进一步改写为:
[0050]
[0051] 其中,矩阵 形式分别为:
[0052] 根据以上推导,得到:
[0053] 定义增广向量 利用单边Lipschitz非线性函数的两个条件,得到两
个不等式: 和 其中,ε1和ε2皆为
大于0的任意标量;式中的*号表示矩阵中的对称项,即矩阵中对称位置的转置元素。
[0054] 因此,该Lyapunov函数差分的数学期望式写为: 其中,
[0055]
[0056] 根据Lyapunov稳定性理论,当 时,可知估计误差增广系统在ν(k)=0时是均方稳定的。
[0057] (4‑2).扰动抑制性能分析:
[0058] 对任意非零的扰动ν(k),计算Lyapunov函数差分的数学期望,即:
[0059]
[0060] 定义增广向量
[0061] Lyapunov函数差分的数学期望式改写为 其中,
[0062]
[0063] 定义性能指标 其中标量γ为给定的扰动抑制性能指标,且γ>0。
[0064] 在零初始条件和前述第一步的均方稳定性条件下,有V(0)=0和V(∞)=0,且[0065] 得到:
[0066] 其中,
[0067] 当 时,J<0,即估计误差增广系统均方稳定,同时确保该估计误差增广系统具有给定的扰动抑制性能指标γ>0。
[0068] (4‑3).分布式状态估计器增益的求解:
[0069] 将 等价展开为
[0070] 其中,
[0071]
[0072] 对不等式Ψ<0同时左乘、右乘一个对角矩阵 并且令 得到线性矩阵 不等式 其中 ,
[0073] 利用MATLAB中的线性矩阵不等式工具箱,求解上述线性矩阵不等式 得到未知矩阵 和 的值;由 计算得到矩阵 的值;根据 得到本发明城市排水管道水流检测系统分布式估计器的增益
[0074] 本发明针对目前我国城市排水管道水流状态检测系统无法进行及时准确地检测和预警,提出了基于事件触发机制的分布式状态估计方法。本发明基于无线传感器网络方法,采用事件触发机制的通信协议来缓解通信拥堵和节约能量消耗,同时考虑了更一般形式的单边Lipschitz非线性函数。通过设计分布式状态估计器,使用线性矩阵不等式方法进行分布式状态估计器的求解,进行城市排水管道水流状态的估计,从而为城市排水管道水流状态检测提供了及时有效的方法,满足实际状态估计的安全性和准确性要求。