东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

线性混合系统符号模型验证中的参数分析方法

期刊名称：华东理工大学学报
时间：0
作者或编辑：3448
页码：2000,26(5):477-480
语言：中文
分类：TP23[自动化与计算机技术—控制科学与工程;自动化与计算机技术—检测技术与自动化装置]
作者机构：华东理工大学计算机科学与工程系,上海
相关基金：国家自然科学基金! ( 6970 30 0 8;6990 30 0 4 );上海市高等学校青年科学基金! ( 98Q16);南京大学计算机软件新技术国家重点实验室
相关项目：基于重写归纳的推理技术及应用

中文摘要：

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。

同期刊论文项目

期刊论文 9

同项目期刊论文