Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/6094
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorCarvalho, Lilian Kawakami-
dc.contributor.authorCoutinho, Lahis El Ajouze Azeredo-
dc.date.accessioned2019-01-15T14:12:25Z-
dc.date.available2019-01-17T02:00:16Z-
dc.date.issued2017-06-
dc.identifier.urihttp://hdl.handle.net/11422/6094-
dc.description.abstractThis 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.en
dc.languageengpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectSistemas discretospt_BR
dc.subjectDiagnósticopt_BR
dc.subjectAlgoritmospt_BR
dc.titleVerification of generalized robust diagnosability of discrete event systemsen
dc.title.alternativeVerificação da diagnosticabilidade robusta generalizada de sistemas a eventos discretospt_BR
dc.typeDissertaçãopt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/6331538839245969pt_BR
dc.contributor.referee1Pena, Patrícia Nascimento-
dc.contributor.referee2Moreira, Marcos Vicente de Brito-
dc.description.resumoEste 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenhariapt_BR
dc.publisher.programPrograma de Pós-Graduação em Engenharia Elétricapt_BR
dc.publisher.initialsUFRJpt_BR
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::MEDIDAS ELETRICAS, MAGNETICAS E ELETRONICAS INSTRUMENTACAO::SISTEMAS ELETRONICOS DE MEDIDA E DE CONTROLEpt_BR
dc.embargo.termsabertopt_BR
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.