Method for Modeling CPS Based on Open Colored Petri Net

来源 :2014全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:ankang1991
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  Spatio-Temporal properties are the intrinsic properties of Cyber-Physical System(CPS),the correlation in space and time between computing and physical entities should be fully considered in CPS modeling process in order to guarantee the correctness of system state and behavior.Based on the functional extension of Colored Petri Net(CPN),the formal definition of Open Colored Petri Net(OCPN) is proposed.Then the definition of CPS physical entity and the algorithm to construct the corresponding OCPN model are proposed.This method can effectively describe the position evolution of the physical entity by representing the space information with space tokens.In addition,the interaction between entity and environment is represented by Spatio-Temporal event tokens.Then the modules of CPS physical entities are assembled to the OCPN model of whole application.To show the effectiveness of the approach,an intelligent square system is introduced as a case study.
其他文献
语音识别作为人机语音通信的一种重要技术手段,其产品在人机交互应用中所占比例越来越大,但其程序繁琐运行时间长是影响其实用化的主要问题.开放式多媒体应用平台OMAP有非对称双核结构优势,但双核间的通讯问题是影响其性能的一项关键技术.DSPGateway作为一种双核通讯架构,具有功能强大、使用灵活等优点,但目前并未得到广泛使用.为此,本论文以DSPGateway为软件架构平台,以OMAP5912为系统硬
The application layer of Distributed Denial of Service (DDoS) has the characteristics of low rate,legitimate messages.The existing methods are mainly based on supervised learning which needs enough la
Over past decades,there has been more and more large scale sensors deployed in a wide range of application areas.Due to the innate imprecision of sensor observations,researchers devote to find an effi
With the rapid development of the Internet of Things,adaptive technology for the Internet of Things has gained a great deal of attention.Environment perception as an technology to support adaptive net
Routing algorithm with more flexibility and fewer virtual channels is essential for high performance multicomputer systems.For three-dimensional mesh-connected networks,the traditional planar-adaptive
It is well-known that model combination can improve prediction performance of regression model.We investigate the model combination of Support Vector Regression (SVR) with regularization path in this
This paper designed a kind of optimization algorithm for image registration.By combining with cultural particle swarm optimization (CPSO),a novel image registration algorithm is outlined in this paper
Profinite topology plays a key role in formal languages.Depending on the fact that Boolean algebra of regular languages is in one-to-one correspondence to clopen of profinite topological space,we prov
To further explore the up-to techniques for bisimulation in the coalgebra setting,we investigate a special kind of functor,i.e.,product functor in this paper.Specifically,when F is the product of n su
Motivated by a previous work showing a new NP-complete decision problem,the Multistage graph Simple Path problem (MSP) possesses a novel polynomial-time heuristic algorithm,which has undergone extensi