Generalized Detectability for Discrete Event Systems.
Generalized Detectability for Discrete Event Systems.
复制标题
离散事件系统的广义可检测性
DOI:
10.1016/j.sysconle.2011.02.001
复制
发表时间:
2011-05-01
影响因子:
2.6
通讯作者:
Lin F
中科院分区:
文献类型:
--
作者:
Shu S;Lin F
In our previous work, we investigated detectability of discrete event systems, which is defined as the ability to determine the current and subsequent states of a system based on observation. For different applications, we defined four types of detectabilities: (weak) detectability, strong detectability, (weak) periodic detectability, and strong periodic detectability. In this paper, we extend our results in three aspects. (1) We extend detectability from deterministic systems to nondeterministic systems. Such a generalization is necessary because there are many systems that need to be modeled as nondeterministic discrete event systems. (2) We develop polynomial algorithms to check strong detectability. The previous algorithms are based on observer whose construction is of exponential complexity, while the new algorithms are based on a new automaton called detector. (3) We extend detectability to D-detectability. While detectability requires determining the exact state of a system, D-detectability relaxes this requirement by asking only to distinguish certain pairs of states. With these extensions, the theory on detectability of discrete event systems becomes more applicable in solving many practical problems.
登录
查看更多内容
影响因子:
6.8
作者:
Heymann, M;Lin, F
通讯作者:
Lin, F
影响因子:
6.8
作者:
Shu, Shaolong;Lin, Feng;Ying, Hao
通讯作者:
Ying, Hao
影响因子:
2.6
作者:
Wang, Weilin;Lafortune, Stehane;Lin, Feng
通讯作者:
Lin, Feng
影响因子:
8.1
作者:
LIN, F;WONHAM, WM
通讯作者:
WONHAM, WM
影响因子:
20.6
作者:
RAMADGE, PJG;WONHAM, WM
通讯作者:
WONHAM, WM