1. Pantheon
  2. Teses e Dissertações
  3. Teses e Dissertações defendidas na UFRJ
  4. Engenharias
  5. Engenharia Elétrica
Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/6436
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorMoreira, Marcos Vicente de Brito-
dc.contributor.authorSilveira, Wesley Rodrigues-
dc.date.accessioned2019-02-08T16:34:17Z-
dc.date.available2023-12-21T03:05:08Z-
dc.date.issued2017-07-
dc.identifier.urihttp://hdl.handle.net/11422/6436-
dc.description.abstractIn this work, a new algorithm for verifying the codiagnosticability of a language in discrete event systems (DES) with dynamic observation is proposed. Codiagnosticability in DESs with dynamic observation has been addressed by other studies in the literature. Each of the methods currently available in the literature capable of dealing with this problem are considered and compared with the method proposed here. This comparison validates the results, since this new verifier, in general, has a lower computational cost than the others, although all have polynomial complexity.pt_BR
dc.languageporpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectEngenharia elétricapt_BR
dc.subjectSistemas a eventos discretospt_BR
dc.titleCodiagnosticabilidade de sistemas a eventos discretos com observação dinâmicapt_BR
dc.typeDissertaçãopt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/1950666428123863pt_BR
dc.contributor.referee1Carvalho, Lilian Kawakami-
dc.contributor.referee2Cunha, Antonio Eduardo Carrilho da-
dc.description.resumoNeste trabalho é proposto um novo algoritmo para verificação da codiagnosticabilidade de uma linguagem em sistemas a eventos discretos (SED) com observação dinâmica. Este problema da codiagnosticabilidade em SEDs com observação dinâmica é abordado por outros trabalhos na literatura. Cada um dos métodos existentes atualmente na literatura capazes de lidar com esse problema são abordados e comparados com o método aqui proposto. Essa comparação valida os resultados, uma vez que esse novo verificador, em geral, possui um menor custo computacional do que os outros, apesar de todos terem complexidade polinomial.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 ELETRICApt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Engenharia Elétrica

Files in This Item:
File Description SizeFormat 
866003.pdf770.4 kBAdobe PDFView/Open
Show simple item record Recommend this item View Statistics


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