[发明专利]有异常状态信息的有限状态自动机中故障事件序列的表示方法

摘要

本发明提供一种有异常状态信息的有限状态自动机中故障事件序列的表示方法，首先在对特定系统状态以及相关事件做标记后，以迭代的方式探索并记录所需事件序列，初步得到基本事件序列的集合，和所有系统自动机中不包含异常状态的环，最后将所得到事件序列经过整合即得到该自动机的全部故障事件序列的一般表示，突破了系统自动机仅能基于已发生事件通过转换方程推断当前是否发生错误的限制，也可进一步将异常诊断从多步运算操作转化为简单的搜索操作，无论所分析系统自动机的异常事件序列是否是无限的，该方法都能给出其有限的一般表示。