Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/6094
Type: Dissertação
Title: Verification of generalized robust diagnosability of discrete event systems
Other Titles: Verificação da diagnosticabilidade robusta generalizada de sistemas a eventos discretos
Author(s)/Inventor(s): Coutinho, Lahis El Ajouze Azeredo
Advisor: Carvalho, Lilian Kawakami
Abstract: Este trabalho aborda o problema de diagnosticabilidade robusta generalizada (DRG) de sistemas a eventos discretos (SEDs) descritos por uma classe de autômatos em que cada elemento da classe gera uma linguagem distinta. A definição de DRG e o algoritmo para sua verificação propostos anteriormente na literatura foram atualizados, resultando em um novo algoritmo com menor complexidade computacional que o anterior. Baseado nesse algoritmo, uma nova condição necessária e suficiente para diagnosticabilidade robusta generalizada foi apresentada. Quatro abordagens diferentes sobre diagnosticabilidade de SEDs foram analisadas: o problema de diagnosticabilidade de sistemas a eventos discretos sujeitos a falhas permanentes de sensores (i); o problema de diagnosticabilidade robusta de sistemas a eventos discretos sujeitos a perdas permanentes (ii) e intermitentes (iii) de observação; e o problema de verificação da diagnosticabilidade robusta de sistemas a eventos discretos parcialmente observados (iv). Mecanismos de transformação foram propostos para cada problema analisado com o objetivo de demonstrar que as abordagens de (i) a (iv) são casos particulares da diagnosticabilidade robusta generalizada proposta nesse trabalho.
Abstract: This work addresses the problem of generalized robust diagnosability (GRD) of discrete event systems (DESs) described by a class of automata, where each automaton in the class generates a distinct language. The definition of GRD and the algorithm for its verification previously proposed in literature were updated, resulting in an algorithm with smaller computational complexity than the previous one. Based on this algorithm, a new necessary and sufficient condition for generalized robust diagnosability was presented. Four different approaches on diagnosability of DESs were analyzed: the problem of diagnosability of discrete event systems subject to permanent sensor failures (i); the problem of robust diagnosis of discrete event systems against permanent (ii) and intermittent (iii) loss of observations; and the problem of verification of robust diagnosability for partially observed discrete event systems (iv). Transformation mechanisms for each analyzed problem were proposed with the purpose of demonstrating that all approaches (i) - (iv) are particular cases of the generalized robust diagnosability definition proposed in this work.
Keywords: Sistemas discretos
Diagnóstico
Algoritmos
Subject CNPq: CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::MEDIDAS ELETRICAS, MAGNETICAS E ELETRONICAS INSTRUMENTACAO::SISTEMAS ELETRONICOS DE MEDIDA E DE CONTROLE
Program: Programa de Pós-Graduação em Engenharia Elétrica
Department : Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Publisher: Universidade Federal do Rio de Janeiro
Issue Date: Jun-2017
Publisher country: Brasil
Language: eng
Right access: Acesso Aberto
Appears in Collections:Engenharia Elétrica

Files in This Item:
File Description SizeFormat 
865902.pdf663,12 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.