Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFS |
Texto Completo: | https://ri.ufs.br/handle/riufs/5031 |
Resumo: | The problem of fault diagnosis has been widely discussed by the academic community using the theory of Discrete Event Systems. However, the application of this theory to real systems is a field where there is a lot to be explored. The problem proposed in this work is to diagnose permanent or intermittent failures in devices (sensors and actuators) belonging to stations of a didactic flexible manufacturing system, called Modular Production System - MPS, produced by Festo company. The objective will be achieved through a modeling and simulation that allow for future implementation in the system. Three methods will be presented on fault diagnosis written in UPPAAL software language which is based on the timed safety automata formalism, as proposed by ALUR and DILL (1994) and HENZINGER et al (1994). The first method is an implementation of TRIPAKIS (2002) diagnoser. The other two methods developed in this research are inspired by TRIPAKIS (2002) and are diagnosable by definitions presented in TRIPAKIS (2002) and I-diagnosability presented in Sampath et al. (1995). The strategies for fault detection include the use of a network of timed safety automata, composed of the automaton that describes the process behavior and the diagnosers automata for each type of failure. The diagnosers detect failures from the observation of delays of certain transitions in the automaton G (process) and isolate them through observations of the sensors states. Fault indicators events serve to announce failures and synchronize the automaton G with the diagnosers. |
id |
UFS-2_8d0944b1268f5ff81c30304117b7830c |
---|---|
oai_identifier_str |
oai:ufs.br:riufs/5031 |
network_acronym_str |
UFS-2 |
network_name_str |
Repositório Institucional da UFS |
repository_id_str |
|
spelling |
Santana Júnior, Wellington AlvesCardoso, Carlos Alberto Villacortahttp://lattes.cnpq.br/85409749004227832017-09-26T18:08:16Z2017-09-26T18:08:16Z2016-08-31SANTANA JÚNIOR, Wellington Alves. Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura. 2016. 150 f. Dissertação (Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Sergipe, São Cristóvão, 2016.https://ri.ufs.br/handle/riufs/5031The problem of fault diagnosis has been widely discussed by the academic community using the theory of Discrete Event Systems. However, the application of this theory to real systems is a field where there is a lot to be explored. The problem proposed in this work is to diagnose permanent or intermittent failures in devices (sensors and actuators) belonging to stations of a didactic flexible manufacturing system, called Modular Production System - MPS, produced by Festo company. The objective will be achieved through a modeling and simulation that allow for future implementation in the system. Three methods will be presented on fault diagnosis written in UPPAAL software language which is based on the timed safety automata formalism, as proposed by ALUR and DILL (1994) and HENZINGER et al (1994). The first method is an implementation of TRIPAKIS (2002) diagnoser. The other two methods developed in this research are inspired by TRIPAKIS (2002) and are diagnosable by definitions presented in TRIPAKIS (2002) and I-diagnosability presented in Sampath et al. (1995). The strategies for fault detection include the use of a network of timed safety automata, composed of the automaton that describes the process behavior and the diagnosers automata for each type of failure. The diagnosers detect failures from the observation of delays of certain transitions in the automaton G (process) and isolate them through observations of the sensors states. Fault indicators events serve to announce failures and synchronize the automaton G with the diagnosers.O problema do diagnóstico de falhas, utilizando a teoria de Sistemas a Eventos Discretos, tem sido largamente abordado pela comunidade acadêmica. Entretanto, a aplicação desta teoria a sistemas reais é um campo onde há muito a ser explorado. O problema proposto, neste trabalho, é o de diagnosticar falhas permanentes ou intermitentes de dispositivos (sensores e atuadores) pertencentes a estações de um sistema flexível de manufatura didático, denominado Sistema Modular de Produção - MPS, fabricado pela empresa Festo. Este objetivo será alcançado por meio de uma modelagem e simulação que permitam uma futura implementação no sistema. Serão apresentados três métodos para diagnóstico de falhas escritos na linguagem do software UPPAAL que se baseia no formalismo autômatos seguros temporizados, conforme proposto por ALUR e DILL (1994) e HENZINGER et al (1994). O primeiro método é uma implementação do diagnosticador proposto em TRIPAKIS (2002). Os outros dois métodos, elaborados nesta pesquisa, são inspirados no diagnosticador TRIPAKIS (2002) e são diagnosticáveis pelos critérios apresentados em TRIPAKIS (2002) e Idiagnosticabilidade conforme SAMPATH et al. (1995). As estratégias para detecção de falhas incluem a utilização de uma rede de autômatos seguros temporizados, composta pelo autômato que descreve o comportamento do processo e por autômatos diagnosticadores para cada tipo de falha. Os diagnosticadores detectam as falhas a partir da observação de atrasos de determinadas transições do autômato G (processo) e as isolam por meio de observações dos estados dos sensores. Eventos indicadores de falhas servem para anunciar falhas e sincronizar o autômato G com os diagnosticadores.application/pdfporUniversidade Federal de SergipePós-Graduação em Engenharia ElétricaUFSBrasilEngenharia elétricaTeoria dos autômatosLinguagem de programação (computadores)Autômatos temporizadosSistema modular de manufaturaDiagnóstico de falhasAutomação inteligenteFault diagnosisTimed automataModular production systemENGENHARIAS::ENGENHARIA ELETRICADiagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufaturaFault diagnosis by timed automata : application on modular production systeminfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFSinstname:Universidade Federal de Sergipe (UFS)instacron:UFSORIGINALWELLINGTON_ALVES_SANTANA_JUNIOR.pdfapplication/pdf6888803https://ri.ufs.br/jspui/bitstream/riufs/5031/1/WELLINGTON_ALVES_SANTANA_JUNIOR.pdf7eb160a8039483e799413b28c9d35c6eMD51TEXTWELLINGTON_ALVES_SANTANA_JUNIOR.pdf.txtWELLINGTON_ALVES_SANTANA_JUNIOR.pdf.txtExtracted texttext/plain199059https://ri.ufs.br/jspui/bitstream/riufs/5031/2/WELLINGTON_ALVES_SANTANA_JUNIOR.pdf.txt6f4e15d7ee4bc31e2f1e6e642d158f0dMD52THUMBNAILWELLINGTON_ALVES_SANTANA_JUNIOR.pdf.jpgWELLINGTON_ALVES_SANTANA_JUNIOR.pdf.jpgGenerated Thumbnailimage/jpeg1219https://ri.ufs.br/jspui/bitstream/riufs/5031/3/WELLINGTON_ALVES_SANTANA_JUNIOR.pdf.jpg2b2a9eb8fc2f0b80e27329532ad603f7MD53riufs/50312017-11-27 21:39:30.082oai:ufs.br:riufs/5031Repositório InstitucionalPUBhttps://ri.ufs.br/oai/requestrepositorio@academico.ufs.bropendoar:2017-11-28T00:39:30Repositório Institucional da UFS - Universidade Federal de Sergipe (UFS)false |
dc.title.por.fl_str_mv |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
dc.title.alternative.eng.fl_str_mv |
Fault diagnosis by timed automata : application on modular production system |
title |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
spellingShingle |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura Santana Júnior, Wellington Alves Engenharia elétrica Teoria dos autômatos Linguagem de programação (computadores) Autômatos temporizados Sistema modular de manufatura Diagnóstico de falhas Automação inteligente Fault diagnosis Timed automata Modular production system ENGENHARIAS::ENGENHARIA ELETRICA |
title_short |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
title_full |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
title_fullStr |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
title_full_unstemmed |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
title_sort |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
author |
Santana Júnior, Wellington Alves |
author_facet |
Santana Júnior, Wellington Alves |
author_role |
author |
dc.contributor.author.fl_str_mv |
Santana Júnior, Wellington Alves |
dc.contributor.advisor1.fl_str_mv |
Cardoso, Carlos Alberto Villacorta |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/8540974900422783 |
contributor_str_mv |
Cardoso, Carlos Alberto Villacorta |
dc.subject.por.fl_str_mv |
Engenharia elétrica Teoria dos autômatos Linguagem de programação (computadores) Autômatos temporizados Sistema modular de manufatura Diagnóstico de falhas Automação inteligente |
topic |
Engenharia elétrica Teoria dos autômatos Linguagem de programação (computadores) Autômatos temporizados Sistema modular de manufatura Diagnóstico de falhas Automação inteligente Fault diagnosis Timed automata Modular production system ENGENHARIAS::ENGENHARIA ELETRICA |
dc.subject.eng.fl_str_mv |
Fault diagnosis Timed automata Modular production system |
dc.subject.cnpq.fl_str_mv |
ENGENHARIAS::ENGENHARIA ELETRICA |
description |
The problem of fault diagnosis has been widely discussed by the academic community using the theory of Discrete Event Systems. However, the application of this theory to real systems is a field where there is a lot to be explored. The problem proposed in this work is to diagnose permanent or intermittent failures in devices (sensors and actuators) belonging to stations of a didactic flexible manufacturing system, called Modular Production System - MPS, produced by Festo company. The objective will be achieved through a modeling and simulation that allow for future implementation in the system. Three methods will be presented on fault diagnosis written in UPPAAL software language which is based on the timed safety automata formalism, as proposed by ALUR and DILL (1994) and HENZINGER et al (1994). The first method is an implementation of TRIPAKIS (2002) diagnoser. The other two methods developed in this research are inspired by TRIPAKIS (2002) and are diagnosable by definitions presented in TRIPAKIS (2002) and I-diagnosability presented in Sampath et al. (1995). The strategies for fault detection include the use of a network of timed safety automata, composed of the automaton that describes the process behavior and the diagnosers automata for each type of failure. The diagnosers detect failures from the observation of delays of certain transitions in the automaton G (process) and isolate them through observations of the sensors states. Fault indicators events serve to announce failures and synchronize the automaton G with the diagnosers. |
publishDate |
2016 |
dc.date.issued.fl_str_mv |
2016-08-31 |
dc.date.accessioned.fl_str_mv |
2017-09-26T18:08:16Z |
dc.date.available.fl_str_mv |
2017-09-26T18:08:16Z |
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.citation.fl_str_mv |
SANTANA JÚNIOR, Wellington Alves. Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura. 2016. 150 f. Dissertação (Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Sergipe, São Cristóvão, 2016. |
dc.identifier.uri.fl_str_mv |
https://ri.ufs.br/handle/riufs/5031 |
identifier_str_mv |
SANTANA JÚNIOR, Wellington Alves. Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura. 2016. 150 f. Dissertação (Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Sergipe, São Cristóvão, 2016. |
url |
https://ri.ufs.br/handle/riufs/5031 |
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.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal de Sergipe |
dc.publisher.program.fl_str_mv |
Pós-Graduação em Engenharia Elétrica |
dc.publisher.initials.fl_str_mv |
UFS |
dc.publisher.country.fl_str_mv |
Brasil |
publisher.none.fl_str_mv |
Universidade Federal de Sergipe |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFS instname:Universidade Federal de Sergipe (UFS) instacron:UFS |
instname_str |
Universidade Federal de Sergipe (UFS) |
instacron_str |
UFS |
institution |
UFS |
reponame_str |
Repositório Institucional da UFS |
collection |
Repositório Institucional da UFS |
bitstream.url.fl_str_mv |
https://ri.ufs.br/jspui/bitstream/riufs/5031/1/WELLINGTON_ALVES_SANTANA_JUNIOR.pdf https://ri.ufs.br/jspui/bitstream/riufs/5031/2/WELLINGTON_ALVES_SANTANA_JUNIOR.pdf.txt https://ri.ufs.br/jspui/bitstream/riufs/5031/3/WELLINGTON_ALVES_SANTANA_JUNIOR.pdf.jpg |
bitstream.checksum.fl_str_mv |
7eb160a8039483e799413b28c9d35c6e 6f4e15d7ee4bc31e2f1e6e642d158f0d 2b2a9eb8fc2f0b80e27329532ad603f7 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFS - Universidade Federal de Sergipe (UFS) |
repository.mail.fl_str_mv |
repositorio@academico.ufs.br |
_version_ |
1802110715196080128 |