Candidate: Karol Muñoz Salas
Program: UFSC / PGEAS
Date: April, 2014
Advisor: Victor Juliano De Negri
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 proposed procedure 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 Petri net, 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.
Reference: 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.)
