Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
| dc.contributor.advisor | Moreira, Marcos Vicente de Brito | |
| dc.contributor.referee1 | Carvalho, Lilian Kawakami | |
| dc.contributor.referee2 | Cunha, Antonio Eduardo Carrilho da | |
| dc.creator | Silveira, Wesley Rodrigues | |
| dc.creator.Lattes | http://lattes.cnpq.br/1950666428123863 | pt_BR |
| dc.date.accessioned | 2019-02-08T16:34:17Z | |
| dc.date.available | 2026-05-16T03:05:14Z | |
| dc.date.issued | 2017-07 | |
| dc.description.abstract | In 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.description.resumo | Neste 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.embargo.terms | aberto | pt_BR |
| dc.identifier.uri | http://hdl.handle.net/11422/6436 | |
| dc.language | por | pt_BR |
| dc.publisher | Universidade Federal do Rio de Janeiro | pt_BR |
| dc.publisher.country | Brasil | pt_BR |
| dc.publisher.department | Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia | pt_BR |
| dc.publisher.initials | UFRJ | pt_BR |
| dc.publisher.program | Programa de Pós-Graduação em Engenharia Elétrica | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject | Engenharia elétrica | pt_BR |
| dc.subject | Sistemas a eventos discretos | pt_BR |
| dc.subject.cnpq | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA | pt_BR |
| dc.title | Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica | pt_BR |
| dc.type | Dissertação | pt_BR |