pelo suporte laboratorial, ensinamentos em controle de sistemas e coorientação para a realização deste trabalho. Ao Professor Dr. João Inácio da Silva Filho, minha eterna gratidão por suas sábias orientações em Lógica Paraconsistente. Ao Professor Dr. Alexandre Maniçoba de Oliveira, antes meu aluno e agora colega de trabalho e mentor, pelo incentivo para meu ingresso no doutoramento. Ao Professor Dr. Charles Artur Santos de Oliveira, por suas palavras de motivação e exemplo acadêmico profissional. Aos professores da banca de avaliação por suas valorosas contribuições. Agradeço aos meus familiares e amigos que sempre me apoiaram para a conclusão deste trabalho.