控制理论与应用

作者：刘富春,唐顺桥,赵锐,邓秀勤,崔洪刚

单位：广东工业大学,广东工业大学,广东工业大学,广东工业大学,广东工业大学

关键词：离散事件系统；故障诊断；故障模式；安全故障诊断

基金：国家自然科学基金

近年来，离散事件系统的故障诊断研究引起了国内外众多学者的广泛关注。尽管现有基于模式(Pattern-Based)的故障诊断方法能够将触发系统故障的事件串（称为故障模式）诊断出来，但是在诊断期间系统仍然可能执行某些被禁止的不安全操作。为此，本文针对目前最常用的 型和 型两种模式的故障诊断的安全性问题，分别提出了一种相应的离散事件系统基于模式的安全故障诊断方法。先引入 型和 型两种故障模式的可诊断条件和安全性条件，对离散事件系统基于模式的安全可诊断性进行形式化；再通过构造一个非法语言识别器对非法操作进行识别，并在此基础上构建相应的安全诊断器，对系统发生的故障模式实施安全诊断；最后，我们分别得到一个关于 型和 型模式的系统安全可诊断性的充分必要条件，实现了离散事件系统基于模式的安全故障诊断。该方法不仅能够将触发系统的故障模式诊断出来，还保证了系统在诊断期间不会执行任何被禁止的不安全操作。

来源：2020年第1期

《控制理论与应用》期刊编辑部

查看控制理论与应用杂志2020年第1期