基于状态估计的飞行器集群系统的一致性控制方法与流程

1.本发明涉及计算机控制技术领域，尤其是指一种基于状态估计的飞行器集群系统的一致性控制方法。


背景技术：

2.近年来，世界各国针对多飞行器协同控制的研究方兴未艾。特别是针对多个飞行器集群系统的一致性控制更成为该领域的研究热点。与单个飞行器相比，飞行器集群系统通常具有更低的成本,更好的环境适应性和鲁棒性，以及更为强大的作业能力。因此，飞行器集群系统在军用和民用方面都具有巨大的应用潜力。
3.飞行器集群系统的理论基础来源于多智能体系统，这类系统具有复杂的通信网络，其中网络的变化也会对飞行器集群系统的一致性控制产生影响。如文献【lin p,jia y.average consensus in networks of multi-agents with both switching topology and coupling time-delay[j].physica a:statistical mechanics and its applications,2008,387(1):303-313.】，该文章研究了切换拓扑和时间延迟情况下的多智能体系统的一致性控制问题，并且通过构造误差系统带入到李雅普诺夫函数中进而推导出充分条件的方法解决了该问题。此外，在文献【zhang z,yang g.distributed fault detection and isolation for multiagent systems:an interval observer approach[j].ieee transactions on systems,man,and cybernetics:systems,2018,50(6):2220-2230.】中，作者及其团队研究了多智能体系统遇到外部攻击时所要考虑的故障诊断和隔离的问题，该文中也主要是靠一般区间观测器来进行故障诊断的。
[0004]
通常而言，一致性控制的目标在于保证一致性系统在跟踪预定飞行轨迹的前提下，保持某种特定的队形。例如，在军事动态目标的侦查任务中，飞行器之间需要保持一定的距离与角度，以同样的速度对目标进行跟踪观测。这样可以获得单个飞行器无法实现的高分辨率。单纯的一致性控制已获得广泛研究，并已取得很多研究成果。但当飞行器集群系统的飞行空间存在未知障碍物时，诸如实时避障机动和飞行器之间的防撞等因素就必须予以重点考虑，因此障碍空间中的一致性控制更具有挑战性。
[0005]
在多飞行器的区间估计领域，近年来各国学者提出了许多不同的方法。比如正系统方法，可达集估计方法，区间盒子方法等。在传统的一般系统的集中式观测基础上可以对多智能体类系统进行分布式拓展，演化为分布式观测。同时，从控制过程中所设计的信息流的方向来看，控制方法可以粗略地分为两类：集中式控制策略和分布式控制策略。在集中式控制结构中，要求系统具有一个全局的"主机"，即具有全局的系统信息。集中式控制的主要问题在于计算的复杂性和系统的脆弱性。分布式方法主要利用局部信息(相对方向、速度等)执行全局集群控制，因此具有更好的系统鲁棒性和灵活性。在多飞行器集群系统的一致性控制中，设计一致性控制协议，同时提出李雅普诺夫能量函数并利用能量递减原理来实现一致性控制是较好的方法，其突出优点在于该方法的实用和简单。然而，在过去的工作中，大部分都是使用分布式观测器或者一般区间观测器来进行飞行器集群系统的一致性控
制协议设计。对于这两类情况，前者不适用于存在大量外部扰动的情况，而后者则不适用于具有通信网络飞行器集群系统。
[0006]
在建模方法上，由于飞行器集群系统有多个子飞行器系统，需要合适的系统理论以贴合实际。从现有文献可以看出，大多采取单个飞行器理论对其进行建模，而忽略了通信网络的存在，这并不符合实际。
[0007]
在研究问题上，研究人员大多都关注于多智能体系统的稳定控制和收敛速度的课题。事实上，对于干扰下的该系统，更需要关注的是确保系统状态保持在一个理想的控制精度和系统的鲁棒性问题，而不是收敛速度问题。比如一个物理上的飞行器集群系统，研究让整个飞行器系统的移动队形保持在一个安全而且精确的范围并且不受电磁干扰的影响这两个问题更具实际意义，并不需要考虑其过快的控制速度。


技术实现要素：

