TORRES, Cláudio Rodrigo; http://lattes.cnpq.br/1455540390103569 (Universidade Federal de ItajubáBrasilIESTI - Instituto de Engenharia de Sistemas e Tecnologia da InformaçãoPrograma de Pós-Graduação: Mestrado - Engenharia ElétricaUNIFEI, 2004-11-08)
This thesis intends to show a controller based on the evidential annotated
paraconsistent logic Eτ – Paracontrol. The Paracontrol is a variation of the logic analyzer
studied in [Da Silva Filho 99]. This work also shows ...