Controle de Temperatura através de Técnica Fundamentada em Lógica Paraconsistente Anotada Luiz Carlos Rodrigues da Silva, Maurício Conceição Mario, Hyghor Miranda Cortês, Dorotéa Vilanova Garcia, João Inácio da Silva Filho

Resumo

Neste trabalho apresentamos uma aplicação da lógica Paraconsistente anotada com anotação de dois valores (LPA2v) atuando em controle de processos industrial. Foram aplicadas as teorias das lógicas não clássicas denominadas de paraconsistentes e de estudos de aplicações baseados na análise do quadrado unitário no plano cartesiano (QUPC) e algoritmo Para-Analisador em circuito com microcontrolador. As técnicas baseadas no QUPC e algoritmo Para-Analisador foram implementados no software de código aberto ARDUINO e uma placa de desenvolvimento baseada no microcontrolador de oito bits da ATMEL. A partir do conjunto hardware e software foi desenvolvido um controlador de temperatura utilizando os conceitos LPA2v denominado de controlador Paraconsistente (ConTemp_LPA2v)e aplicado em um processo de controle em malha fechada. Os resultados da aplicação do ConTemp_LPA2v foram comparados com os obtidos em um controlador de temperatura industrial no mesmo processo atuando com controle ON/OFF e PID. Os valores resultantes comparativos demonstram um bom desempenho ConTemp_LPA2v considerando ser este o primeiro protótipo.