[0008]
为此，本发明所要解决的技术问题在于克服现有技术中的不足，提供一种基于状态估计的飞行器集群系统的一致性控制方法，可以结合通信网络结构建模、提高飞行器集群系统的抗干扰能力和集群作业能力。
[0009]
为解决上述技术问题，本发明提供了一种基于状态估计的飞行器集群系统的一致性控制方法，包括：
[0010]
建立飞行器的非线性运动方程，根据所述飞行器的非线性运动方程构建飞行器的线性方程，根据飞行器的通信拓扑结构和所述飞行器的线性运动方程建立飞控集群系统；
[0011]
建立所述飞控集群系统的分布式区间观测器，
[0012]
使用所述分布式区间观测器使所述飞控集群系统中的所有飞行器达到一致性控制。
[0013]
作为优选的，所述飞行器的非线性运动方程包括三个平动方程和三个旋转方程，
[0014]
所述三个平动方程为：
[0015][0016]
所述三个旋转方程为：
[0017][0018]
其中，m是飞行器质量，u、v、w分别是x、y、z轴三个方向的平移速度，p、q、r分别是x、y、z轴三个方向的旋转速率，g是地球的重力加速度，φ是滚动角，θ是俯仰角，x、y、z分别是由空气动力学和推进力引起的x、y、z轴三个方向的外力，
·
表示对参数求一阶导数；i
x
是x方向的惯性矩、iy是y方向的惯性矩、iz是z方向的惯性矩、i
xz
是xz面的惯性矩，lf、m分别是由空气动力学和推进力引起的x、y轴两个方向的力矩；
[0019]
其中，θ、φ和偏航角ψ的动态系统为：
[0020][0021]
作为优选的，根据所述飞行器的非线性运动方程构建飞行器的线性方程，具体为：
[0022]
令飞行器处于直线和水平的非加速飞行中，此时v＝p＝r＝φ＝0，简化公式(1)和(2)得到：
[0023][0024]
令飞行器处于平衡状态，此时满足：
[0025][0026]
其中，u0表示x轴方向的平移速度初始值，u表示x轴方向的速度变化值，q0表示y轴方向的旋转速率初始值，q表示y轴方向的旋转速率变化值，x0表示x轴方向的外力初始值，d()表示对参数量的求导，dx表示x轴方向的外力变化值，w0表示z轴方向的平移速度初始值，w表示z轴方向的速度变化值，m0表示由空气动力学和推进力引起的y轴方向的力矩初始值，dm表示由空气动力学和推进力引起的y轴方向的力矩变化值,θ0表示俯仰角的初始值，θ表示俯仰角的变化值；
[0027]
将公式(5)带入到公式(4)中得到：
[0028][0029]
用状态空间的形式表示纵向线性运动方程为：
[0030][0031]
其中，α＝α
t-α0，α
t
表示攻角的瞬时值，α0表示攻角初始值，xu表示沿x体轴的力的导数，zu表示沿z体轴和前进速度的力的导数，mu表示俯力矩前进速度的导数，x
α
表示沿x体轴和攻角的力的导数，z
α
表示沿z体轴和攻角的力的导数，m
α
表示俯仰力矩的导数，zq表示沿z体轴的力的导数，mq表示俯仰力矩的导数，x
δ1
表示第一个飞行器的沿x轴方向控制偏转的力
导数，z
δ1
表示第一个飞行器的沿z轴方向控制偏转的力导数，m
δ1
表示第一个飞行器的俯力矩控制偏转的导数，x
δ2
表示第二个飞行器的沿x轴方向控制偏转的力导数，z
δ2
表示第二个飞行器的沿z轴方向控制偏转的力导数，m
δ2
表示第二个飞行器的俯力矩控制偏转的导数，x
δn
表示第n个飞行器的沿x轴方向控制偏转的力导数，z
δn
表示第n个飞行器的沿x轴方向控制偏转的力导数，m
δn
表示第n个飞行器的俯力矩控制偏转的导数；δ1,...,δn是外部控制输入的变化，n表示飞行器的总个数；
[0032]
在短周期模式下简化公式(7)得到所述飞行器的线性方程为：
[0033][0034]
作为优选的，所述根据飞行器的通信拓扑结构和所述飞行器的线性运动方程建立飞控集群系统，具体为：
[0035]
使用有向图理论建立飞行器的通信拓扑结构表示，结合所述飞行器的通信拓扑结构表示和所述飞行器的线性运动方程建立飞控集群系统。
[0036]
作为优选的，所述使用有向图理论建立飞行器的通信拓扑结构表示，具体为：
[0037]
建立有向图g＝(ν,ε,a)，有向图g中的每个节点代表一个飞行器，将第i个飞行器用νi表示，所有飞行器组成ν＝{ν1,ν2,
…
,νi,
…
,vn}；是有向图中边的集合，两个节点构成一条边，即第i个飞行器vi和第j个飞行器vj构成的边e
ij
＝(νi,νj)；a＝[a
ij
]∈r
n*n
表示邻接矩阵，其中a
ij
表示边e
ij
的权重，r
n*n
表示n
×
n维的欧几里得空间；
[0038]
建立对角矩阵d，d的对角元素为构建拉普拉斯矩阵l
x
为：
[0039]
l
x
＝d-a，l
x
＝[l
ij
]∈r
n*n
ꢀꢀꢀꢀ
(9)，
[0040]
其中，
[0041][0042]
作为优选的，所述飞控集群系统为：
[0043][0044]
其中，i表示第i个飞行器的状态空间方程，xi(k)表示第i个飞行器在k时刻的状态向量，b表示第i个飞行器输入矩阵，ui(k)表示第i个飞行器在k时刻的输入向量，ωi(k)表示第i个飞行器在k时刻的外部扰动向量，yi(k)表示第i个飞行器在k时刻的输出向量，c表示第i个飞行器的输出矩阵。
[0045]
作为优选的，建立所述飞控集群系统的分布式区间观测器，具体为：
[0046]
建立所述飞控集群系统分布式区间观测器的结构为：
[0047][0048]
其中，γ表示飞行器集群系统的耦合强度，-表示参数的上界，_表示参数的下界，m
x
表示分布式区间观测器的增益；
[0049]
所述分布式区间观测器的增益满足：存在矩阵p
x
＞0和常数β＞0,τ＞0，使得以下三个条件成立：
[0050]
条件一：a-lc是metzler矩阵；
[0051]
条件二：
[0052]
条件三：其中，u＝p
x
l，a(l
x
)表示飞行器集群系统的连通强度，p
x
表示李雅普诺夫函数中的正定矩阵，β是一个常数量，τ表示扰动对状态的影响参数，表示矩阵之间的小于关系，*表示矩阵中的转置量，i是单位矩阵，l表示观测器的集中式增益，
[0053]
作为优选的，使用所述分布式区间观测器使所述飞控集群系统中的所有飞行器达到一致性控制，具体为：
[0054]
建立所述飞控集群系统中每个飞行器的控制协议，将每个飞行器的控制协议的反馈作用于所述飞控集群系统得到闭环系统，在所述闭环系统下使所述飞控集群系统中的所有飞行器达到一致性控制。
[0055]
作为优选的，建立所述飞控集群系统中每个飞行器的控制协议，将每个飞行器的控制协议的反馈作用于所述飞控集群系统得到闭环系统，具体为：
[0056]
建立第i个飞行器的控制协议为：
[0057][0058]
其中，c表示控制协议权重，代表控制协议的上界控制矩阵，k代表控制协议的下界控制矩阵；
[0059]
将公式(13)带入公式(11)中，得到所述闭环系统为：
[0060][0061]
作为优选的，在所述闭环系统下使所述飞控集群系统中的所有飞行器达到一致性控制，满足的条件为：
[0062]
在满足对称矩阵p
x
＞0、q
x
＞0和常数γ＞0、ε1＞0的情况下，使得以下的线性矩阵不等式成立：
[0063][0064][0065]
其中，
[0066]
π
21
＝∏
31
＝∏
32
＝π
42
＝0,
[0067][0068][0069][0070][0071][0072][0073]
w＝p
x
bk,
[0074]
u＝p
x
l,
[0075]mx
＝q
x-1
,
[0076][0077]in-1
表示n-1阶的单位矩阵，表示克罗内克积，diag{}表示对角矩阵，λ2,...,λn表示l
x
的特征值；
[0078]
此时飞行器集群系统中的所有飞行器达到一致性控制状态。
[0079]
本发明的上述技术方案相比现有技术具有以下优点：
[0080]
本发明将通信网络结构考虑在内对飞行器集群系统进行建模，解决了现有技术中对飞行器集群系统建模不贴合实际这一缺点；通过建立分布式区间观测器并对飞行器集群系统进行状态估计，在有外部扰动的情况下仍可以获取系统的状态估计区间，有效抵抗了外部扰动。通过使用所述分布式区间观测器使飞控集群系统中的所有飞行器达到一致性稳态，提高了控制精度和系统鲁棒性。
附图说明
[0081]
为了使本发明的内容更容易被清楚的理解，下面根据本发明的具体实施例并结合附图，对本发明作进一步详细的说明，其中
[0082]
图1是本发明的流程图；
[0083]
图2是飞行器轴系统的示意图；
[0084]
图3是飞行器纵向轴系统的是示意图。
具体实施方式
[0085]
下面结合附图和具体实施例对本发明作进一步说明，以使本领域的技术人员可以更好地理解本发明并能予以实施，但所举实施例不作为对本发明的限定。
[0086]
本发明使用到的定义和引理：
[0087]
定义1：在本系统中，扰动ωi(k)是未知但有界的，初始状态xi(0)也是有界的，具体如下：
[0088][0089][0090]
其中，ωi(k)表示第i个飞行器受到的扰动的下界，表示第i个飞行器受到的扰动的上界，xi(0)表示第i个飞行器初始状态的下界，表示第i个飞行器初始状态的上界。
[0091]
定义2：如果在系统(1)中能够找到一对状态当初始状态满足时，使得对于任意的k＞0，都有其中，xi(k)表示第i个飞行器状态的下界，表示第i个飞行器状态的上界，xi(0)表示第i个飞行器初始状态的下界，表示第i个飞行器初始状态的上界。
[0092]
定义3：如果满足以下两个条件，则函数观测器被称为系统(1)的h
∞
函数观测器
[0093]
1、ω(k)＝0，观测器与系统之间的误差渐近稳定。
[0094]
2、ω(k)≠0，在零初始条件下有不等式成立，其中γ＞0是h
∞
的性能指标，e(k)为k时刻观测器与系统之间的误差。
[0095]
引理1：考虑一个向量x∈rn，存在满足和一个常数矩阵a∈rm×n，那么a

