张雅顺

作品数：1被引量：16H指数：1
导出分析报告
供职机构：合肥工业大学电气与自动化工程学院更多>>
发文主题：混杂系统可达集线性定常温度控制更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《系统仿真学报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
混合系统的形式验证方法被引量：16
《系统仿真学报》2006年第10期2921-2924,2928,共5页方敏 张雅顺 李辉 
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介绍了验证工具Check...
关键词：混合系统 形式验证 过近似 可达集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部