• 新闻详情头部banner

基于HybridUML向微分代数程序转换的CPS建模与验证方法

发布日期: 2016-09-08     发布人: 方达     来源:

技术成果简介:

本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法,实现了由HybridUML模型向DAP的转换,并依据微分代数动态逻辑(Differential-Algebraic Dynamic LogicDAL)推理规则对CPS实例进行验证。该方法使用HybridUMLCPS进行建模,将其转换成DAL的操作模型DAP,并且基于DALCPS属性进行验证。


热门文章

  • Email:seu-sp@pub.seu.edu.cn
  • 地址:中国南京市玄武区长江后街6号
  • 电话:025-84526670
  • 传真:025-84526670-811

东大科技园微博

东大科技园公众号

版权所有©东南大学国家大学科技园( 江苏东大科技园发展有限公司 )

苏ICP备15012805号