一种基于矩阵的有限状态机静态分析方法

2022年第23卷第8期

摘要

关键词

相关研究

回顶部

《信息与电子工程前沿（英文）》 >> 2022年第23卷第8期 doi: 10.1631/FITEE.2100561

一种基于矩阵的有限状态机静态分析方法

1河南科技大学信息工程学院，中国洛阳市，471000；2南开大学人工智能学院，中国天津市，300071

收稿日期： 2021-12-03 录用日期： 2022-08-22 发布日期： 2022-08-22

HTML37 PDF 8 收藏 0

摘要

在有限状态机研究领域，传统矩阵法首先构造状态转移矩阵，然后利用状态转移矩阵的幂来表示系统动态转移过程。这一过程是有限状态机系统分析的基石。本文提出一种基于矩阵的静态方法。该方法从拓扑结构的视角审视有限状态机，而非传统动态转移过程的视角，因此能够避免现有方法中存在的“维度爆炸”问题。基于这种静态方法，本文重新分析确定有限状态机的闭环检测与可控性问题。此外，我们提出可控等价型与最小可控等价型概念，并给出相关算法。

关键词

逻辑系统 ; 有限值系统 ; 矩阵的半张量积 ; 有限状态机 ; 矩阵方法