动态观测下离散事件系统的双模式可诊断性

    Dual-Pattern Diagnosability of Discrete Event Systems under Dynamic Observations

    • 摘要: 双模式诊断要求系统在故障模式发生后,能够在关键模式发生之前做出正确决策从而避免重大损失,相比传统的故障诊断更具有实际应用价值。针对静态观测中传感器设置的高成本低效率问题,提出了一种动态观测策略下离散事件系统双模式诊断的多项式算法。首先对离散事件系统在动态观测下的双模式诊断给出形式化定义,接下来构造模式识别器分别对故障模式和关键模式进行标记,并通过自动机复合构造验证器验证系统的双模式可诊断性,进而基于该验证器推导出离散事件系统在动态观测下实现双模式可诊断的充分必要条件。结论和实例表明,本文所提出的多项式算法不仅可以有效验证离散事件系统的双模式可诊断性,还能够通过动态调整传感器的触发设置,优化资源利用效率的同时增强系统的可诊断性能,为复杂系统双模式诊断提供一种高效经济的解决方案。

       

      Abstract: Dual-pattern diagnosis requires the system to make correct decisions after the occurrence of faulty pattern and before the occurrence of critical pattern to avoid major losses, which is more practical than traditional fault diagnosis. A polynomial algorithm for verifying the dual-pattern diagnosis of discrete event systems under dynamic observation strategy is proposed to address the high cost and low efficiency of sensor setup in static observations. Firstly, a formal definition of dual-pattern diagnosis of discrete-event systems under dynamic observations is given, and pattern recognizers are constructed to label faulty and critical patterns, respectively. Next, a verifier automaton is constructed through automata composition to verify the dual-pattern diagnosability of the system, and then a sufficient and necessary condition for dual-pattern diagnosability of discrete event systems under dynamic observation is deduced based on this verifier. Conclusions and examples show that the polynomial algorithm proposed in this paper can not only effectively verify the dual-pattern diagnosability of discrete-event systems, but also optimize the efficiency of resource utilization while strengthening the diagnosability of the system by dynamically adjusting the trigger settings of the sensors, and provide an efficient and economical solution for dual-pattern diagnosis of complex systems.

       

    /

    返回文章
    返回