[发明专利]网络化系统中的全向协同安全诊断方法、协同控制系统

权利要求书

1.一种网络化系统中的全向协同安全诊断方法，其特征在于，所述网络化系统中的全向协同安全诊断方法包括以下步骤：

第一步，将上位系统通过基于库所的指标分解的分解技术分解成多个下位系统；

第二步，计算第i个下位系统的可达状态，以及到达每个可达状态的最短步长；

第三步，通过分布式安全诊断的算法计算出第i个下位系统的安全性，如果结果有可行性解则说明第i个下位系统安全；重复第二步，否则说明第i个下位系统不安全；若所有的下位系统都是安全的则原系统安全；

所述第二步具体包括：

根据第i个子网中的库所和变迁以及token个数，算出第i个子网的可达状态；

算出第i个子网到达所有可达状态所需的最短步长，并用J表示；

所述第三步具体包括：

(1)定义分布式BSNNI，已知S＝＜N,M₀＞是一个CO-SNNI的复杂网络系统，S_i为S的子网(i∈N⁺)若对任意两个子网S₁,S₂∈S_i，若S₁，S₂是基于库所指标分解的，且S₁，S₂是BSNNI，则S是CO-BSNNI；

(2)S＝＜N,M₀＞是一个CO-SNNI的复杂网络系统，S_i为S的子网(i∈N⁺)，称S为CO-BSNNI，当且仅当每个子网满足以下条件：

(3)δ_ij为整数线性规划问题的最优解：

s.t.

(4)δ_i为整数线性规划问题的最优解：

Maxσ(t)

s.t.

其中，m_i0表示第i个子网的初始状态，c_il表示第i个子网中只包含低阶变迁的关联矩阵，δ_ij表示第i个子网整数线性规划的最优解，pre_i表示第i个子网的前置关联矩阵，c_i表示第i个子网的关联矩阵，t_H表示高水平变迁，t_L表示低水平变迁。

2.如权利要求1所述的网络化系统中的全向协同安全诊断方法，其特征在于，所述第一步的基于库所的指标分解包括：

定义1，∑＝(P,T；F,M0)为一个Petri网系统，函数f:P→{1,2,…,k}满足：使得或称f为N的库所指标函数，f(p)为库所p的指标；

定义2，∑＝(P,T；F,M₀)为一个Petri网，函数f:P→{1,2,…,k}为∑的库所指标函数，称∑_i＝(P_i,T_i,F_i,M_0i)(i∈{1,2,…,k})为N基于库所指标的分解网，∑_i满足：

①P_i＝{p∈P|f(p)＝i}；

②

③F_i＝{(P_i×T_i)∪(T_i×P_i)}∩F；

④M_0i＝Γp→p_i(M0)；

其中：Γ_p→pi(M₀)表示M₀在P_i上的投影，

定理3，N_i＝(P_i,T_i；F_i,M_0i)(i∈{1,2,…,k})为N＝(P,T；F,M0)的基于库所指标的分解网，则满足：且|t·|＜＝1。

3.一种应用权利要求1～2任意一项所述网络化系统中的全向协同安全诊断方法的协同控制系统。

4.一种应用权利要求1～2任意一项所述网络化系统中的全向协同安全诊断方法的信息数据处理终端。