[发明专利]信息物理融合系统CPS的建模方法及装置

摘要

本发明公开了一种信息物理融合系统CPS的建模方法及装置，该方法包括分析信息物理融合系统CPS的功能需求，获得N个目标功能需求；其中，N为整数；分别建立N个目标功能需求的N个原子服务模型；组合N个原子服务模型，获得组合服务模型；由上可见，采用本发明的方法及装置，可实现对CPS的建模。

主权项

一种信息物理融合系统CPS的建模方法，其特征在于，包括：分析信息物理融合系统CPS的功能需求，获得N个目标功能需求；其中，所述N为整数；分别建立所述N个目标功能需求的N个原子服务模型；组合所述N个原子服务模型，获得组合服务模型；其中，针对任一目标功能需求，其建立原子服务模型的过程，包括：为所述目标功能需求分配唯一的标识符和通信端口；利用混成自动机模型HA＝(Q,X,Init,m,Inv,Jump)对所述目标功能需求进行描述；其中，所述Q表示在所述目标功能需求中离散状态变量的集合；所述X表示在所述目标功能需求中连续状态变量的集合；所述Init表示所建立的原子服务模型的初始状态的集合，且所述m表示在每个离散状态下连续动态方程的集合；Inv表示每个离散状态的不变集；Jump表示跳转关系集合；利用所述标识符、通信端口和HA建立所述原子服务模型；其中，所述组合N个原子服务模型，获得组合服务模型，包括：分别将所述N个原子服务模型的迁移函数设置为f(si,pi)＝si+1；其中，si表示任一原子服务模型的可达状态量，i＝1,2,…,n；pi表示任一原子服务模型的通信端口，i＝1,2,…,n，且i及n均为整数；为所述组合服务模型分配通信端口、迁移函数及服务状态；其中，所述通信端口为所述N个原子服务模型所有通信端口的并集；所述迁移函数为所述N个原子服务模型所有迁移函数的并集；所述服务状态为所述N个原子服务模型所有服务状态的并集；利用所述通信端口、迁移函数及服务状态建立所述组合服务模型。