[发明专利]一种基于协作学习的信息物理系统高效屏障证书生成方法

摘要

本发明公开了一种基于协作学习的信息物理系统高效屏障证书生成方法，所述方法包括如下步骤：步骤一、对信息物理系统抽象建模成的约束连续系统中定义的约束条件进行形式化定义，获得系统域、初始状态集合、不安全状态集合，对上述集合分别进行高频采样和低频采样，生成用于获得屏障证书的训练数据；步骤二、利用低频采样获得的数据预训练初始模型，获得能够近似反映屏障证书的中间模型；步骤三、将步骤二中获得的中间模型作为初始模型，利用从节点进行协同学习，获得最终的屏障证书。本发明中的方法相对于现有的方法生成时间减少，生成成功率提高，而且可以为现阶段最先进的神经网络技术都无法处理的复杂系统合成屏障证书。