ISCAS OpenIR
描述CPS物理实体的时空Petri网模型
张茗泰; 张广泉; 张侃; 陈名才; 封飞
2013
Source计算机科学与探索
Issue4Pages:377-384
English Abstract时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。
Indexed TypeCNKI
Keyword时间petri网 信息物理融合系统(Cps) 物理实体 空间信息 时空petri网
Department苏州大学计算机科学与技术学院;中国科学院软件研究所计算机科学国家重点实验室;
Sponsorship江苏省自然科学基金No.Bk2011281|苏州市应用基础研究计划No.SYG201241|江苏省高校研究生科研创新计划No.CXLX12_0809|江苏省大学生创新训练计划No.2012yb010|苏州大学大学生课外学术科研基金
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/15569
Collection中国科学院软件研究所
Recommended Citation
GB/T 7714
张茗泰,张广泉,张侃,等. 描述CPS物理实体的时空Petri网模型[J]. 计算机科学与探索,2013(4):377-384.
APA 张茗泰,张广泉,张侃,陈名才,&封飞.(2013).描述CPS物理实体的时空Petri网模型.计算机科学与探索(4),377-384.
MLA 张茗泰,et al."描述CPS物理实体的时空Petri网模型".计算机科学与探索 .4(2013):377-384.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[张茗泰]'s Articles
[张广泉]'s Articles
[张侃]'s Articles
Baidu academic
Similar articles in Baidu academic
[张茗泰]'s Articles
[张广泉]'s Articles
[张侃]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张茗泰]'s Articles
[张广泉]'s Articles
[张侃]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.