多速率混合系统的符号化可达性分析

• 作者: 张海宾 段振华
• 来源期刊: 西安交通大学学报
• 关键词: 混合系统 多速率自动机 可达性分析
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 412-415
• 页数: 4页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2007.04.007

摘要

针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作.从理论上证明了多速率区域在这3种操作上的封闭性,同时定义了矩阵数据结构不同上限矩阵(DCM),并用其存储多速率区域,这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构.理论上证得,DCM可以大大降低可达性分析算法的复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张海宾	西安电子科技大学计算理论与技术研究所	13	35	4.0	5.0
2	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0