[发明专利]一种离散事件系统的反向遍历诊断方法

摘要

本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序列和状态。随后，如当观测序列发生改变时，根据当前时间窗口内的观测和自动机间的转移关系，进行反向遍历，反向遍历得到前一状态的信息。如果为初始状态，则给出相应路径及其故障信息；如果为中间状态，则根据此中间状态给出相应的路径及其诊断信息。此时如果得到诊断信息，将此窗口内得到的观测和诊断信息加入到中间状态列表，完成当前窗口观测的诊断。否则继续反向遍历前一状态，直到完成诊断。

主权项

一种离散事件系统的反向遍历诊断方法，其特征在于：至少包括如下步骤： 步骤1：根据系统中元件的行为模式及元件间的关系，建立系统的模型自动机； 步骤2：在系统中选择合适位置，加入便于诊断所需的传感器，监控系统中相应位置的行为模式； 步骤3：对所有的传感器，建立每个传感器在系统中监控部件的自动机，并结合系统的模型自动机合成系统观测自动机； 步骤4：根据最大传输延迟的相关性质，设计仅满足在线诊断需要的时间窗口，使得实际发出的观测能够按照实际顺序及时处理； 步骤5：系统运行后，在每个时间窗口内根据当前状态和观测，用自动机的反向遍历方法进行诊断。