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
Lin F
中科院分区:
计算机科学3区
文献类型:
--
作者:
Shu S;Lin F

文献摘要

参考文献

被引文献

相似文献

在我们以前的工作中,我们研究了离散事件系统的可检测性,它被定义为基于观测确定系统当前和后续状态的能力。对于不同的应用,我们定义了四种类型的可检测性:(弱)可检测性,强可检测性,(弱)周期可检测性,和强周期可检测性。在本文中,我们在三个方面推广了我们的结果。(1)我们将可检测性从确定性系统扩展到非确定性系统。这样的推广是必要的,因为有许多系统需要建模为非确定性离散事件系统。(2)我们开发多项式算法来检查强检测能力。以往的算法都是基于指数复杂度的观测器,而新的算法是基于一种新的自动机检测器。(3)我们将可检测性扩展到D-可检测性。虽然可探测性要求确定系统的确切状态,但D-可探测性放宽了这一要求,只要求区分某些状态对。通过这些扩展,离散事件系统的可检测性理论在解决许多实际问题时变得更加适用。
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.
DOI: 10.1109/9.654883
发表时间: 1998-01-01
影响因子: 6.8
作者:
Heymann, M;Lin, F
通讯作者: Lin, F
DOI: 10.1109/tac.2007.910713
发表时间: 2007-12-01
影响因子: 6.8
作者:
Shu, Shaolong;Lin, Feng;Ying, Hao
通讯作者: Ying, Hao
DOI: 10.1016/j.sysconle.2007.03.006
发表时间: 2007-09-01
影响因子: 2.6
作者:
Wang, Weilin;Lafortune, Stehane;Lin, Feng
通讯作者: Lin, Feng
DOI: 10.1016/0020-0255(88)90001-1
发表时间: 1988-04-01
影响因子: 8.1
作者:
LIN, F;WONHAM, WM
通讯作者: WONHAM, WM
DOI: 10.1109/5.21072
发表时间: 1989-01-01
影响因子: 20.6
作者:
RAMADGE, PJG;WONHAM, WM
通讯作者: WONHAM, WM