您的位置： 专家智库 > >

李加凯

作品数：10 被引量：17H指数：1
供职机构：东南大学更多>>
发文基金：国家重点实验室开放基金国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 6篇专利
  • 2篇会议论文
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 6篇自动化与计算...
  • 1篇文化科学

主题

  • 8篇CPS
  • 6篇动态逻辑
  • 4篇定理证明
  • 4篇定理证明器
  • 4篇信息物理融合...
  • 4篇自适
  • 4篇自适应
  • 4篇自适应性
  • 4篇微分
  • 3篇定理
  • 3篇形式化
  • 3篇形式化验证
  • 3篇和定理
  • 2篇代数
  • 2篇语言
  • 2篇语言描述
  • 2篇微分代数
  • 2篇规约
  • 1篇元模型

机构

  • 10篇东南大学

作者

  • 10篇李加凯
  • 9篇朱敏
  • 9篇李必信
  • 5篇吉顺慧
  • 5篇陈乔乔
  • 4篇翟小祥
  • 2篇吴晓娜
  • 2篇齐珊珊
  • 2篇刘翠翠

传媒

  • 1篇电子学报

年份

  • 3篇2014
  • 5篇2012
  • 2篇2011
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于微分代数时序动态逻辑的CPS属性验证方法
本发明提出了一种基于微分代数时序动态逻辑的CPS属性验证方法，用于对CPS进行系统建模、属性规约和属性验证。本发明涉及到的关键操作包括：(1)在对CPS详细分析的基础上，使用微分代数程序对CPS进行系统建模，得到系统的操...
李必信翟小祥李加凯朱敏陈乔乔
文献传递
基于量化微分动态逻辑的CPS自适应性验证
信息物理融合系统(Cyber-Physical systems，CPS)是一类融合了计算与物理过程，并且通过通信网络高度集成的物理设备系统。形式化验证作为验证系统正确性的重要方法已经成功应用于CPS的正确性验证，然而形式...
李加凯李必信朱敏吉顺慧
关键词：信息物理融合系统形式化验证元模型
一种基于模型转换的CPS建模与验证方法
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操...
李必信朱敏李加凯陈乔乔翟小祥
文献传递
基于微分动态逻辑的CPS建模与属性验证被引量：17
2012年
随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL(Differential Dynamic Log-ic),其操作模型为hybrid program.将HybridUML模型转换为hybrid program时,基于语义一致性的原则定义转换规则.转换完成后,结合得到的hybrid program对验证的CPS属性进行规约,最后使用定理证明器KeYmaera对属性进行自动化验证.
朱敏李必信陈乔乔吉顺慧李加凯
关键词：信息物理融合系统
一种基于微分代数时序动态逻辑的CPS属性验证方法
本发明提出了一种基于微分代数时序动态逻辑的CPS属性验证方法，用于对CPS进行系统建模、属性规约和属性验证。本发明涉及到的关键操作包括：(1)在对CPS详细分析的基础上，使用微分代数程序对CPS进行系统建模，得到系统的操...
李必信翟小祥李加凯朱敏陈乔乔
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML...
李必信李加凯朱敏吉顺慧齐珊珊吴晓娜刘翠翠
文献传递
基于微分动态逻辑的CPS建模与验证
随着传感网络以及嵌入式系统等的发展，集计算、通信、控制于一体的信息CPS逐渐成为人们关注的热点。未来CPS将会应用到社会生活的各个方面，随着应用的越来越普及，CPS能否满足设计需求对系统设计实施显得至关重要。验证技术在保...
朱敏李必信李加凯吉顺慧
关键词：信息物理融合系统形式化验证
基于HybridUML和定理证明的CPS自适应性验证
信息物理融合系统(Cyber-Physical Systems，CPS)是一类融合了计算与物理过程，并且通过通信网络高度集成的物理设备系统。CPS已经成功应用于各个领域，目前关于CPS的建模与验证问题已经成为业界的研究热...
李加凯
关键词：信息物理融合系统形式化验证
一种基于模型转换的CPS建模与验证方法
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操...
李必信朱敏李加凯陈乔乔翟小祥
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML...
李必信李加凯朱敏吉顺慧齐珊珊吴晓娜刘翠翠
全选 清除 导出
共1页<1>
聚类工具0