Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura
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 inte...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
Universidade Federal de Sergipe
2017
|
Subjects: | |
Online Access: | https://ri.ufs.br/handle/riufs/5031 |
id |
ndltd-IBICT-oai-ri.ufs.br-riufs-5031 |
---|---|
record_format |
oai_dc |
collection |
NDLTD |
language |
Portuguese |
format |
Others
|
sources |
NDLTD |
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 |
spellingShingle |
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 Santana Júnior, Wellington Alves Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
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. === 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. |
author2 |
Cardoso, Carlos Alberto Villacorta |
author_facet |
Cardoso, Carlos Alberto Villacorta Santana Júnior, Wellington Alves |
author |
Santana Júnior, Wellington Alves |
author_sort |
Santana Júnior, Wellington Alves |
title |
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura |
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 |
publisher |
Universidade Federal de Sergipe |
publishDate |
2017 |
url |
https://ri.ufs.br/handle/riufs/5031 |
work_keys_str_mv |
AT santanajuniorwellingtonalves diagnosticodefalhasbaseadoemautomatostemporizadosaplicacaoemumsistemamodulardemanufatura AT santanajuniorwellingtonalves faultdiagnosisbytimedautomataapplicationonmodularproductionsystem |
_version_ |
1718866290546835456 |
spelling |
ndltd-IBICT-oai-ri.ufs.br-riufs-50312019-01-21T19:33:08Z Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura Fault diagnosis by timed automata : application on modular production system Santana Júnior, Wellington Alves Cardoso, Carlos Alberto Villacorta 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 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. 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. 2017-09-26T18:08:16Z 2017-09-26T18:08:16Z 2016-08-31 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis 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. https://ri.ufs.br/handle/riufs/5031 por info:eu-repo/semantics/openAccess application/pdf Universidade Federal de Sergipe Pós-Graduação em Engenharia Elétrica UFS Brasil reponame:Repositório Institucional da UFS instname:Universidade Federal de Sergipe instacron:UFS |