Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets

Detalhes bibliográficos
Autor(a) principal: Bonafin, Ana Caroline Tondo
Data de Publicação: 2021
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/231208
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2021.
id UFSC_73179dd8841307dfc8b4832e2d442dd1
oai_identifier_str oai:repositorio.ufsc.br:123456789/231208
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaBonafin, Ana Caroline TondoCabral, Felipe Gomes de Oliveira2022-02-14T13:34:56Z2022-02-14T13:34:56Z2021373784https://repositorio.ufsc.br/handle/123456789/231208Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2021.Neste trabalho, um método de diagnóstico de falhas para Sistemas a Eventos Discretos (SEDs) modelados por redes de Petri rotuladas (RPRs) é proposto. Para tanto, nesta dissertação é suposto que algumas transições da rede de Petri são não observáveis, incluindo as transições de falha. O método de diagnóstico consiste em dois passos: primeiro, a detecção online de falhas é feita; e então, candidatos de falha são isolados com base na sequência de eventos observada. A detecção online é feita com base na construção de uma RPR a partir do modelo do comportamento livre de falha do sistema, chamada de rede de Petri do comportamento observável (RPCO), cujas transições são todas observáveis e cuja linguagem gerada é igual à linguagem observável do modelo livre de falha quando algumas condições são satisfeitas. Além disso, neste trabalho, é mostrado que a RPCO pode ser implementada para detecção de falha ao invés do grafo de alcançabilidade da rede que modela o sistema, ou mesmo parte dele, o que leva a um rápido método de detecção de falhas sem necessitar de um grande uso de memória. Um estudo de caso é também apresentado para ilustrar o método proposto.Abstract: In this work, a fault diagnosis method for Discrete-Event Systems (DES) modeled as labeled Petri nets (LPN) is proposed. In order to do so, it is assumed that some transitions of the Petri net are unobservable, including the fault transitions. The diagnosis method consists of two steps: first, an online fault detection is carried out; and then, by using the observed sequence of events and the Petri net model, the fault candidates are isolated. The online fault detection is based on the construction of an LPN from the fault-free system behavior model, called observable behavior Petri net (OBPN), whose transitions are all observable, and whose generated language is guaranteed to be equal to the observable language of the fault-free system model when some conditions are satisfied. It is also shown that the OBPN can be used for fault detection instead of implementing the reachability graph, or even part of it, of the Petri net system model, which leads to a fast fault detection method without requiring the use of a large amount of memory. A case study is also presented in order to illustrate the proposed method.61 p.| il.engEngenharia de sistemasAutomaçãoFalhas de sistemas de computaçãoPetri, Redes deSistemas de tempo discretoFault diagnosis of discrete-event systems modeled by a class of labeled Petri netsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALPEAS0390-D.pdfPEAS0390-D.pdfapplication/pdf899777https://repositorio.ufsc.br/bitstream/123456789/231208/-1/PEAS0390-D.pdf9858d4cb0a7ad0e8c74518fc3806f429MD5-1123456789/2312082022-02-14 10:34:56.882oai:repositorio.ufsc.br:123456789/231208Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732022-02-14T13:34:56Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
title Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
spellingShingle Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
Bonafin, Ana Caroline Tondo
Engenharia de sistemas
Automação
Falhas de sistemas de computação
Petri, Redes de
Sistemas de tempo discreto
title_short Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
title_full Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
title_fullStr Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
title_full_unstemmed Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
title_sort Fault diagnosis of discrete-event systems modeled by a class of labeled Petri nets
author Bonafin, Ana Caroline Tondo
author_facet Bonafin, Ana Caroline Tondo
author_role author
dc.contributor.none.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Bonafin, Ana Caroline Tondo
dc.contributor.advisor1.fl_str_mv Cabral, Felipe Gomes de Oliveira
contributor_str_mv Cabral, Felipe Gomes de Oliveira
dc.subject.classification.none.fl_str_mv Engenharia de sistemas
Automação
Falhas de sistemas de computação
Petri, Redes de
Sistemas de tempo discreto
topic Engenharia de sistemas
Automação
Falhas de sistemas de computação
Petri, Redes de
Sistemas de tempo discreto
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2021.
publishDate 2021
dc.date.issued.fl_str_mv 2021
dc.date.accessioned.fl_str_mv 2022-02-14T13:34:56Z
dc.date.available.fl_str_mv 2022-02-14T13:34:56Z
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 https://repositorio.ufsc.br/handle/123456789/231208
dc.identifier.other.none.fl_str_mv 373784
identifier_str_mv 373784
url https://repositorio.ufsc.br/handle/123456789/231208
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.format.none.fl_str_mv 61 p.| il.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/231208/-1/PEAS0390-D.pdf
bitstream.checksum.fl_str_mv 9858d4cb0a7ad0e8c74518fc3806f429
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805406042030080

Registros relacionados