| 一种基于AOcontPN的信息物理系统建模方法 |
| |
| 引用本文： | 钱之琳,虞慧群.一种基于AOcontPN的信息物理系统建模方法[J].华东理工大学学报(自然科学版),2013,39(2):217-221. |
| |
| 作者姓名： | 钱之琳 虞慧群 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海200237;上海市计算机软件评测重点实验室,上海201112 |
| |
| 摘 要： | 信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。
|
| 关 键 词： | CPS 面向方面方法 连续Petri网 建模 |
An AOcontPN Approach to Cyber-Physical System Modeling |
| |
| QIAN Zhi-lin,YU Hui-qun.An AOcontPN Approach to Cyber-Physical System Modeling[J].Journal of East China University of Science and Technology,2013,39(2):217-221. |
| |
| Authors: | QIAN Zhi-lin YU Hui-qun |
| |
| Institution: | 1,2(1.Department of Computer Science and Engineering, East China University of Science and Technology,Shanghai 200237,China; 2.Shanghai Key Laboratory of Computer Software Evaluating and Testing,Shanghai 201112,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
