封飞
- 作品数：4 被引量：7H指数：2
- 供职机构：苏州大学更多>>
- 发文基金：苏州市科技计划项目(应用基础研究计划)江苏省高等学校大学生实践创新训练计划项目江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于混成自动机的车联网服务建模方法被引量：4
- 2013年
- 针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.
- 封飞陈名才张广泉邵玉珍李烨静
- 描述CPS物理实体的时空Petri网模型被引量：3
- 2013年
- 时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。
- 张茗泰张广泉张侃陈名才封飞
- 关键词：时间PETRI网空间信息
- 一种基于统计模型检测的CPS属性验证方法
- 一种基于统计模型检测的CPS属性验证方法，包括以下步骤。S1、设置通信端口将混成自动机扩展为扩展混成自动机，并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器，并将所...
- 张广泉陈名才戎玫邵玉珍封飞李烨静
- 文献传递
- 一种基于统计模型检测的CPS属性验证方法
- 一种基于统计模型检测的CPS属性验证方法，包括以下步骤：S1、设置通信端口将混成自动机扩展为扩展混成自动机，并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器，并将所...
- 张广泉陈名才戎玫邵玉珍封飞李烨静
- 文献传递
