Use este identificador para citar ou linkar para este item: http://hdl.handle.net/11422/21715
Tipo: Tese
Título: Diagnose online de sistemas a eventos discretos modelados por Redes de Petri rotuladas acíclicas
Autor(es)/Inventor(es): Paiva, Pedro Roberto Rodrigues
Orientador: Carvalho, Lilian Kawakami
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.
Resumo: 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.
Palavras-chave: Sistemas a eventos discretos
Rede de Petri
Diagnose de falha
Diagnosticabilidade
Assunto CNPq: CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Programa: Programa de Pós-Graduação em Engenharia Elétrica
Unidade produtora: Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Editora: Universidade Federal do Rio de Janeiro
Data de publicação: 2-Mar-2019
País de publicação: Brasil
Idioma da publicação: por
Tipo de acesso: Acesso Aberto
Aparece nas coleções:Engenharia Elétrica

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
924921.pdf846.78 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.