信息物理融合系统的面向对象Petri网建模

doi:10.3969/j.issn.1001-2400.2014.02.027

J4 ›› 2014, Vol. 41 ›› Issue (2): 165-171.doi: 10.3969/j.issn.1001-2400.2014.02.027

信息物理融合系统的面向对象Petri网建模

李晔¹;王映辉¹;于振华^2,3

(1. 西安理工大学计算机科学与工程学院，陕西西安 710048;
2. 空军工程大学信息与导航学院，陕西西安 710077;
3. 飞行器控制一体化技术重点实验室，陕西西安 710065)

收稿日期:2012-12-13 出版日期:2014-04-20 发布日期:2014-05-30
通讯作者: 李晔
作者简介:李晔(1973-)，女，讲师，西安理工大学博士研究生， E-mail: liye@xaut.edu.cn．
基金资助:
国家自然科学基金资助项目(61072151, 61202128)；航空科学基金资助项目(20100796004, 20125896020)；陕西省自然科学基础研究计划资助项目(2011JQ8011)；陕西省教育厅资助项目(095JK628)

Formal modeling of cyber-physical systems using object-oriented Petri nets

LI Ye¹;WANG Yinghui¹;YU Zhenhua^2.3

(1. School of Computer Science and Engineering, Xi'an Univ. of Science and Technology, Xi'an 710048, China;
2. School of Information and Navigation, Air Force Engineering Univ., Xi'an 710077, China;
3. Science and Technology on Aircraft Control Laboratory, Xi'an 710065, China)

Received:2012-12-13 Online:2014-04-20 Published:2014-05-30
Contact: LI Ye

摘要/Abstract

摘要：

从多Agent系统的角度，以面向对象Petri网为语义基础，建立了一种信息物理融合系统体系结构模型，将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent．该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性，描述系统的静态和动态语义，同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证，检测系统开发早期存在的错误，提高系统的正确性和可靠性．利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明，信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发．

关键词: 信息物理融合系统, 多Agent系统, Petri网, 分析

Abstract:

A cyber-physical systems architecture model (CPSAM) is set up based on Object-Oriented Petri nets from the point of view of multi-agent systems, which is composed of sensor node agents, actuator agents, and controller agents. The CPSAM can accurately and unambiguously model the overall and individual characteristics, as well as static and dynamic semantics of CPS. Moreover, the CPSAM can be simulated, analyzed and verified by the well-established analysis methods and supporting tools of Petri nets. Consequently, the defects in the early design stage can be detected, and the correctness and reliability can be improved. The modeling, analysis and design of the target tracking systems demonstrate that the CPSAM can effectively design and develop CPS.

Key words: cyber-physical systems, multi-agent systems, Petri nets, analysis

中图分类号:

TP393

李晔;王映辉;于振华. 信息物理融合系统的面向对象Petri网建模[J]. J4, 2014, 41(2): 165-171.

LI Ye;WANG Yinghui;YU Zhenhua. Formal modeling of cyber-physical systems using object-oriented Petri nets[J]. J4, 2014, 41(2): 165-171.

参考文献

［1］ National Science Foundation of the United States. Cyber-physical System (CPS) Program Solicitation［EB/OL］. ［2010-03-11］. http://www.nsf.gov/pubs/2010/nsf10515/nsf10515.htm.
［2］林峰, 舒少龙. 赛博物理系统发展综述［J］. 同济大学学报, 2010, 38(8): 1243-1248.
Lin Feng, Shu Shaolong. A Review on Cyber-physical Systems ［J］. Jounal of Tongji University, 2010, 38(8): 1243-1248.
［3］何积丰.Cyber-physical Systems ［J］. 中国计算机学会通讯, 2010, 6(1): 25-29.
He Jifeng. Cyber-physical Systems ［J］. Communication of the CCF, 2010, 6(1): 25-29.
［4］王中杰, 谢璐璐. 信息物理融合系统研究综述［J］. 自动化学报, 2011, 37(10): 1157-1166.
Wang Zhongjie, Xie Lulu. Cyber-physical Systems: a Survey ［J］. Acta Automatica Sinica, 2011, 37(10): 1157-1166.
［5］ Song Z, Sastry C R, Chen Y. Optimal Observation for Cyber-physical Systems, a Fisher-information-matrix-based Approach ［M］. Berlin: Springer, 2009.
［6］ Marwedel P. Embedded Systems Foundations of Cyber-physical Systems ［M］. Berlin: Springer, 2011.
［7］ Rohloff K, Loyall J, Pal P, et al. High-assurance Distributed Adaptive Software for Dynamic Systems ［C］//Proceedings of the 10th IEEE International Symposium on High Assurance Systems Engineering. Piscataway: IEEE, 2007: 385-386.
［8］ Cortes L A, Eles P, Peng Z. Modeling and Formal Verification of Embedded Systems Based on a Petri Net Representation ［J］. Journal of Systems Architecture, 2003, 49(12-25): 571-598.
［9］ Thacker R A, Jones K R, Myers C J. Automatic Abstraction for Verification of Cyber-physical Systems ［C］//Proceedings of the IEEE International Conference on Cyber-Physical Systems. New York: ACM, 2010: 12-21.
［10］ Akella R, McMillin M. Model-Checking BNDC Properties in Cyber-Physical Systems ［C］//Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference. Piscataway: IEEE, 2009, 660-663.
［11］ Platzer A.Verification of Cyberphysical Transportation Systems ［J］. IEEE Intelligent Systems, 2009, 24(4): 10-13.
［12］ Murata T. Petri Nets: Properties, Analysis, Applications ［J］. Proceedings of the IEEE, 1989, 77(4): 541-580.
［13］于振华. 多Agent系统形式化建模方法研究［D］. 西安:西安交通大学, 2006.
［14］ Bai Q, Fukuta N. Advances in Practical Multi-Agent Systems ［M］. Berlin: Springer, 2010.
［15］史忠植. 智能主体及其应用［M］. 北京: 科学出版社, 2001.
［16］ Akyildiz I F, Kasimoglu I H. Wireless Sensor and Actor Networks: Research Challenges ［J］. Ad Hoc Networks, 2004, 2(4): 351-367.
［17］于振华, 刘宇, 蔡远利. 基于扩展合同网协议的无线传感器网络协作方法研究［J］. 控制与决策, 2009, 24(1): 61-65.
Yu Zhenhua, Liu Yu, Cai Yuanli. On wireless Sensor Networks Collaboration Based on Extended Contract Net Protocol ［J］. Control and Decision, 2009, 24(1): 61-65.
［18］ Omologo M, Svaizer P. Acoustic Source Location in Noisy and Reverberant Environment Using CSP Analysis ［C］//Proceedings of the International Conference on Acoustics, Speech, and Signal Processing. Piscataway: IEEE, 1996: 921-924.
［19］于振华, 付晓, 王静, 等. 基于声学无线传感器网络的目标跟踪系统研究［J］. 电子科技大学学报, 2011, 40(4): 568-573.
Yu Zhenhua, Fu Xiao, Wang Jing, et al. On Target Tracking Based on Acoustic Wireless Sensor Networks ［J］. Journal of University of Electronic Science and Technology of China, 2011, 40(4): 568-573.
［20］ Xu H, Shatz S M. A Framework for Model-Based Design of Agent-Oriented Software ［J］. IEEE Transactions on Software Engineering, 2003, 29(1): 15-30.
［21］ Roch S, Starke P H. INA: Integrated Net Analyzer, Version 2.2 ［EB/OL］. ［2012-09-13］. http://www2.informatik.huberlin. de/～starke/ina.html.

[1]	李源,崔玉爽,王伟. 一种基于字词双通道网络的文本情感分析方法[J]. 西安电子科技大学学报, 2021, 48(6): 179-186.
[2]	蒋林,冯茹,邓军勇,李远成. BC算法性能与图数据格式的关系特性分析[J]. 西安电子科技大学学报, 2021, 48(6): 57-66.
[3]	宁阳,杜建超,韩硕,杨传凯. 改进DeeplabV3+的火焰分割与火情分析方法[J]. 西安电子科技大学学报, 2021, 48(5): 38-46.
[4]	王省欣,胡伟,谭静,朱嘉诚,唐时博. AES相关故障注入攻击[J]. 西安电子科技大学学报, 2021, 48(4): 192-199.
[5]	曹艺,蔡晓东. 一种有效的困难样本学习策略[J]. 西安电子科技大学学报, 2021, 48(3): 99-105.
[6]	孙正阳,董玫,陈伯孝. 时频分析联合带通滤波抑制间歇采样转发干扰[J]. 西安电子科技大学学报, 2021, 48(2): 139-146.
[7]	周宇,陈智雄,卓泽朋,杜小妮. (n,m)函数抗差分功耗攻击指标的研究综述[J]. 西安电子科技大学学报, 2021, 48(1): 50-60.
[8]	王俊祥,黄霖,张影,倪江群,林朗. 低复杂度的增强图像来源检测算法[J]. 西安电子科技大学学报, 2021, 48(1): 96-106.
[9]	王亚昕,李孝庆,伍高飞,唐士建,朱亚杰,董婷. 嵌入式C代码释放后重用缺陷检测[J]. 西安电子科技大学学报, 2021, 48(1): 124-132.
[10]	谷大武,张驰,陆相君. 密码系统的侧信道分析:进展与问题[J]. 西安电子科技大学学报, 2021, 48(1): 14-21.
[11]	黄昱铭,马建峰,刘志全,冯丙文,魏凯敏. 一种基于规则的自动程序修复方法[J]. 西安电子科技大学学报, 2020, 47(4): 117-123.
[12]	娄利飞,赵建新,梁雅楠,赵明阳,安再芳. AlN薄膜压电微机械超声换能器的设计与优化[J]. 西安电子科技大学学报, 2020, 47(3): 8-13.
[13]	卢万杰,蓝朝桢,吕亮,施群山,徐青. 一种空间目标轨道状态动态推理方法[J]. 西安电子科技大学学报, 2020, 47(3): 72-79.
[14]	李江,冯存前,王义哲,许旭光. 一种用于锥体目标微动分类的深度学习模型[J]. 西安电子科技大学学报, 2020, 47(3): 105-112.
[15]	毕梦格,巨玉,侯蓉晖. 一种环境自适应的卫星网络安全路由协议[J]. 西安电子科技大学学报, 2020, 47(1): 66-72.

信息物理融合系统的面向对象Petri网建模

Formal modeling of cyber-physical systems using object-oriented Petri nets

PDF (PC)

赞

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 0