Verification of generalized robust diagnosability of discrete event systems

Detalhes bibliográficos
Autor(a) principal: Coutinho, Lahis El Ajouze Azeredo
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Institucional da UFRJ
Texto Completo: http://hdl.handle.net/11422/6094
Resumo: 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.
id UFRJ_c760eabab52d149233f9697decfca2cd
oai_identifier_str oai:pantheon.ufrj.br:11422/6094
network_acronym_str UFRJ
network_name_str Repositório Institucional da UFRJ
repository_id_str
spelling Coutinho, Lahis El Ajouze Azeredohttp://lattes.cnpq.br/6331538839245969Pena, Patrícia NascimentoMoreira, Marcos Vicente de BritoCarvalho, Lilian Kawakami2019-01-15T14:12:25Z2023-11-30T03:03:15Z2017-06http://hdl.handle.net/11422/6094Este 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.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.Submitted by Aglair Aguiar (aglair@ct.ufrj.br) on 2019-01-15T14:12:25Z No. of bitstreams: 1 865902.pdf: 679035 bytes, checksum: f5d05ade22432b6d73d3f5a16d290cc8 (MD5)Made available in DSpace on 2019-01-15T14:12:25Z (GMT). No. of bitstreams: 1 865902.pdf: 679035 bytes, checksum: f5d05ade22432b6d73d3f5a16d290cc8 (MD5) Previous issue date: 2017-06engUniversidade Federal do Rio de JaneiroPrograma de Pós-Graduação em Engenharia ElétricaUFRJBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaCNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::MEDIDAS ELETRICAS, MAGNETICAS E ELETRONICAS INSTRUMENTACAO::SISTEMAS ELETRONICOS DE MEDIDA E DE CONTROLESistemas discretosDiagnósticoAlgoritmosVerification of generalized robust diagnosability of discrete event systemsVerificação da diagnosticabilidade robusta generalizada de sistemas a eventos discretosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisabertoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJORIGINAL865902.pdf865902.pdfapplication/pdf679035http://pantheon.ufrj.br:80/bitstream/11422/6094/1/865902.pdff5d05ade22432b6d73d3f5a16d290cc8MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81853http://pantheon.ufrj.br:80/bitstream/11422/6094/2/license.txtdd32849f2bfb22da963c3aac6e26e255MD5211422/60942023-11-30 00:03:15.841oai:pantheon.ufrj.br:11422/6094TElDRU7Dh0EgTsODTy1FWENMVVNJVkEgREUgRElTVFJJQlVJw4fDg08KCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCB2b2PDqihzKSBvKHMpIGF1dG9yKGVzKSBvdSBwcm9wcmlldMOhcmlvKHMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBjb25jZWRlKG0pIGFvIFJlcG9zaXTDs3JpbyBQYW50aGVvbiBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gZGUgSmFuZWlybyAoVUZSSikgbyBkaXJlaXRvIG7Do28gLSBleGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGUvb3UgZGlzdHJpYnVpciBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vKSBlbSB0b2RvIG8gbXVuZG8sIGVtIGZvcm1hdG8gZWxldHLDtG5pY28gZSBlbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8sIG1hcyBuw6NvIGxpbWl0YWRvIGEgw6F1ZGlvIGUvb3UgdsOtZGVvLgoKVm9jw6ogY29uY29yZGEgcXVlIGEgVUZSSiBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhZHV6aXIgYSBhcHJlc2VudGHDp8OjbyBkZSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gY29tIGEgZmluYWxpZGFkZSBkZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogdGFtYsOpbSBjb25jb3JkYSBxdWUgYSBVRlJKIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXNzYSBzdWJtaXNzw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8OjbyBkaWdpdGFsLgoKRGVjbGFyYSBxdWUgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgc2V1IHRyYWJhbGhvIG9yaWdpbmFsLCBlIHF1ZSB2b2PDqiB0ZW0gbyBkaXJlaXRvIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIGEgc3VhIGFwcmVzZW50YcOnw6NvLCBjb20gbyBtZWxob3IgZGUgc2V1cyBjb25oZWNpbWVudG9zLCBuw6NvIGluZnJpbmdpIGRpcmVpdG9zIGF1dG9yYWlzIGRlIHRlcmNlaXJvcy4KClNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCB2b2PDqiBuw6NvIHRlbSBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBlIGNvbmNlZGUgYSBVRlJKIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRhIHN1Ym1pc3PDo28uCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIHF1ZSBmb2ksIG91IHRlbSBzaWRvIHBhdHJvY2luYWRvIG91IGFwb2lhZG8gcG9yIHVtYSBhZ8OqbmNpYSBvdSBvdXRybyhzKSBvcmdhbmlzbW8ocykgcXVlIG7Do28gYSBVRlJKLCB2b2PDqiBkZWNsYXJhIHF1ZSBjdW1wcml1IHF1YWxxdWVyIGRpcmVpdG8gZGUgUkVWSVPDg08gb3UgZGUgb3V0cmFzIG9icmlnYcOnw7VlcyByZXF1ZXJpZGFzIHBvciBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUkogaXLDoSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8ocykgc2V1KHMpIG5vbWUocykgY29tbyBhdXRvcihlcykgb3UgcHJvcHJpZXTDoXJpbyhzKSBkYSBzdWJtaXNzw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIHBhcmEgYWzDqW0gZGFzIHBlcm1pdGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EsIG5vIGF0byBkZSBzdWJtaXNzw6NvLgo=Repositório de PublicaçõesPUBhttp://www.pantheon.ufrj.br/oai/requestopendoar:2023-11-30T03:03:15Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.en.fl_str_mv Verification of generalized robust diagnosability of discrete event systems
dc.title.alternative.pt_BR.fl_str_mv Verificação da diagnosticabilidade robusta generalizada de sistemas a eventos discretos
title Verification of generalized robust diagnosability of discrete event systems
spellingShingle Verification of generalized robust diagnosability of discrete event systems
Coutinho, Lahis El Ajouze Azeredo
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::MEDIDAS ELETRICAS, MAGNETICAS E ELETRONICAS INSTRUMENTACAO::SISTEMAS ELETRONICOS DE MEDIDA E DE CONTROLE
Sistemas discretos
Diagnóstico
Algoritmos
title_short Verification of generalized robust diagnosability of discrete event systems
title_full Verification of generalized robust diagnosability of discrete event systems
title_fullStr Verification of generalized robust diagnosability of discrete event systems
title_full_unstemmed Verification of generalized robust diagnosability of discrete event systems
title_sort Verification of generalized robust diagnosability of discrete event systems
author Coutinho, Lahis El Ajouze Azeredo
author_facet Coutinho, Lahis El Ajouze Azeredo
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/6331538839245969
dc.contributor.author.fl_str_mv Coutinho, Lahis El Ajouze Azeredo
dc.contributor.referee1.fl_str_mv Pena, Patrícia Nascimento
dc.contributor.referee2.fl_str_mv Moreira, Marcos Vicente de Brito
dc.contributor.advisor1.fl_str_mv Carvalho, Lilian Kawakami
contributor_str_mv Pena, Patrícia Nascimento
Moreira, Marcos Vicente de Brito
Carvalho, Lilian Kawakami
dc.subject.cnpq.fl_str_mv CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::MEDIDAS ELETRICAS, MAGNETICAS E ELETRONICAS INSTRUMENTACAO::SISTEMAS ELETRONICOS DE MEDIDA E DE CONTROLE
topic CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::MEDIDAS ELETRICAS, MAGNETICAS E ELETRONICAS INSTRUMENTACAO::SISTEMAS ELETRONICOS DE MEDIDA E DE CONTROLE
Sistemas discretos
Diagnóstico
Algoritmos
dc.subject.por.fl_str_mv Sistemas discretos
Diagnóstico
Algoritmos
description 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.
publishDate 2017
dc.date.issued.fl_str_mv 2017-06
dc.date.accessioned.fl_str_mv 2019-01-15T14:12:25Z
dc.date.available.fl_str_mv 2023-11-30T03:03:15Z
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/6094
url http://hdl.handle.net/11422/6094
dc.language.iso.fl_str_mv eng
language eng
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
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Engenharia Elétrica
dc.publisher.initials.fl_str_mv UFRJ
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
publisher.none.fl_str_mv Universidade Federal do Rio de Janeiro
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
bitstream.url.fl_str_mv http://pantheon.ufrj.br:80/bitstream/11422/6094/1/865902.pdf
http://pantheon.ufrj.br:80/bitstream/11422/6094/2/license.txt
bitstream.checksum.fl_str_mv f5d05ade22432b6d73d3f5a16d290cc8
dd32849f2bfb22da963c3aac6e26e255
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)
repository.mail.fl_str_mv
_version_ 1784097124029300736

Registros relacionados