您的位置： 专家智库 > >

李荣清

作品数：3 被引量：1H指数：1
供职机构：汕头大学工学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>

合作作者

文献类型

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

领域

  • 3篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 2篇可达性
  • 2篇可达性分析
  • 2篇飞机
  • 2篇飞机控制
  • 1篇形式化
  • 1篇形式化验证
  • 1篇消去
  • 1篇量词消去
  • 1篇可达集
  • 1篇飞机控制系统

机构

  • 3篇汕头大学

作者

  • 3篇李荣清
  • 2篇杨世伟
  • 2篇谷德权

传媒

  • 1篇系统仿真学报
  • 1篇第十二届全国...

年份

  • 1篇2009
  • 2篇2008
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于混合系统的飞机控制系统建模和分析
利用基于模型的系统科学研究方法,提出了适用于飞机控制系统的混合系统模型和分析方法。以主持研发高效率的混合系统计算方法和软件工具,达到对离散和连续成分强相关的飞机控制系统进行基于模型的自动分析,设计和软件合成,从而提高飞机...
谷德权李荣清杨世伟
关键词：飞机控制可达性分析
文献传递
基于混合系统的飞机控制系统建模和分析被引量：1
2008年
利用基于模型的系统科学研究方法,提出了适用于飞机控制系统的混合系统模型和分析方法,以支持研发高效率的混合系统计算方法和软件工具,达到对离散和连续成分强相关的飞机控制系统进行基于模型的自动分析、设计和软件合成,从而提高飞机控制系统的安全性和可信度。
谷德权李荣清杨世伟
关键词：飞机控制系统可达性分析
混合系统的算法分析
混合系统（Hybrid System）能够有效地捕获嵌入式系统中离散和连续成分之间的动态交互作用。它架起了计算机科学、控制工程和数学之间的桥梁,为嵌入式系统提供了形式化的分析和合成方法。 形式化验证是混合系统的一...
李荣清
关键词：形式化验证可达集量词消去
文献传递
全选 清除 导出
共1页<1>
聚类工具0