Candidato: Karol Muñoz Salas
Programa: UFSC / PGEAS
Data: Abril de 2014
Orientador: Victor Juliano De Negri
Resumo: 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.
Palavras-chave: sistema hidráulico, rede canal-agência, rede de Petri, model checking, sistema automático.
Referência: MUÑOZ, K. Modelagem e Análise de Circuitos Hidráulicos usando Redes de Petri. 2014. 171 p. Dissertação (Mestrado em Engenharia de Automação e Sistemas). Universidade Federal de Santa Catarina, Florianópolis.)
