Comparativo entre um PID e um bloco funcional desenvolvido com base na Lógica Paraconsistente Anotada com Anotação de dois Valores - LPA2v, aplicado a um sistema de controle de temperatura utilizando um controlador programável

Neste artigo são apresentados os resultados da aplicação da Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v) em um controle de temperatura em malha fechada através de um Controlador Programável seguindo a Norma IEC 61131, que em seu item 7 preconiza o estudo de lógicas não-clássicas aplicadas a sistemas de controle, utilizando para tal os conceitos de modularidade e de reuso de código. A LPA2v é uma lógica não clássica que apresenta como principal propriedade a capacidade de tratar contradições. Quando interpretada em seu Reticulado Associado pode-se deduzir equações dos fundamentos da LPA2v, das quais são originados algoritmos para tratamento de sinais contraditórios. Seguindo as premissas da norma, foi utilizada a linguagem Texto Estruturado para a criação de um bloco funcional denominado de BF_Paracon, bloco esse baseado em um Algoritmo da LPA2v denominado de Para-Analisador. Essa implantação permite que todas as propriedades da lógica sejam utilizadas por um Controlador Programável em um controle de processos contínuos ou de manufatura contemplando as regras da Norma IEC 61131. Utilizado como elemento principal de controle, o bloco BF_Paracon foi implementado em um estudo comportamental da malha controlada pelo algoritmo da LPA2v comparado à um controle convencional PID apresentando as afinidades entre os dois tipos. O bloco apresenta o ajuste discreto da potência térmica fornecida a um forno por uma resistência de aquecimento a partir da seleção da intensidade de potência entre doze níveis possíveis. A temperatura varia em um ciclo de limitação típico de controles de malha fechada não lineares discretos na resposta de referência ao degrau. A relevância nos resultados desta pesquisa se destaca na implementação inédita do Algoritmo Para-Analisador através de um Controlador programável a partir da criação do bloco (BF_Paracon) que engloba características de uma lógica não-clássica, onde é demonstrado que a sua modularidade facilita a implementação de sistemas de controle de automação baseados em fundamentos da Lógica Paraconsistente, bem como permite a união de blocos que atuam em conjunto com lógicas clássicas e sistemas baseados em outras linguagens pertencentes a Norma (Ladder).