Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica

Detalhes bibliográficos
Autor(a) principal: Silveira, Wesley Rodrigues
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFRJ
Texto Completo: http://hdl.handle.net/11422/6436
Resumo: 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.
id UFRJ_b5e2a34ab909ed9fb220818cdf1e06f6
oai_identifier_str oai:pantheon.ufrj.br:11422/6436
network_acronym_str UFRJ
network_name_str Repositório Institucional da UFRJ
repository_id_str
spelling Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmicaEngenharia elétricaSistemas a eventos discretosCNPQ::ENGENHARIAS::ENGENHARIA ELETRICAIn 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.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.Universidade Federal do Rio de JaneiroBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaPrograma de Pós-Graduação em Engenharia ElétricaUFRJMoreira, Marcos Vicente de Britohttp://lattes.cnpq.br/1950666428123863Carvalho, Lilian KawakamiCunha, Antonio Eduardo Carrilho daSilveira, Wesley Rodrigues2019-02-08T16:34:17Z2023-12-21T03:05:08Z2017-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/11422/6436porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJ2023-12-21T03:05:08Zoai:pantheon.ufrj.br:11422/6436Repositório InstitucionalPUBhttp://www.pantheon.ufrj.br/oai/requestpantheon@sibi.ufrj.bropendoar:2023-12-21T03:05:08Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.none.fl_str_mv Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
title Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
spellingShingle Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
Silveira, Wesley Rodrigues
Engenharia elétrica
Sistemas a eventos discretos
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
title_short Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
title_full Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
title_fullStr Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
title_full_unstemmed Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
title_sort Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
author Silveira, Wesley Rodrigues
author_facet Silveira, Wesley Rodrigues
author_role author
dc.contributor.none.fl_str_mv Moreira, Marcos Vicente de Brito
http://lattes.cnpq.br/1950666428123863
Carvalho, Lilian Kawakami
Cunha, Antonio Eduardo Carrilho da
dc.contributor.author.fl_str_mv Silveira, Wesley Rodrigues
dc.subject.por.fl_str_mv Engenharia elétrica
Sistemas a eventos discretos
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
topic Engenharia elétrica
Sistemas a eventos discretos
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
description 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.
publishDate 2017
dc.date.none.fl_str_mv 2017-07
2019-02-08T16:34:17Z
2023-12-21T03:05:08Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11422/6436
url http://hdl.handle.net/11422/6436
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal do Rio de Janeiro
Brasil
Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Programa de Pós-Graduação em Engenharia Elétrica
UFRJ
publisher.none.fl_str_mv Universidade Federal do Rio de Janeiro
Brasil
Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Programa de Pós-Graduação em Engenharia Elétrica
UFRJ
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRJ
instname:Universidade Federal do Rio de Janeiro (UFRJ)
instacron:UFRJ
instname_str Universidade Federal do Rio de Janeiro (UFRJ)
instacron_str UFRJ
institution UFRJ
reponame_str Repositório Institucional da UFRJ
collection Repositório Institucional da UFRJ
repository.name.fl_str_mv Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)
repository.mail.fl_str_mv pantheon@sibi.ufrj.br
_version_ 1815455981745733632

Registros relacionados