Detectability of discrete event systems
Detectability of discrete event systems
复制标题
DOI：
10.1109/tac.2007.910713
复制
发表时间：
2007-12-01
影响因子：
6.8
通讯作者：
Ying, Hao
中科院分区：
文献类型：
--
作者：
Shu, Shaolong;Lin, Feng;Ying, Hao
在本说明中，我们研究了离散事件系统中的可检测性问题。我们假设最初不知道系统所在的哪个状态。问题是基于一系列观测值确定系统的当前和后续状态。该观察结果包括部分事件观察和/或部分状态观察，这导致了四种可能的情况。我们进一步定义了四种类型的检测能力：强可检测性，（弱）可口石，强的周期性可检测性和（弱）周期性可检测性。我们为这些检测能力得出了必要和充分的条件。可以通过构造观察者来检查这些条件，该观察者对不同观察结果的状态进行了建模。本说明中开发的理论可用于反馈控制和诊断。如果可以检测到系统，则可以将观察者用作诊断系统故障状态的诊断者。
In this note, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The problem is to determine the current and subsequent states of the system based on a sequence of observations. The observation includes partial event observation and/or partial state observation, which leads to four possible cases. We further define four types of detectabilities: strong detectability, (weak) delectability, strong periodic detectability, and (weak) periodic detectability. We derive necessary and sufficient conditions for these detectabilities. These conditions can be checked by constructing an observer, which models the estimation of states under different observations. The theory developed in this note can be used in feedback control and diagnosis. If the system is detectable, then the observer can be used as a diagnoser to diagnose the failure states of the system.