您的位置： 专家智库 > >

邹进

作品数：2 被引量：1H指数：1
供职机构：温州大学数学与信息科学学院更多>>
发文基金：浙江省教育厅科研计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 2篇可达性
  • 2篇可达性分析
  • 2篇混成系统
  • 2篇非线性

机构

  • 2篇温州大学
  • 1篇华东师范大学

作者

  • 2篇邹进
  • 1篇曾振柄
  • 1篇林望
  • 1篇罗勇

传媒

  • 1篇计算机应用

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于多面体包含的非线性混成系统可达性分析被引量：1
2013年
针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集,并应用于验证系统的安全性。
邹进林望罗勇曾振柄
关键词：混成系统可达性分析
非线性混成系统的可达性分析
混成系统是连续变量动态系统和离散事件动态系统并存且相互作用、相互影响的一类复杂系统。随着科学技术的发展，混成系统广泛应用于工业生产及社会生活中，它已成为计算机科学和控制学科研究的热点。　　混成系统的可达性问题，是混成系统...
邹进
关键词：混成系统可达性
全选 清除 导出
共1页<1>
聚类工具0