Diagnosability of intermittent sensor faults in discrete event systems
Diagnosability of intermittent sensor faults in discrete event systems
复制标题
DOI：
10.1016/j.automatica.2017.01.017
复制
发表时间：
2013-08
期刊：
影响因子：
--
通讯作者：
L. K. Carvalho;M. V. Moreira;J. Basilio
中科院分区：
文献类型：
--
作者：
L. K. Carvalho;M. V. Moreira;J. Basilio
我们解决，在本文中，诊断间歇性传感器故障的问题。为了做到这一点，我们采用了最近在文献中提出的间歇性观测损失模型，并使用该模型，加上适当修改的标签自动机，将检测间歇性传感器故障的问题转化为诊断间歇性故障存在下自动机生成的语言的问题，其中，故障事件是不可观测事件，其对由经受间歇性故障的传感器记录其发生的事件的未观测进行建模。我们提出了间歇性传感器故障的可诊断性的必要和充分条件，并提出了两个测试来验证间歇性传感器故障的可诊断性：第一个基于诊断器，这也可以用于在线诊断，和第二个，基于验证器，它具有多项式时间复杂度的优点。
We address, in this paper, the problem of diagnosing intermittent sensor faults. In order to do so, we employ a model of intermittent loss of observations recently proposed in the literature, and use this model, together with an appropriately modified label automaton, to change the problem of detecting intermittent sensor faults into a problem of diagnosing the language generated by an automaton in the presence of intermittent faults, where the fault event is the unobservable event that models the non-observation of the event whose occurrence is recorded by the sensor subject to intermittent fault. We present necessary and sufficient conditions for diagnosability of intermittent sensor faults and propose two tests to verify intermittent sensor fault diagnosability: the first one based on diagnosers, which can also be used for online diagnosis, and a second one, based on verifiers, which has the advantage of having polynomial time complexity.