一种信息物理融合系统行为预测模型

摘要/Abstract

摘要： 信息物理融合系统(CPS)是一类集成了计算系统、通信网络、传感器网络、控制系统和物理系统的新型互联系统。由于CPS内部异构单元之间的通讯、协同和交互的形式错综复杂,目前尚无统一的模型进行描述和分析,因此对其行为的建模和预测是一个难点问题。首先以混杂系统、模糊集理论和人因学方法为基础,提出一种模糊时间混合Petri网,随后通过对一类典型CPS的行为进行建模和分析,实现了CPS动态行为和状态迁移的预测,最后以仿真数据验证了模型的有效性。该模型可用于分析CPS中的物理世界连续状态和信息世界离散事件之间的联系和交互,有助于研究CPS中的不确定性问题和系统组成单元之间的异步并发关系,为CPS的行为预测、状态评估和实时控制提供了有效方法。

关键词: 信息物理融合系统,混杂系统,模糊时间混合Petri网,行为预测

Abstract: Cyber-physical system(CPS) is a new kind of interconnected system which integrates the calculation system,communication network,sensor network,control system and physical system．Since the forms of the communication,co-operation,and interaction among its heterogeneous units are complex,and there is no unified model to describe and analyze it at present,therefore,to model and forecast the behavior of CPS are a difficult point．Based on the hybrid system,fuzzy set theory and human factors method,we proposed a kind of fuzzy time hybrid Petri net(FTHPN)．Through the modeling and quantitative analysis of a typical behavior of the CPS,the dynamic behavior forecasting and the state transformation of the CPS were realized．The simulation results verify the effectiveness of the model．This model can be used to analyze the relationship and interaction between the continuous state of physical world and the discrete event of information world of CPS．It will help study the uncertainty of CPS and asynchronous concurrent relationships among system composition units,hence has provided effective methods to forecast,assess,and real-time control CPS.

Key words: Cyber-physical system,Hybrid system,Fuzzy time hybrid Petri net,Behavior forecasting

佘维,叶阳东. 一种信息物理融合系统行为预测模型[J]. 计算机科学, 2013, 40(5): 24-30. https://doi.org/

SHE Wei and YE Yang-dong. Behavior Forecasting Model of Cyber-physical Systems[J]. Computer Science, 2013, 40(5): 24-30. https://doi.org/

参考文献

[1] Lee E．Computing Foundations and Practice for Cyber-Physical Systems:a Preliminary Report[R]．University of California,USA,2007
[2] Lin J,Sedigh S,Miller A．A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems:A Proposal for Doctoral Research[C] ∥Proceedings of the 33rd Annual IEEE Inter- national Computer Software and Applications Conference．Seattle,USA:IEEE,2009:668-671
[3] 黎作鹏,张天驰,张菁．信息物理融合系统(CPS)研究综述[J]．计算机科学,2011,38(9):25-31
[4] Poovendran R．Cyber physical systems:Close Encounters Be-tween Two Parallel Words[J]．Proceedings of the IEEE,2010,98(8):263-1366
[5] Ilic D,Xie L,Khan A,et al．Modeling Future Cyber-Physical ener-gy Systems[C]∥Proceedings of the IEEE Power Engineering Society General Meeting．Pittsburgh,USA:IEEE,2008:1-9
[6] Derler P,Lee A,Vincentelli S．Modeling Cyber-Physical Systems[J]．Proceedings of the IEEE,2012,100(1):13-28
[7] Swain T,Couzin D,Leonard E．Real-Time Feedback-Controlled Robotic Fish for Behavioral Experiments With Fish Schools [J]．Proceedings of the IEEE,2012,100(1):150-163
[8] Zhihao J,Pajic M,Mangharam R．Cyber-Physical Modeling ofImplantable Cardiac Medical Devices[J]．Proceedings of the IEEE,2012,100(1):122-137
[9] Calhoun H,Lach J,Stankovic J,et al．Body Sensor Networks:A Holistic Approach From Silicon to Users[J]．Proceedings of the IEEE,2012,100(1):91-106
[10] Kinsy M,Khan O,Celanovic I．Time-Predictable Computer Architecture for Cyber-Physical Systems:Digital Emulation of Power E- lectronics Systems[C]∥Proceedings of the 32nd Real-Time Systems Symposium．Vienna,Australia:IEEE,2011:305-316
[11] 赵俊华,文福拴,薛禹胜,等.电力信息物理融合系统的建模分析与控制研究框架[J]．电力系统自动化,2011,35(16):1-8
[12] Bestavros A,Kfoury A,Lapets A,et al．Safe Compositional Network Sketches:Formal Framework[C]∥Proceedings of the 13th ACM International Conference on Hybrid Systems:Computation and Control．New York,USA:ACM,2010:231-241
[13] Al-Hammouri A,Liberatore V,Al-Omari H,et al．A co-simulation platform for actuator networks[C]∥Proceedings of the 5th International Conference on Embedded Networked Sensor Systems．New York,USA:ACM,2007:383-384
[14] Tan Y,Goddard S,Prez C．A Prototype Architecture for Cyber- Physical systems[J]．ACM SIGBED Review,2008,5(1):1-2
[15] Wan K,Man K L,Hughes D．Towards a Unified Framework for Cyber- Physical Systems(CPS)[C]∥ 2010First ACIS International Symposium on Cryptography,and Network Security,Data Mining and Knowledge Discovery,E-Commerce and Its Applications,and Embedded Systems．Qinhuangdao,China:IEEE,2010:292-295
[16] Antsaklis P．On Control and Cyber-Physical Systems:Challen-ges and Opportunities for Discrete Event and Hybrid Systems[C]∥Proceedings of the 9th International Workshop on Discrete Event Systems．Gteborg,Sweden:IEEE,2008:28-30
[17] 蔡热文．基于面向方面的吋间Petri网的实吋信息物理系统的建模 [D]．广州:广东工业大学,2012
[18] 叶阳东,王娟,贾利民．基于模糊时间Petri 网的列车运行时间不确定性问题的处理[J]．铁道学报,2005,27(1):6-13
[19] Giua A,Seatzu C．Modelingand Supervisory Control of Railwaynetworks using Petri Nets [J]．IEEE Transactions on Automation Science and Engineering,2008,5(3):431-445
[20] Lesire C,Tessier C．Particle Petri Nets for Aircraft Proceduremoni- toring under Uncertainty[C]∥Applications and Theory of Petri Nets 26th．Miami,FL,USA:Springer,2005:329-348
[21] 叶阳东,程少芬,王旭,等．基于一种混合Petri 网的列车运行系统的建模与分析[J]．铁道学报,2009,1(5):42-49
[22] 孟令云,杨肇夏,李海鹰．单线铁路区间能力失效条件下列车运行调整模型[J]．系统工程理论与实践,2012,32(4):885-894
[23] 章优仕,金炜东．单线列车运行调整的梯度搜索算法仿真与研究[J]．系统仿真学报,2010,22(11):2496-2501
[24] 戢晓峰,刘澜．铁路系统安全的人因研究综述[J]．人类工效学,2007,3(4):51-54
[25] Koval O,Floyd L．Human Element Factors Affecting Reliability and Safety[J]．IEEE Transactions on Industry Applications,1998,34(2):406-414

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed