文章基本信息

标题：Synchronous Codiagnosability of Modular Discrete-Event Systems * * This work was partially supported by the Brazilian Research Council CNPq.
本地全文：下载
作者：Felipe G. Cabral ; Marcos V. Moreira
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2017
卷号：50
期号：1
页码：6831-6836
DOI：10.1016/j.ifacol.2017.08.1203
语种：English
出版社：Elsevier
摘要：AbstractAutomated systems are subject to failures that can alter their expected behavior, leading to a decrease in their performance, and possibly causing equipment damages. In this work, we propose a decentralized synchronized Petri net diagnosis scheme for discrete-event systems modeled as automata. In order to do so, we define the notion of synchronous codiagnosability and propose an algorithm to verify this property. We also discuss the relation between synchronous codiagnosability, synchronous diagnosability and diagnosability of discrete-event systems.
关键词：KeywordsFailure diagnosisdecentralized failure diagnosisdiscrete-event systemsautomataPetri nets