CPS行为建模及其仿真验证.pdfVIP

专题 第 9 卷  第 7 期  2013 年 7 月 CPS行为建模及其仿真验证 杨　 刚　杜承烈　王宇英　杨亚磊 关键词 ：CPS　行为建模　仿真验证　一体化建模平台 西北工业大学 CPS行为建模技术 程和物理过程的异构集成。贤政 交互性、运行持续性、环境协调 (Hyun Jung La)[4] 将CPS 自底向 性以及结构分布性来刻画计算过 上分为物理层、控制层和服务层。 程和物理过程的交互融合，框架 计算—物理融合建模 [6] 控制层是系统设计的关键，它从 如图1 所示。林静 利用agent 信息—物理融合系统(cyb er 物理层得到服务请求，向服务层 对智能水利系统进行建模，利用 physical system, CPS)[1] 包含共存 查询或者更新服务，之后再反馈 分布式agent 的方法抽象刻画了 且相互作用的连续物理系统和离 给物理层，实现计算和物理的融 较大规模的水流量的网络化实时 [2] [5] 散计算系统 。传统的建模方式 合。黄健 基于面向服务的体系 控制过程。该建模方法在描述 是针对二者分别建立模型。物理 结构的思想对CPS 中物理实体提 CP S 行为上仍然存在一些不足， 过程采用微分方程、差分方程等 供的服务进行建模，将物理实体 主要体现为agent 的自主性可能 连续行为模型 ；计算过程采用有 作为服务的提供者，通过对物理 导致分布于agent 之间的交互无 限状态机、佩特里网、数据流等 实体的情景信息建模来解决物理 法进行准确的预测和管理。 离散模型。计算—物理融合建模 实体提供服务的动态性和不确定 DEDS 和CVDS 是混成建模 具有信息—物理融合的特点，强 性问题。 最主要的两种方法。利用DED S 调对CPS 中的计算过程和物理过 基于agent 的CPS 建模是指 建模时，首先将计算过程用有限 [3] 利用agent 行为的自主性、作用 状态机进行建模，然后利用微分 程交互与融合的抽象和刻画 。 基于单一模型的CPS行 其它agent 为融合建模 通 信 CPS-agent 目 标 建模方法 ：通过扩展传统的 计算模型，使其具有同时描述计 感 作 知 内部状态 规 化 决 策 动 算过程和物理过程的能力，从而 器 器 支持对CPS 行为的描述。 基于服务的CPS 行为融合建 实时知识库 模是将面向服务的建模方法引入 CP S 建模之中，将物理过程、交 物 理 环 境 互过程以及计算过程以服务的形 式进行封装和集成，实现计算过 图1　CPS-agent结构模型示意图 16 第 9 卷  第7 期  2013 年 7 月 方程表达的连续物理过程对