Análise da estabilidade de sistemas lineares controlados por redes neurais RELU

Detalhes bibliográficos
Autor(a) principal: Zanette, Daniel Vargas
Data de Publicação: 2023
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/267907
Resumo: Este trabalho estuda o problema de análise de estabilidade exponencial da origem de um sistema linear a tempo discreto realimentado por uma rede neural (RN) do tipo ReLU. Primeiramente é mostrado que o sistema em malha fechada (MF) é equivalente a um sistema afim por partes (PWA) que pode ser descrito por uma representação implícita baseada em funções rampa. A partir desta representação, condições LMI para a certificação de estabilidade da origem do sistema em MF operado com o controle por RN são propostas. Além disso, as restrições de amplitude sobre o sinal de controle são levadas em consideração na análise de estabilidade em forma de uma saturação (potencialmente assimétrica) da saída da RN. Por fim, um exemplo numérico demonstra a aplicação das condições propostas.
id UFRGS-2_27c64d0b2a44fc6d80d52f3df6edc9ab
oai_identifier_str oai:www.lume.ufrgs.br:10183/267907
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Zanette, Daniel VargasSilva Junior, Joao Manoel Gomes da2023-12-02T03:24:37Z2023http://hdl.handle.net/10183/267907001188773Este trabalho estuda o problema de análise de estabilidade exponencial da origem de um sistema linear a tempo discreto realimentado por uma rede neural (RN) do tipo ReLU. Primeiramente é mostrado que o sistema em malha fechada (MF) é equivalente a um sistema afim por partes (PWA) que pode ser descrito por uma representação implícita baseada em funções rampa. A partir desta representação, condições LMI para a certificação de estabilidade da origem do sistema em MF operado com o controle por RN são propostas. Além disso, as restrições de amplitude sobre o sinal de controle são levadas em consideração na análise de estabilidade em forma de uma saturação (potencialmente assimétrica) da saída da RN. Por fim, um exemplo numérico demonstra a aplicação das condições propostas.This work studies the problem of exponential stability analysis of the origin of a discrete-time linear system controlled by a ReLU-type neural network (NN). Firstly, it is shown that the closed-loop system is equivalent to a piecewise affine (PWA) system that can be described by an implicit representation based on ramp functions. Using this representation, conditions in the form of LMIs for the stability certification of the origin of the closed-loop system operated with NN control are derived. In addition, the amplitude constraints on the control signal are taken into account in the stability analysis in the form of a (potentially asymmetric) saturation in the NN output. Finally, a numerical example demonstrates the application of the proposed conditions.application/pdfporControle preditivoRedes neurais artificiaisSistemas lineares : EstabilidadeNeural NetworkModel Predictive ControlLyapunov methodsAnálise da estabilidade de sistemas lineares controlados por redes neurais RELUinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulEscola de EngenhariaPorto Alegre, BR-RS2023Engenharia de Controle e Automaçãograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001188773.pdf.txt001188773.pdf.txtExtracted Texttext/plain84317http://www.lume.ufrgs.br/bitstream/10183/267907/2/001188773.pdf.txt5e2fe7cde4c89d69b4399399719ce578MD52ORIGINAL001188773.pdfTexto completoapplication/pdf742727http://www.lume.ufrgs.br/bitstream/10183/267907/1/001188773.pdfc17260d4097a471f0a4d17660484dbe7MD5110183/2679072023-12-03 04:25:35.957713oai:www.lume.ufrgs.br:10183/267907Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2023-12-03T06:25:35Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
title Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
spellingShingle Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
Zanette, Daniel Vargas
Controle preditivo
Redes neurais artificiais
Sistemas lineares : Estabilidade
Neural Network
Model Predictive Control
Lyapunov methods
title_short Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
title_full Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
title_fullStr Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
title_full_unstemmed Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
title_sort Análise da estabilidade de sistemas lineares controlados por redes neurais RELU
author Zanette, Daniel Vargas
author_facet Zanette, Daniel Vargas
author_role author
dc.contributor.author.fl_str_mv Zanette, Daniel Vargas
dc.contributor.advisor1.fl_str_mv Silva Junior, Joao Manoel Gomes da
contributor_str_mv Silva Junior, Joao Manoel Gomes da
dc.subject.por.fl_str_mv Controle preditivo
Redes neurais artificiais
Sistemas lineares : Estabilidade
topic Controle preditivo
Redes neurais artificiais
Sistemas lineares : Estabilidade
Neural Network
Model Predictive Control
Lyapunov methods
dc.subject.eng.fl_str_mv Neural Network
Model Predictive Control
Lyapunov methods
description Este trabalho estuda o problema de análise de estabilidade exponencial da origem de um sistema linear a tempo discreto realimentado por uma rede neural (RN) do tipo ReLU. Primeiramente é mostrado que o sistema em malha fechada (MF) é equivalente a um sistema afim por partes (PWA) que pode ser descrito por uma representação implícita baseada em funções rampa. A partir desta representação, condições LMI para a certificação de estabilidade da origem do sistema em MF operado com o controle por RN são propostas. Além disso, as restrições de amplitude sobre o sinal de controle são levadas em consideração na análise de estabilidade em forma de uma saturação (potencialmente assimétrica) da saída da RN. Por fim, um exemplo numérico demonstra a aplicação das condições propostas.
publishDate 2023
dc.date.accessioned.fl_str_mv 2023-12-02T03:24:37Z
dc.date.issued.fl_str_mv 2023
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/267907
dc.identifier.nrb.pt_BR.fl_str_mv 001188773
url http://hdl.handle.net/10183/267907
identifier_str_mv 001188773
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/267907/2/001188773.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/267907/1/001188773.pdf
bitstream.checksum.fl_str_mv 5e2fe7cde4c89d69b4399399719ce578
c17260d4097a471f0a4d17660484dbe7
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447353765658624

Registros relacionados