Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas

Detalhes bibliográficos
Autor(a) principal: Paiva, Pedro Roberto Rodrigues
Data de Publicação: 2019
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFRJ
Texto Completo: http://hdl.handle.net/11422/21715
Resumo: O objetivo desta tese é apresentar um m étodo para a diagnose online de falhas para sistemas a eventos discretos (SED) modelados por redes de Petri rotuladas acíclicas, nas quais, diferentes transições podem ser rotuladas por um mesmo evento. Inicialmente um diagnosticador online é proposto que toma a sua decisão quanto à ocorrência da falha, armazenando a sequência de eventos observados e verificando, após a ocorrência de um evento observável, se dois conjuntos de desigualdades são satisfeitos: um conjunto define o comportamento normal ou livre de falha do sistema enquanto o outro define o comportamento após a falha do sistema. Além disso, considera-se o problema da verificação da diagnosticabilidade no qual conjuntos de desigualdades, quando satisfeitos, permitem decidir se a linguagem gerada por uma rede de Petri é diagnosticável. O método adotado para diagnose online tem a vantagem sobre os métodos encontrados na literatura por depender apenas da verificação do atendimento de um vetor de variáveis aos conjuntos de desigualdades sendo auto-contido dentro do formalismo da rede de Petri. Entretanto, o método proposto está restrito a redes de Petri que não apresentem sequências de falha e normal compartilhando o mesmo número de ocorrências dos eventos observados. Para abranger todas as redes de Petri rotuladas acíclicas é proposto um diagnosticador modificado no qual mais do que dois conjuntos devem ser verificados para definição do comportamento do sistema sendo o número de conjuntos dependente da árvore de alcançabilidade da rede de Petri. Um sistema de manufatura é utilizado para ilustrar os métodos aqui propostos.
id UFRJ_80a83ee9311982c5fc0d7a3959e5b712
oai_identifier_str oai:pantheon.ufrj.br:11422/21715
network_acronym_str UFRJ
network_name_str Repositório Institucional da UFRJ
repository_id_str
spelling Paiva, Pedro Roberto Rodrigueshttp://lattes.cnpq.br/2577261800635293Basilio, João Carlos dos SantosMoreira, Marcos Vicente de BritoMiyagi, Paulo EigiCunha, Antônio Eduardo Carrilho daCarvalho, Lilian Kawakami2023-09-27T15:51:59Z2023-11-30T03:01:28Z2019-03-02http://hdl.handle.net/11422/21715O objetivo desta tese é apresentar um m étodo para a diagnose online de falhas para sistemas a eventos discretos (SED) modelados por redes de Petri rotuladas acíclicas, nas quais, diferentes transições podem ser rotuladas por um mesmo evento. Inicialmente um diagnosticador online é proposto que toma a sua decisão quanto à ocorrência da falha, armazenando a sequência de eventos observados e verificando, após a ocorrência de um evento observável, se dois conjuntos de desigualdades são satisfeitos: um conjunto define o comportamento normal ou livre de falha do sistema enquanto o outro define o comportamento após a falha do sistema. Além disso, considera-se o problema da verificação da diagnosticabilidade no qual conjuntos de desigualdades, quando satisfeitos, permitem decidir se a linguagem gerada por uma rede de Petri é diagnosticável. O método adotado para diagnose online tem a vantagem sobre os métodos encontrados na literatura por depender apenas da verificação do atendimento de um vetor de variáveis aos conjuntos de desigualdades sendo auto-contido dentro do formalismo da rede de Petri. Entretanto, o método proposto está restrito a redes de Petri que não apresentem sequências de falha e normal compartilhando o mesmo número de ocorrências dos eventos observados. Para abranger todas as redes de Petri rotuladas acíclicas é proposto um diagnosticador modificado no qual mais do que dois conjuntos devem ser verificados para definição do comportamento do sistema sendo o número de conjuntos dependente da árvore de alcançabilidade da rede de Petri. Um sistema de manufatura é utilizado para ilustrar os métodos aqui propostos.The objective of this thesis is to present a method for online failure diagnosis for discrete event systems (DES) modeled by acyclic labeled Petri nets in which different transitions can be labeled by the same event. Initially, it is proposed an online diagnoser that makes its decision about the occurrence of the failure by storing sequences of observed events and verifying, after the occurrence of an observable event, if two sets of inequalities are satisfied: the first set accounts for the normal or fault-free behavior whereas the second set accounts for the faulty behavior of the system. In addition, we consider the problem of diagnosability verification in which sets of inequalities, when satisfied, allow to decide if the language generated by a Petri net is diagnosable. The method adopted for online diagnosis has the advantage over those found in the literature since its depends only on the verification if a vector of variables satisfies an inequality system, being self-contained within the formalism the Petri net. However, the proposed method is restricted to Petri nets that do not present failure and normal sequences sharing the same number of occurrences of the observable events. A modified diagnoser is proposed to encompass all the acyclic labeled Petri nets, in which more than two sets must be checked for system behavior definition being the number of sets dependent on the reachability tree of the Petri net. A manufacturing system is used to illustrate the methods proposed here.Submitted by Aglair Aguiar (aglair@ct.ufrj.br) on 2023-03-30T10:46:39Z No. of bitstreams: 1 924921.pdf: 867101 bytes, checksum: a782c0b806e2f2bed11bc6232c931ed9 (MD5)Approved for entry into archive by Christianne Fontes de Andrade (cfontes@ct.ufrj.br) on 2023-09-27T15:51:59Z (GMT) No. of bitstreams: 1 924921.pdf: 867101 bytes, checksum: a782c0b806e2f2bed11bc6232c931ed9 (MD5)Made available in DSpace on 2023-09-27T15:51:59Z (GMT). No. of bitstreams: 1 924921.pdf: 867101 bytes, checksum: a782c0b806e2f2bed11bc6232c931ed9 (MD5) Previous issue date: 2019-03-02porUniversidade 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 ELETRICASistemas a eventos discretosRede de PetriDiagnose de falhaDiagnosticabilidadeDiagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisabertoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJLICENSElicense.txtlicense.txttext/plain; charset=utf-81853http://pantheon.ufrj.br:80/bitstream/11422/21715/3/license.txtdd32849f2bfb22da963c3aac6e26e255MD53ORIGINAL924921.pdf924921.pdfapplication/pdf867101http://pantheon.ufrj.br:80/bitstream/11422/21715/2/924921.pdfa782c0b806e2f2bed11bc6232c931ed9MD5211422/217152023-11-30 00:01:28.696oai:pantheon.ufrj.br:11422/21715TElDRU7Dh0EgTsODTy1FWENMVVNJVkEgREUgRElTVFJJQlVJw4fDg08KCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCB2b2PDqihzKSBvKHMpIGF1dG9yKGVzKSBvdSBwcm9wcmlldMOhcmlvKHMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBjb25jZWRlKG0pIGFvIFJlcG9zaXTDs3JpbyBQYW50aGVvbiBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gZGUgSmFuZWlybyAoVUZSSikgbyBkaXJlaXRvIG7Do28gLSBleGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGUvb3UgZGlzdHJpYnVpciBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vKSBlbSB0b2RvIG8gbXVuZG8sIGVtIGZvcm1hdG8gZWxldHLDtG5pY28gZSBlbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8sIG1hcyBuw6NvIGxpbWl0YWRvIGEgw6F1ZGlvIGUvb3UgdsOtZGVvLgoKVm9jw6ogY29uY29yZGEgcXVlIGEgVUZSSiBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhZHV6aXIgYSBhcHJlc2VudGHDp8OjbyBkZSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gY29tIGEgZmluYWxpZGFkZSBkZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogdGFtYsOpbSBjb25jb3JkYSBxdWUgYSBVRlJKIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXNzYSBzdWJtaXNzw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8OjbyBkaWdpdGFsLgoKRGVjbGFyYSBxdWUgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgc2V1IHRyYWJhbGhvIG9yaWdpbmFsLCBlIHF1ZSB2b2PDqiB0ZW0gbyBkaXJlaXRvIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIGEgc3VhIGFwcmVzZW50YcOnw6NvLCBjb20gbyBtZWxob3IgZGUgc2V1cyBjb25oZWNpbWVudG9zLCBuw6NvIGluZnJpbmdpIGRpcmVpdG9zIGF1dG9yYWlzIGRlIHRlcmNlaXJvcy4KClNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCB2b2PDqiBuw6NvIHRlbSBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBlIGNvbmNlZGUgYSBVRlJKIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRhIHN1Ym1pc3PDo28uCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIHF1ZSBmb2ksIG91IHRlbSBzaWRvIHBhdHJvY2luYWRvIG91IGFwb2lhZG8gcG9yIHVtYSBhZ8OqbmNpYSBvdSBvdXRybyhzKSBvcmdhbmlzbW8ocykgcXVlIG7Do28gYSBVRlJKLCB2b2PDqiBkZWNsYXJhIHF1ZSBjdW1wcml1IHF1YWxxdWVyIGRpcmVpdG8gZGUgUkVWSVPDg08gb3UgZGUgb3V0cmFzIG9icmlnYcOnw7VlcyByZXF1ZXJpZGFzIHBvciBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUkogaXLDoSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8ocykgc2V1KHMpIG5vbWUocykgY29tbyBhdXRvcihlcykgb3UgcHJvcHJpZXTDoXJpbyhzKSBkYSBzdWJtaXNzw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIHBhcmEgYWzDqW0gZGFzIHBlcm1pdGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EsIG5vIGF0byBkZSBzdWJtaXNzw6NvLgo=Repositório de PublicaçõesPUBhttp://www.pantheon.ufrj.br/oai/requestopendoar:2023-11-30T03:01:28Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.pt_BR.fl_str_mv Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
title Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
spellingShingle Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
Paiva, Pedro Roberto Rodrigues
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Sistemas a eventos discretos
Rede de Petri
Diagnose de falha
Diagnosticabilidade
title_short Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
title_full Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
title_fullStr Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
title_full_unstemmed Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
title_sort Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
author Paiva, Pedro Roberto Rodrigues
author_facet Paiva, Pedro Roberto Rodrigues
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/2577261800635293
dc.contributor.author.fl_str_mv Paiva, Pedro Roberto Rodrigues
dc.contributor.referee1.fl_str_mv Basilio, João Carlos dos Santos
dc.contributor.referee2.fl_str_mv Moreira, Marcos Vicente de Brito
dc.contributor.referee3.fl_str_mv Miyagi, Paulo Eigi
dc.contributor.referee4.fl_str_mv Cunha, Antônio Eduardo Carrilho da
dc.contributor.advisor1.fl_str_mv Carvalho, Lilian Kawakami
contributor_str_mv Basilio, João Carlos dos Santos
Moreira, Marcos Vicente de Brito
Miyagi, Paulo Eigi
Cunha, Antônio Eduardo Carrilho da
Carvalho, Lilian Kawakami
dc.subject.cnpq.fl_str_mv CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
topic CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Sistemas a eventos discretos
Rede de Petri
Diagnose de falha
Diagnosticabilidade
dc.subject.por.fl_str_mv Sistemas a eventos discretos
Rede de Petri
Diagnose de falha
Diagnosticabilidade
description O objetivo desta tese é apresentar um m étodo para a diagnose online de falhas para sistemas a eventos discretos (SED) modelados por redes de Petri rotuladas acíclicas, nas quais, diferentes transições podem ser rotuladas por um mesmo evento. Inicialmente um diagnosticador online é proposto que toma a sua decisão quanto à ocorrência da falha, armazenando a sequência de eventos observados e verificando, após a ocorrência de um evento observável, se dois conjuntos de desigualdades são satisfeitos: um conjunto define o comportamento normal ou livre de falha do sistema enquanto o outro define o comportamento após a falha do sistema. Além disso, considera-se o problema da verificação da diagnosticabilidade no qual conjuntos de desigualdades, quando satisfeitos, permitem decidir se a linguagem gerada por uma rede de Petri é diagnosticável. O método adotado para diagnose online tem a vantagem sobre os métodos encontrados na literatura por depender apenas da verificação do atendimento de um vetor de variáveis aos conjuntos de desigualdades sendo auto-contido dentro do formalismo da rede de Petri. Entretanto, o método proposto está restrito a redes de Petri que não apresentem sequências de falha e normal compartilhando o mesmo número de ocorrências dos eventos observados. Para abranger todas as redes de Petri rotuladas acíclicas é proposto um diagnosticador modificado no qual mais do que dois conjuntos devem ser verificados para definição do comportamento do sistema sendo o número de conjuntos dependente da árvore de alcançabilidade da rede de Petri. Um sistema de manufatura é utilizado para ilustrar os métodos aqui propostos.
publishDate 2019
dc.date.issued.fl_str_mv 2019-03-02
dc.date.accessioned.fl_str_mv 2023-09-27T15:51:59Z
dc.date.available.fl_str_mv 2023-11-30T03:01:28Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11422/21715
url http://hdl.handle.net/11422/21715
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
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/21715/3/license.txt
http://pantheon.ufrj.br:80/bitstream/11422/21715/2/924921.pdf
bitstream.checksum.fl_str_mv dd32849f2bfb22da963c3aac6e26e255
a782c0b806e2f2bed11bc6232c931ed9
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_ 1784097283867934720

Registros relacionados