Modelagem e análise de circuitos hidráulicos usando redes de Petri

Detalhes bibliográficos
Autor(a) principal: Munoz Salas, Karol
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/194247
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, 2014.
id UFSC_96e78ee140ed0554531532e0250e25c2
oai_identifier_str oai:repositorio.ufsc.br:123456789/194247
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Modelagem e análise de circuitos hidráulicos usando redes de PetriEngenharia de sistemasAutomaçãoSistemas hidráulicosRedes de petriDissertaçã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, 2014.Os sistemas hidráulicos situam-se dentro do domínio de sistemas mecatrônicos, pois são constituídos por circuitos hidráulicos e elétricos,assim como por programas implementados em controladores industriais.Em virtude disso, o projeto de sistemas hidráulicos é uma tarefa complexa e o estabelecimento de métodos durante as fases de desenvolvimento é muito importante. No entanto, até o momento não existe uma proposta consolidada. Frente a esta situação, o desenvolvimento de métodos de análise apresenta-se como uma alternativa para apoiar no projeto de sistemas hidráulicos. Nesse contexto, o presente trabalho propõe um procedimento para a verificação da concepção adotada para o circuito hidráulico. O método proposto considera o modelo do circuito hidráulico e o comportamento especificado. O modelo do circuito é representado por meio do uso da rede Canal - Agência e rede de Petri ordinária, também conhecida como rede de Petri lugar/transição. Por sua vez, a especificação do comportamento é representada por meio do uso da lógica temporal.Posteriormente, para analisar se o comportamento do circuito hidráulico está em conformidade ao esperado, emprega-se o método de verificação formal \"Model Checking\". Com o intuito de ilustrar as características do procedimento proposto, exemplos básicos de circuitos hidráulicos são apresentados. Os resultados obtidos neste trabalho mostram que o método proposto tem grande potencial de aplicação para a verificação da concepção de circuitos hidráulicos em geral.<br>Abstract: Hydraulic systems are considered as a part of mechatronic systems, as they are constituted by hydraulic and electrical circuits, as well as programs implemented in industrial controllers. As consequence, the design of hydraulic systems is a complex task and the establishment of methods during the phases of its development is very important. However up to date there is no consolidated proposal. After evaluating this situation, another approach is considered to support the design of hydraulic systems through the development of analytical methods. In this context, the aim of this research is to propose a procedure for verifying the constructive principle of hydraulic circuits. The proposedprocedure considers the model of the hydraulic circuit and the specification of the expected behavior. The model of the hydraulic circuit is represented by using Channel - Agency net and ordinary Petrinet, also known as a place/transition net. Moreover, the specification of the expected behavior is represented by using temporal logic. Subsequently, to analyze if the behavior of the hydraulic circuit is as expected, a formal verification tool \"Model Checking\" is used. Furthermore, examples of basic hydraulic circuits are presented to illustrate the main features of the proposed procedure. The results show that the proposed method has great potential for the verification of the design of hydraulic circuits in general.De Negri, Victor JulianoUniversidade Federal de Santa CatarinaMunoz Salas, Karol2019-03-28T16:29:04Z2019-03-28T16:29:04Z2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis160 p.| il., gráfs., tabs.application/pdf340507https://repositorio.ufsc.br/handle/123456789/194247porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2019-03-28T16:29:05Zoai:repositorio.ufsc.br:123456789/194247Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732019-03-28T16:29:05Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Modelagem e análise de circuitos hidráulicos usando redes de Petri
title Modelagem e análise de circuitos hidráulicos usando redes de Petri
spellingShingle Modelagem e análise de circuitos hidráulicos usando redes de Petri
Munoz Salas, Karol
Engenharia de sistemas
Automação
Sistemas hidráulicos
Redes de petri
title_short Modelagem e análise de circuitos hidráulicos usando redes de Petri
title_full Modelagem e análise de circuitos hidráulicos usando redes de Petri
title_fullStr Modelagem e análise de circuitos hidráulicos usando redes de Petri
title_full_unstemmed Modelagem e análise de circuitos hidráulicos usando redes de Petri
title_sort Modelagem e análise de circuitos hidráulicos usando redes de Petri
author Munoz Salas, Karol
author_facet Munoz Salas, Karol
author_role author
dc.contributor.none.fl_str_mv De Negri, Victor Juliano
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Munoz Salas, Karol
dc.subject.por.fl_str_mv Engenharia de sistemas
Automação
Sistemas hidráulicos
Redes de petri
topic Engenharia de sistemas
Automação
Sistemas hidráulicos
Redes de petri
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, 2014.
publishDate 2014
dc.date.none.fl_str_mv 2014
2019-03-28T16:29:04Z
2019-03-28T16:29:04Z
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 340507
https://repositorio.ufsc.br/handle/123456789/194247
identifier_str_mv 340507
url https://repositorio.ufsc.br/handle/123456789/194247
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 160 p.| il., gráfs., tabs.
application/pdf
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
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652346544095232

Registros relacionados