混合自动机

作品数：28被引量：81H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘保罗裴海龙陈宗基薛乐魏晨更多>>
相关机构：华东理工大学华南理工大学上海交通大学汕头大学更多>>
相关期刊：《计算机仿真》《中国学术期刊文摘》《南京大学学报（自然科学版）》《控制理论与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广东省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
定性推理在矩形phase-portrait近似中的应用
《计算机科学》2008年第9期203-205,共3页刘保罗 裴海龙 李坚强 
国家自然科学基金(60374036)(60574004);广东省自然科学基金(031407)项目资助
抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状...
关键词：混合自动机 phase-portrait近似 李导数 
混合自动机的多项式phase-portrait近似被引量：1
《计算机科学》2008年第5期180-183,共4页刘保罗 裴海龙 李坚强 张胜祥 
国家自然科学基金(60374036)(60574004);广东省自然科学基金(031407)项目资助
抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及...
关键词：混合自动机 弱时间模拟 phase-portrait近似 
混合投影时序逻辑与混合系统的形式化验证被引量：4
《计算机科学》2007年第11期279-282,共4页张海宾 段振华 
国家自然科学基金(60373103);国家自然科学基金(60433010);博士点基金(20030701015)
为了描述混合系统的性质和行为,10多年来,各种时序逻辑,如Hybrid Temporal Logic等相继出现。这些时序逻辑适用于刻画混合系统的性质和规范,但不适宜表示描述系统的实现模型。本文定义了一个混合投影时序逻辑(Hybrid Projection Tempora...
关键词：混合系统 混合自动机 区间时序逻辑 形式化验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部