一种应对传感器与执行器组合网络攻击的信息系统弹性控制方法

本发明提出一种应对传感器与执行器组合网络攻击的信息系统弹性控制方法，包括：构建所述信息系统的标签Petri网模型，用于描述系统结构和观测信息，并采用一类广义互斥约束刻画控制规范；离线分析阶段，构建网络攻击模型，用于分析网络攻击对信息系统的影响；基于系统结构，设计在网络攻击下控制规范可满足性的判定规则，并设计决策规则；在线控制阶段，实时收集所述信息系统运行过程中由传感器信道生成的观测序列，判断当前系统状态是否满足控制规范，并根据决策规则对所述信息系统进行控制。本发明在不依赖系统可达性分析与状态估计的前提下，保证控制规范在组合攻击场景下依然得以满足，提升系统的运行安全性。