张茗泰
- 作品数：4 被引量：16H指数：2
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：江苏省自然科学基金国家重点实验室开放基金苏州市科技计划项目(应用基础研究计划)更多>>
- 相关领域：自动化与计算机技术更多>>
- 描述CPS物理实体的时空Petri网模型被引量：3
- 2013年
- 时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。
- 张茗泰张广泉张侃陈名才封飞
- 关键词：时间PETRI网空间信息
- 一种描述CPS物理实体的时空Petri网模型
- 时间Petri 网在经典Petri 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(Cyber-Physical System,CPS)的产生需要对...
- 张茗泰张广泉张侃陈名才封飞
- 关键词：时间PETRI网信息物理融合系统空间信息
- 文献传递
- 一种可信的信息物理融合系统设计框架初探被引量：12
- 2011年
- 信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题,结合形式化方法和面向方面技术,初步提出一种可信的CPS设计框架,并阐述了该框架的主要设计过程及需要解决的关键问题.
- 张侃张广泉张茗泰
- 关键词：信息物理融合系统形式化方法面向方面技术
- 基于时空Petri网的CPS建模与验证研究
- 信息物理融合系统(Cyber Physical System, CPS)是一种融合计算系统、物理环境、网络环境的多维复杂系统。CPS通过3C操作的有机融合与深度协作，精确控制物理环境中的物理实体协同工作，实现物理环境的实...
- 张茗泰
- 关键词：信息物理融合系统动态控制
- 文献传递
