罗来豹

作品数：2被引量：1H指数：1
导出分析报告
供职机构：合肥工业大学电气与自动化工程学院更多>>
发文主题：混杂系统可达集凸多面体计算复杂度离散事件动态系统更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《合肥工业大学学报（自然科学版）》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
常压炉加热系统形式建模的验证
《合肥工业大学学报（自然科学版）》2010年第10期1501-1505,共5页刘震 方敏 罗来豹 李加良 
文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道的分析,验证常压...
关键词：形式验证 常压炉 混合系统 混合自动机 
形式验证中近似流管道的算法研究被引量：1
《合肥工业大学学报（自然科学版）》2010年第10期1506-1509,1535,共5页罗来豹 方敏 刘震 
混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精度有决定性的影响。文章对有向矩形壳和凸多面体2种状态可达...
关键词：形式验证 可达集 有向矩形壳 凸多面体 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部