Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control
This study presents a new Model Predictive Controller (MPC), built with algorithms based on Paraconsistent Annotated Logic (PAL), with application examples in the excitation control of a synchronous generator. PAL is a non-classical evidential and propositional logic that is associated with a Hasse...
Main Authors: | , , , , , , , , , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2023-02-01
|
Series: | Energies |
Subjects: | |
Online Access: | https://www.mdpi.com/1996-1073/16/4/1934 |
_version_ | 1811153807670771712 |
---|---|
author | João Inácio Da Silva Filho Raphael Adamelk Bispo de Oliveira Marcos Carneiro Rodrigues Hyghor Miranda Côrtes Alexandre Rocco Mauricio Conceição Mario Dorotéa Vilanova Garcia Jair Minoro Abe Claudio Rodrigo Torres Viviane B. Duarte Ricciotti Antonio Carlos Duarte Ricciotti Arnaldo de Carvalho Germano Lambert-Torres |
author_facet | João Inácio Da Silva Filho Raphael Adamelk Bispo de Oliveira Marcos Carneiro Rodrigues Hyghor Miranda Côrtes Alexandre Rocco Mauricio Conceição Mario Dorotéa Vilanova Garcia Jair Minoro Abe Claudio Rodrigo Torres Viviane B. Duarte Ricciotti Antonio Carlos Duarte Ricciotti Arnaldo de Carvalho Germano Lambert-Torres |
author_sort | João Inácio Da Silva Filho |
collection | DOAJ |
description | This study presents a new Model Predictive Controller (MPC), built with algorithms based on Paraconsistent Annotated Logic (PAL), with application examples in the excitation control of a synchronous generator. PAL is a non-classical evidential and propositional logic that is associated with a Hasse lattice, and which presents the property of accepting the contradiction in its foundations. In this research, the algorithm was constructed with a version of the PAL that works with two information signals in the degrees of evidence format and, therefore, is called Paraconsistent Annotated Logic with annotation of two values (PAL2v). For the validation of the algorithmic structure, the computational tool MATLAB<sup>®</sup> Release 2012b, The MathWorks, Inc., Natick, MA, United States was used. Simulations were performed which compared the results obtained with PPC-PAL2v to those obtained in essays with the AVR (Automatic Voltage Regulator) controls in conjunction with the PSS (Power System Stabilizer) and the conventional MPC of fixed weights. The comparative results showed the PPC-PAL2v to display superior performance in the action of the excitation control of the synchronous generator, with a great efficiency in response to small signals. |
first_indexed | 2024-03-11T08:52:58Z |
format | Article |
id | doaj.art-8262d3d72d02475b9599d6b2f71243cf |
institution | Directory Open Access Journal |
issn | 1996-1073 |
language | English |
last_indexed | 2024-03-11T08:52:58Z |
publishDate | 2023-02-01 |
publisher | MDPI AG |
record_format | Article |
series | Energies |
spelling | doaj.art-8262d3d72d02475b9599d6b2f71243cf2023-11-16T20:19:53ZengMDPI AGEnergies1996-10732023-02-01164193410.3390/en16041934Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation ControlJoão Inácio Da Silva Filho0Raphael Adamelk Bispo de Oliveira1Marcos Carneiro Rodrigues2Hyghor Miranda Côrtes3Alexandre Rocco4Mauricio Conceição Mario5Dorotéa Vilanova Garcia6Jair Minoro Abe7Claudio Rodrigo Torres8Viviane B. Duarte Ricciotti9Antonio Carlos Duarte Ricciotti10Arnaldo de Carvalho11Germano Lambert-Torres12Laboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilLaboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilLaboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilLaboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilLaboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilLaboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilLaboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilGraduate Program in Production Engineering, Paulista University, José Maria Whitaker Avenue, 320, São Paulo 04057-000, SP, BrazilPost Graduation Program in Management and Technology in Productive Systems-Paula Souza State Center for Technological Education (CEETEPS), Bandeirantes Street, 169, São Paulo 01124-010, SP, BrazilAcademic Department of Electrical Engineering, Federal University of Rondônia, Porto Velho 76801-058, RO, BrazilAcademic Department of Electrical Engineering, Federal University of Rondônia, Porto Velho 76801-058, RO, BrazilFederal Institute of Education, Science and Technology of São Paulo (IFSP), Cubatão 11533-160, SP, BrazilLaboratory of Applied Paraconsistent Logic, Santa Cecilia University–UNISANTA, Oswaldo Cruz Street 288, Santos 11045-907, SP, BrazilThis study presents a new Model Predictive Controller (MPC), built with algorithms based on Paraconsistent Annotated Logic (PAL), with application examples in the excitation control of a synchronous generator. PAL is a non-classical evidential and propositional logic that is associated with a Hasse lattice, and which presents the property of accepting the contradiction in its foundations. In this research, the algorithm was constructed with a version of the PAL that works with two information signals in the degrees of evidence format and, therefore, is called Paraconsistent Annotated Logic with annotation of two values (PAL2v). For the validation of the algorithmic structure, the computational tool MATLAB<sup>®</sup> Release 2012b, The MathWorks, Inc., Natick, MA, United States was used. Simulations were performed which compared the results obtained with PPC-PAL2v to those obtained in essays with the AVR (Automatic Voltage Regulator) controls in conjunction with the PSS (Power System Stabilizer) and the conventional MPC of fixed weights. The comparative results showed the PPC-PAL2v to display superior performance in the action of the excitation control of the synchronous generator, with a great efficiency in response to small signals.https://www.mdpi.com/1996-1073/16/4/1934paraconsistent logicparaconsistent annotated logicpower gridsstability controlpredictive modelsenergy efficiency |
spellingShingle | João Inácio Da Silva Filho Raphael Adamelk Bispo de Oliveira Marcos Carneiro Rodrigues Hyghor Miranda Côrtes Alexandre Rocco Mauricio Conceição Mario Dorotéa Vilanova Garcia Jair Minoro Abe Claudio Rodrigo Torres Viviane B. Duarte Ricciotti Antonio Carlos Duarte Ricciotti Arnaldo de Carvalho Germano Lambert-Torres Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control Energies paraconsistent logic paraconsistent annotated logic power grids stability control predictive models energy efficiency |
title | Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control |
title_full | Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control |
title_fullStr | Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control |
title_full_unstemmed | Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control |
title_short | Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control |
title_sort | predictive controller based on paraconsistent annotated logic for synchronous generator excitation control |
topic | paraconsistent logic paraconsistent annotated logic power grids stability control predictive models energy efficiency |
url | https://www.mdpi.com/1996-1073/16/4/1934 |
work_keys_str_mv | AT joaoinaciodasilvafilho predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT raphaeladamelkbispodeoliveira predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT marcoscarneirorodrigues predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT hyghormirandacortes predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT alexandrerocco predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT mauricioconceicaomario predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT doroteavilanovagarcia predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT jairminoroabe predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT claudiorodrigotorres predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT vivianebduartericciotti predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT antoniocarlosduartericciotti predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT arnaldodecarvalho predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol AT germanolamberttorres predictivecontrollerbasedonparaconsistentannotatedlogicforsynchronousgeneratorexcitationcontrol |