张海滨;段振华 多速率混合系统的符号可达性分析。 （中文。英文摘要） Zbl 1164.68357号 J.西安交通大学。 41，第4期，412-415（2007）. 摘要：本文针对多速率混合系统符号可达性分析尚未提出特殊数据结构的问题。为了表示和操作多速率自动机状态空间，定义了一个称为多速率区的约束系统。多速率区是表示状态集的不等式的集合。多速率区域被用作多速率自动机状态可达性分析算法的基础，该算法可以用多速率区域中的三个操作来表示。这些操作包括交集、变量重置和时间消逝。为了表示多速率区域，定义了一种称为DCM（差分约束矩阵）的矩阵数据结构。使用DCM作为多速率自动机可达性分析算法的数据结构，可以大大降低复杂性。 MSC公司： 65年第68季度 形式语言和自动机 68第05页 数据结构 68瓦30 符号计算和代数计算 关键词：混合动力系统;多速率自动机;可达性分析 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{Z.Duan}，J.西安交通大学41，No.4，412--415（2007；Zbl 1164.68357）