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

摘要：

说明了HYTECH工具中所采用的参数分析方法对系统描述能力的限制;提出了分离参数变量和系统状态变量的符号模型检查算法,并对用HYTECH不能分析的Fischer互斥算法的时钟偏移的界进行了分析.

关键词：混合系统、混合自动机、符号模型检查、参数分析

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目69703008,69903004;上海市高等学校青年科学基金98Q16;南京大学校科研和教改项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：477-480