表示将矩阵a中所有的正数按照原数值表示、所有的负数用0代替所形成的新的矩阵，a-＝a
-a。
[0096]
引理2：对给定的对称矩阵a＝a
t
,c＝c
t
和具有合适维数的矩阵b，则以下三个条件是等价的：
[0097]
1、
[0098]
2、2、表示矩阵中的大于关系；
[0099]
3、
[0100]
参照图1所示，本发明公开了一种基于状态估计的飞行器集群系统的一致性控制方法，包括：
[0101]
s1：建立飞行器的非线性运动方程，根据所述飞行器的非线性运动方程构建飞行器的线性方程，根据飞行器的通信拓扑结构和所述飞行器的线性运动方程建立飞控集群系统。
[0102]
s1-1：建立飞行器的非线性运动方程：
[0103]
如图2所示，通过牛顿第二定律建立飞行器的非线性运动方程，根据定律，作用在飞行器上的所有外力的总和必须等于线性动量的时间变化率，作用在飞行器上的所有外部力矩的总和必须等于角动量的时间变化率。为了简化飞行器运动方程的推导，假设飞行器是一个刚体，飞行器的质量随时间保持不变，而地球则提供了一个固定的惯性参考系，所述飞行器的非线性运动方程包括三个平动方程和三个旋转方程，
[0104]
所述三个平动方程为：
[0105][0106]
所述三个旋转方程为：
[0107][0108]
其中，m是飞行器质量，i
x
是x方向的惯性矩、iy是y方向的惯性矩、iz是z方向的惯性矩、i
xz
是xz面的惯性矩，g是地球的重力加速度，φ是滚动角，θ是俯仰角，ψ是偏航角；m是飞行器质量，u、v、w分别是x、y、z轴三个方向的平移速度，p、q、r分别是x、y、z轴三个方向的旋转速率，i
x
是x方向的惯性矩，x、y、z分别是由空气动力学和推进力引起的x、y、z轴三个方向的外力；lf、m、n分别是由空气动力学和推进力引起的x、y、z轴三个方向的力矩；
·
表示对参数求一阶导数，即表示对p求一阶导数、表示对q求一阶导数，表示对r求一阶导数、其他同理。
[0109]
图2显示了飞行器体轴的力、力矩、角度、速度以及描述飞行器运动所必需的旋转速率，图2中ye表示现实生活中的东方向，ze表示现实生活中的垂直于地面的方向，xe表示现实生活中的北方向。
[0110]
其中，欧拉角θ、φ和ψ的动态系统为：
[0111][0112]
公式(1)、(2)描述了飞行器的运动，公式(3)描述了飞行器相对于地球的方向。
[0113]
s1-2：根据所述飞行器的非线性运动方程构建飞行器的线性方程：
[0114]
s1-2-1：为了将上述方程发展为纵向线性运动方程，假设飞行器处于直线和水平的非加速飞行中，系统考虑的唯一干扰是外部力x和外部力矩m，这些干扰运动方程不产生任何侧力，因此，任何滚动力矩、偏航力矩、滚动率、偏航率和侧速度保持不变，所以有三个方程可以忽略。此时v＝p＝r＝φ＝0，简化公式(1)和(2)得到：
[0115][0116]
s1-2-2：如图3所示，纵向变量与飞行器的方向及其总速度矢量v
t
相关，总攻角α
t
与相等，图3中v
t
表示沿着飞行路径的总速度，α
t
表示总攻角的瞬时值。假设飞行器处于平衡状态，总的线速度和角速度、欧拉角和总的外部力和力矩均可以记为它们的平衡值和摄动值的总和，此时满足：
[0117][0118]
其中，u0表示x轴方向的平移速度初始值，u表示x轴方向的速度变化值，q0表示y轴方向的旋转速率初始值，q表示y轴方向的旋转速率变化值，x0表示x轴方向的外力初始值，dx表示x轴方向的外力变化值，w0表示z轴方向的平移速度初始值，w表示z轴方向的速度变化值，m0表示由空气动力学和推进力引起的y轴方向的力矩初始值，dm表示由空气动力学和推进力引起的y轴方向的力矩变化值,θ0表示俯仰角的初始值，θ表示俯仰角的变化值；d()表示对参数量的求导、即dx表示对x进行求导，其他同理；
[0119]
s1-2-3：将公式(5)带入到公式(4)中，并进行求导处理，得到：
[0120][0121]
公式(6)中的方程相对于摄动变量是线性的，
[0122]
s1-2-4：线性纵向运动方程根据线性速度和角速度的扰动所引起的变化来表示外力和力矩的扩展表示；换句话说，力和力矩的偏导数都是关于摄动变量的。因此，可以用状态空间的形式表示纵向线性运动方程为：
[0123][0124]
其中，α＝α
t-α0，α
t
表示攻角的瞬时值，α0表示攻角初始值，xu表示沿x体轴的力的导数，zu表示沿z体轴和前进速度的力的导数，mu表示俯力矩前进速度的导数，x
α
表示沿x体轴和攻角的力的导数，z
α
表示沿z体轴和攻角的力的导数，m
α
表示俯仰力矩的导数，zq表示沿z体轴的力的导数，mq表示俯仰力矩的导数，x
δ1
表示第一个飞行器的沿x轴方向控制偏转的力导数，z
δ1
表示第一个飞行器的沿z轴方向控制偏转的力导数，m
δ1
表示第一个飞行器的俯力
矩控制偏转的导数，x
δ2
表示第二个飞行器的沿x轴方向控制偏转的力导数，z
δ2
表示第二个飞行器的沿z轴方向控制偏转的力导数，m
δ2
表示第二个飞行器的俯力矩控制偏转的导数，x
δn
表示第n个飞行器的沿x轴方向控制偏转的力导数，z
δn
表示第n个飞行器的沿x轴方向控制偏转的力导数，m
δn
表示第n个飞行器的俯力矩控制偏转的导数；δ1,...,δn是外部控制输入的变化，n表示飞行器的个数；
[0125]
s1-2-5：由于短周期模式实际上与飞行器的速度和俯仰角响应解耦，因此在短周期模式下简化公式(7)得到所述飞行器的线性方程为：
[0126][0127]
公式(8)提供了飞行器在短时间框架内对小振幅输入的瞬态响应的精确测量。
[0128]
s1-3：使用有向图理论建立飞行器的通信拓扑结构表示，结合所述飞行器的通信拓扑结构表示和所述飞行器的线性运动方程建立飞控集群系统：
[0129]
s1-3-1：所述使用有向图理论建立飞行器的通信拓扑结构表示。
[0130]
建立有向图g＝(ν,ε,a)，ν是一个具有有限个非空节点集合，有向图g中的每个节点代表一个飞行器，将第i个飞行器用νi表示，所有飞行器组成ν＝{ν1,ν2,
…
,νi,
…
,νn}；是有向图中边的集合，两个节点构成一条边，即飞行器vi和vj构成的边e
ij
＝(vi,νj)，将所有边的集合记作有限集ε，根据边和点的关系，可得边集满足a＝[a
ij
]∈r
n*n
表示邻接矩阵，其中a
ij
表示边e
ij
的权重，r
n*n
表示n
×
n维的欧几里得空间；如果a
ij
＝a
ji
，则该有向图可以看作为无向图。一般而言，各节点没有自旋，因此，a
ii
＝0。对于路径，以点k到点l为例，{(vk,v
k 1
),(v
k 1
,v
k 2
),...,(v
k m
,v
l
)}是点k到点l的一条有效路劲。
[0131]
对于网络中的任何一个点νi，这个点的出度是指以这个点为始点的边的数量，入度是指以这个点为终点的边的数量。
[0132]
当整个网络中所有的点都是出度和入度相等时，这个网络称为平衡网络。
[0133]
对于无向图而言，如果图形中的任意两个点，彼此总能够找到到达对方的路径，那么称这样的图是强连接的或强连通。
[0134]
对于有向图来说，如果存在一条边，从点νi开始到点νj结束，那么点νi是点νj一个父节点。如果对于一个有向图，仅仅存在以一个根节点，即它没有父节点，而其他的点有且仅有一个父节点，那么称这个有向图为有向树。如果某个图的生成子图为一颗有向图，那么这棵树称为生成树。
[0135]
建立对角矩阵d，d的对角元素为构建拉普拉斯矩阵l
x
为：
[0136]
l
x
＝d-a，l
x
＝[l
ij
]∈r
n*n
ꢀꢀꢀꢀ
(9)，
[0137]
其中，
[0138]
[0139]
通过这种构造易得拉普拉斯矩阵l
x
有一个对应的特征向量为1n的零特征量，即为l
x1n
＝0n,更进一步，如果图为强连通图，则其所有特征值都位于右半平面内。
[0140]
s1-3-2：结合所述飞行器的通信拓扑结构表示和所述飞行器的线性运动方程建立的飞控集群系统为：
[0141][0142]
其中，i表示第i个飞行器的状态空间方程，n表示飞行器的总数量，xi(k)表示第i个飞行器在k时刻的状态向量，b表示第i个飞行器输入矩阵，ui(k)表示第i个飞行器在k时刻的输入向量，ωi(k)表示第i个飞行器在k时刻的外部扰动向量，yi(k)表示第i个飞行器在k时刻的输出向量，c表示第i个飞行器的输出矩阵。
[0143]
本发明首先对飞行器系统进行建模，并且对非线性模型进行线性化和简单化处理，构建控制理论常用的状态空间方程；同时，将图理论融入飞行器系统中构成飞行器集群系统，具有较广的应用性。
[0144]
本发明建立的飞行器集群系统中各飞行器都是独立的，并且各飞行器在独立的基础上又有信息交流，所有飞行器的信息都可以在通信拓扑图规定的范围内进行流通。相比现有的飞行器模型，本发明中可以针对性地解决飞行器集群系统存在的复杂的通信拓扑和充满干扰难以准确测量的情况，本发明中的飞行器集群系统中的飞行器具有信息交流情况下的一致性问题，能更精准地描述飞行器集群系统的动态特性。
[0145]
s2：建立所述飞控集群系统的分布式区间观测器。
[0146]
建立所述飞控集群系统、即公式(11)对应的分布式区间观测器的结构为：
[0147][0148]
其中，γ表示飞行器集群系统的耦合强度，-表示参数的上界、即表示xi(k)的上界、表示ωi(k)的上界、其他同理，_表示参数的下界、即xi(k)表示xi(k)的下届、ωi(k)表示ωi(k)的下界、其他同理，m
x
表示分布式区间观测器的增益。
[0149]
所述分布式区间观测器的增益满足：存在矩阵p
x
＞0和常数β＞0,τ＞0，使得以下三个条件成立：
[0150]
条件一：a-lc是metzler矩阵(梅兹内矩阵)，c是设定的输出矩阵；
[0151]
条件二：
[0152]
条件三：其中，u＝p
x
l，a(l
x
)表示飞行器集群系统的连通强度，p
x
表示李雅普诺夫函数中的正定矩阵，β是一个常数量，τ表
示扰动对状态的影响参数，用于表示矩阵之间的大小关系，*表示矩阵中的转置量，i是单位矩阵，l
x
表示观测器的集中式增益，m
x
＝p
x-1
。
[0153]
本发明设计的区间观测器考虑到了通信拓扑图的影响，每个飞行器的观测器可以获得拓扑图中和它是邻居关系的飞行器的观测器的估计值，这类观测器就是分布式区间观测器，它的估计区间更加准确，而且抗干扰能力更好。
[0154]
s3：使用所述分布式区间观测器使所述飞控集群系统中的所有飞行器都处于统一状态，达到一致性控制。
[0155]
s3-1：建立所述飞控集群系统中每个飞行器的控制协议。
[0156]
建立第i个飞行器的控制协议为：
[0157][0158]
其中，c表示控制协议权重，代表控制协议的上界控制矩阵，k代表控制协议的下界控制矩阵；本实施例中，c和γ的取值根据实际的模型种类确定。
[0159]
s3-2：将每个飞行器的控制协议的反馈作用于所述开环的飞控集群系统得到闭环系统：
[0160]
将公式(13)带入公式(11)中，得到所述闭环系统为：
[0161][0162]
s3-3：在所述闭环系统下使所述飞控集群系统中的所有飞行器达到一致性控制，满足的条件为：
[0163]
在满足对称矩阵p
x
＞0、q
x
＞0和常数γ＞0、ε1＞0的情况下，使得以下的线性矩阵不等式成立：
[0164][0165][0166]
其中，
[0167]
π
21
＝п
31
＝п
32
＝п
42
＝0,
[0168][0169][0170][0171][0172]
[0173][0174]
w＝p
x
bk,
[0175]
u＝p
x
l,
[0176]mx
＝q
x-1
,
[0177][0178]in-1
表示n-1阶的单位矩阵，表示克罗内克积，diag{}表示对角矩阵，λ2,...,λn表示l
x
的特征值。本实施例中对称矩阵p
x
、q
x
和常数β、τ、γ、ε1的取值在matlab中求解线性矩阵不等式方程得到。
[0179]
采用了分布式控制的方法来设计控制增益(即使用公式(12)的观测器反馈的状态)，在依赖于状态反馈控制器ui的控制下，此时飞行器集群系统中的所有飞行器达到一致性控制状态。
[0180]
在此基础上，技术人员通过对软件仿真对实际飞行器集群系统中的飞行器的各参数进行矫正就可以完成飞行器集群系统的最终设计。
[0181]
本发明将通信网络结构考虑在内对飞行器集群系统进行建模，解决了现有技术中对飞行器集群系统建模不贴合实际这一缺点，可以收集邻居的信息完成更加精确的状态估计。通过建立分布式区间观测器并对飞行器集群系统进行状态估计，在有外部扰动的情况下仍可以获取飞行器集群系统的状态估计区间，有效抵抗了外部扰动。相比于现有技术，可以更好地避开飞行器集群系统运行过程难以避免的电磁和噪音干扰问题。通过使用所述分布式区间观测器使飞控集群系统中的所有飞行器达到一致性稳态，提高了控制精度和飞行器集群系统的鲁棒性。使得多飞行器的飞行器集群系统既能在无障碍情况下保持理想的一致性构型，又能在障碍情况下实施快速有效的集群机动飞行，从而保证一致性任务的安全有效实施。
[0182]
为了进一步说明本发明的有益效果，本实施例中将公式(11)和公式(12)做差得到误差系统为：
[0183][0184]
其中，ei(k)表示第i个飞行器在k时刻的误差；
[0185]
整合公式(17)得到一个综合系统为：
[0186][0187]
其中，
[0188]
针对系统(18)，因为矩阵a-lc是metzler矩阵，且和ω(k)-ω(k)≥0成立。根据定义1可知，和e(0)≥0。基于以上三点，根据单调正系统理论可知，
成立。在完成飞行器集群系统“正”性的基础证明后，继续进行飞行器集群系统的有界性证明。
[0189]
为了证明飞行器集群系统的有界性，需要构造一个成本函数，通过最小化一个参数值来获取最优的观测器增益值。具体如下：
[0190]
最小化：τ2ꢀꢀꢀ
(19)，
[0191]
使得：
[0192]
其中，表示ω(k)的最大值。
[0193]
根据有界实引理，将公式(19)转化为：
[0194][0195]
令得到：
[0196][0197]
令将公式(21)带入到公式(20)中，可得：
[0198][0199]
化简公式(22)得到：
[0200][0201]
公式(23)的主要部分可以写为：
[0202][0203]
通过引理2，公式(24)可以改写为：
[0204][0205]
对于公式(25)中的p
x
ω项，其中进行如下分析：
[0206][0207]
其中，表示正定矩阵。
[0208]
当公式(25)可以转化为：
[0209][0210]
将公式(27)带入到公式(25)中，可以得到
自此，飞行器集群系统的有界性证明完毕。
[0211]
接着，本实施例中将一致性控制协议带入到公式(11)中，得到闭环系统如下：
[0212][0213]
其中，公式(28)根据公式(14)耦合而来，和k表示控制矩阵。
[0214]
根据图论理论，l是实对称矩阵，因此必然存在一个实正交矩阵u使得u
t
λu＝l
x
。其中λ＝diag{λ1,...,λn}。0＝λ1≤...≤λn是矩阵l
x
的特征值。令同时去掉u的第一列得到使得可以得到则和ez(k)的状态空间方程为：
[0215][0216]
其中，z(k)表示系统变换后的状态向量，x(k)表示系统的状态向量，表示系统变换后的误差向量上界，ez(k)表示系统变换后的误差向量下界。
[0217]
建立李雅普诺夫函数如下：
[0218][0219]
为了使得多个飞行器达到状态一致，就要让李雅普诺夫能量函数单调递减，对于离散系统而言，以上条件等同于δv(k)＝v(k 1)-v(k)＜0，v(k)表示李雅普诺夫方程。
[0220]
将公式(29)带入到δv(k)＜0中，可以得到：
[0221][0222]
其中，
[0223][0224][0225][0226][0227][0228][0229]
ξ(k)表示联动系统的状态量，π表示公式(15)的矩阵，表示特定的参数值，由上式求得，表示二次范数的平方，a1，a2和a3表示特定的矩阵，由上式求得。
[0230]
由此可知，δv(k)＜0等同于π＜0，证明了飞行器集群系统可以达到一致性的稳定状态。结合飞行器集群系统的“正”性证明进和有界性证明，进一步证明了飞行器集群系统能在障碍情况下实施快速有效的集群机动飞行，从而保证一致性任务的安全有效实施。
[0231]
本领域内的技术人员应明白，本技术的实施例可提供为方法、系统、或计算机程序产品。因此，本技术可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且，本技术可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、cd-rom、光学存储器等)上实施的计算机程序产品的形式。
[0232]
本技术是参照根据本技术实施例的方法、设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器，使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
[0233]
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中，使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品，该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
[0234]
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上，使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理，从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
[0235]
显然，上述实施例仅仅是为清楚地说明所作的举例，并非对实施方式的限定。对于所属领域的普通技术人员来说，在上述说明的基础上还可以做出其它不同形式变化或变动。这里无需也无法对所有的实施方式予以穷举。而由此所引申出的显而易见的变化或变动仍处于本发明创造的保护范围之中。