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

doi:10.3969/j.issn.1001-2400.2014.02.027

Abstract

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

CLC Number:

TP393

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

References

［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]	LI Yuan,CUI Yushuang,WANG Wei. Method for the analysis of text sentiment based on the word dual-channel network [J]. Journal of Xidian University, 2021, 48(6): 179-186.
[2]	JIANG Lin,FENG Ru,DENG Junyong,LI Yuancheng. Analysis of the relationship between the performance of the BC and the format of the graph data [J]. Journal of Xidian University, 2021, 48(6): 57-66.
[3]	NING Yang,DU Jianchao,HAN Shuo,YANG Chuankai. Fire segmentation based on the improved DeeplabV3+ and the analytical method for fire development [J]. Journal of Xidian University, 2021, 48(5): 38-46.
[4]	WANG Xingxin,HU Wei,TAN Jing,ZHU Jiacheng,TANG Shibo. Correlation fault attack on AES [J]. Journal of Xidian University, 2021, 48(4): 192-199.
[5]	CAO Yi,CAI Xiaodong. Effective learning strategy for hard samples [J]. Journal of Xidian University, 2021, 48(3): 99-105.
[6]	SUN Zhengyang,DONG Mei,CHEN Baixiao. Interrupted sampling repeater jamming suppression based on time-frequency analysis and band-pass filtering [J]. Journal of Xidian University, 2021, 48(2): 139-146.
[7]	ZHOU Yu,CHEN Zhixiong,ZHUO Zepeng,DU Xiaoni. Survey of results of (n,m)-functions against differential power attack [J]. Journal of Xidian University, 2021, 48(1): 50-60.
[8]	WANG Junxiang,HUANG Lin,ZHANG Ying,NI Jiangqun,LIN Lang. Algorithm for the detection of a low complexity contrast enhanced image source [J]. Journal of Xidian University, 2021, 48(1): 96-106.
[9]	WANG Yaxin,LI Xiaoqing,WU Gaofei,TANG Shijian,ZHU Yajie,DONG Ting. Detecting use-after-free bugs in embedded C programs [J]. Journal of Xidian University, 2021, 48(1): 124-132.
[10]	GU Dawu,ZHANG Chi,LU Xiangjun. Progress of and some comments on the research of side-channel attack for cryptosystems [J]. Journal of Xidian University, 2021, 48(1): 14-21.
[11]	FENG Dengguo. On the significance and function of the Xiao-Massey theorem [J]. Journal of Xidian University, 2021, 48(1): 7-13.
[12]	HUANG Yuming,MA Jianfeng,LIU Zhiquan,FENG Bingwen,WEI Kaimin. Rule-based automatic program repair method [J]. Journal of Xidian University, 2020, 47(4): 117-123.
[13]	LOU Lifei,ZHAO Jianxin,LIANG Ya’nan,ZHAO Mingyang,AN Zaifang. Design and optimization of the piezoelectric micromechanical ultrasonic transducer with an AlN thin film [J]. Journal of Xidian University, 2020, 47(3): 8-13.
[14]	LU Wanjie,LAN Chaozhen,LV Liang,SHI Qunshan,XU Qing. Dynamic inference method for the orbit status of space objects [J]. Journal of Xidian University, 2020, 47(3): 72-79.
[15]	LI Jiang,FENG Cunqian,WANG Yizhe,XU Xuguang. Deep learning model for micro-motion classification of cone targets [J]. Journal of Xidian University, 2020, 47(3): 105-112.

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

PDF (PC)

Like

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Metrics

Comments

Recommended 0