...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Control Engineering Practice >Distributed synchronous diagnosis of discrete event systems modeled as automata
【24h】

Distributed synchronous diagnosis of discrete event systems modeled as automata

机译：分布式同步诊断为自动机建模的离散事件系统

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Recently, the decentralized synchronous diagnosis (DESD) method has been proposed for Discrete-Event Systems composed of several modules or subsystems, where the size of the local diagnosers grows linearly with the size of the fault-free behavior models of the system components. Thus, the memory space required to implement the local diagnosers in a computer is reduced in comparison with traditional diagnosis strategies that are based on the composed system model, which may grow exponentially with the number of system modules. The main drawback of the DESD strategy is the possibility of acceptance of an exceeding language as part of the fault-free system behavior by the diagnosis scheme. This exceeding language can be associated with non-detectable faults or an increase in the diagnosis delay bound. In this paper, we propose a distributed synchronous diagnosis (DISD) architecture, where the local diagnosers are implemented considering a specific communication protocol that refines the state estimate of the fault-free behavior of the system modules, leading to a smaller exceeding language accepted as fault-free by the DISD scheme in comparison with the DESD scheme. As in the DESD, in the DISD, the local diagnosers do not grow exponentially with the number of system modules, requiring smaller memory space for implementation than traditional methods. We also define the property of distributed synchronous diagnosability, and propose a verification method.
机译：最近，已经提出了由多个模块或子系统组成的离散事件系统的分散性同步诊断（DESD）方法，其中本地诊断器的大小随着系统组件的无故障行为模型的大小而导致线性地增加。因此，与基于组合系统模型的传统诊断策略相比，减少了计算机中实现本地诊断所需的存储空间，这可能与系统模块的数量呈指数级增长。 DESD策略的主要缺点是通过诊断方案接受作为无故障系统行为的一部分的超出语言的可能性。这种超出语言可以与未检测到的故障或诊断延迟绑定的增加相关联。在本文中，我们提出了一种分布式同步诊断（DISD）架构，其中，考虑到特定的通信协议来实现本地诊断器，该协议通过改进系统模块的无故障行为的状态估计，导致较小的超出语言被接受与DESD方案相比，DISD方案无故障。如在DESD中，在DSD中，本地诊断器不会以系统模块的数量呈指数级增长，而是需要较小的存储空间以实现比传统方法更小。我们还定义了分布式同步诊断性的属性，并提出了一种验证方法。

著录项

  • 来源
    《Control Engineering Practice》 |2021年第10期|104892.1-104892.11|共11页
  • 作者

    Maria Z.M. Veras; Felipe G. Cabral; Marcos V. Moreira;

  • 作者单位

    COPPE - Electrical Engineering Program Federal University of Rio de Janeiro Cidade Universitdria Ilha do Fimdao Rio de Janeiro 21.945-970 RJ Brazil;

    Department of Automation and Systems Federal University of Santa Catarina Campus Trindade Florianopolis 88.040-900 SC Brazil;

    COPPE - Electrical Engineering Program Federal University of Rio de Janeiro Cidade Universitdria Ilha do Fimdao Rio de Janeiro 21.945-970 RJ Brazil;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Distributed diagnosis; Discrete-event systems; Automata;

    机译：分布式诊断;离散事件系统;自动机;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号