Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel
| Ano de defesa: | 2022 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Estadual do Rio de Janeiro (UERJ)
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://www.repositorio.mar.mil.br/handle/ripcmb/846513 |
Resumo: | Esta dissertação apresenta o projeto e a análise da busca extremal para mapas estáticos com entrada governada por uma equação diferencial parcial (EDP) de difusão definida em um espaço variante no tempo descrito por uma equação diferencial ordinária (EDO). Esse é o primeiro esforço para buscar uma extensão da busca extremal da EDP do calor para a EDP de Stefan. A compensação da dinâmica de atuação é realizada por um controlador de fronteira (backstepping control) através de uma transformação backs- tepping para fronteira móvel, que é utilizado para transformar o acoplamento EDP-EDO original em um sistema alvo no qual a estabilidade exponencial é provada. A convergência exponencial local para uma pequena vizinhança do ponto ótimo é provada utilizando a metodologia de backstepping, funcional de Lyapunov-Krasovskii e o método da média em dimensões infinitas. Uma extensão do controle por busca extremal com compensação de atraso do problema de Stefan também é discutida. |
| id |
MB_55a24d8079fa01193b6df7d24715f6ec |
|---|---|
| oai_identifier_str |
oai:www.repositorio.mar.mil.br:ripcmb/846513 |
| network_acronym_str |
MB |
| network_name_str |
Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB) |
| repository_id_str |
|
| spelling |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvelExtremum seeking for Stefan partial differential equation with moving boundaryControle adaptativoBusca extremalEquação diferencial parcialTeoria da médiaSistemas de dimensão infinitaTransformação BacksteppingEngenharia eletrônicaEletrônica (DGPM-305)Esta dissertação apresenta o projeto e a análise da busca extremal para mapas estáticos com entrada governada por uma equação diferencial parcial (EDP) de difusão definida em um espaço variante no tempo descrito por uma equação diferencial ordinária (EDO). Esse é o primeiro esforço para buscar uma extensão da busca extremal da EDP do calor para a EDP de Stefan. A compensação da dinâmica de atuação é realizada por um controlador de fronteira (backstepping control) através de uma transformação backs- tepping para fronteira móvel, que é utilizado para transformar o acoplamento EDP-EDO original em um sistema alvo no qual a estabilidade exponencial é provada. A convergência exponencial local para uma pequena vizinhança do ponto ótimo é provada utilizando a metodologia de backstepping, funcional de Lyapunov-Krasovskii e o método da média em dimensões infinitas. Uma extensão do controle por busca extremal com compensação de atraso do problema de Stefan também é discutida.This dissertation presents the design and analysis of the extremum seeking for sta- tic maps with input governed by a parabolic partial differential equation (PDE) of the diffusion type defined on a time varying spatial domain described by an ordinary differen- tial equation (ODE). This is the first effort to pursue an extension of extremum seeking from the heat PDE to the Stefan PDE. The compensation of the average-based actua- tion dynamics is performed by a backstepping controller via backstepping transformation for the moving boundary, which is utilized to transform the original coupled PDE-ODE into a target system whose exponential stability is proved. The local exponential conver- gence to a small neighborhood of the optimal point is proven by means of backstepping methodology, Lyapunov-Krasovskii functional and averaging in infinite dimensions. The extension for the delay-compensated extremum seeking control of the Stefan problem is also discussed.Universidade Estadual do Rio de Janeiro (UERJ)Oliveira, Tiago Roux deGalvão, Maurício Linhares2024-01-03T16:53:02Z2024-01-03T16:53:02Z2022info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfGALVÃO, M.L. Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel. 70 f. Dissertação (Mestrado em Engenharia Eletrônica) - Faculdade de Engenharia, Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2022.https://www.repositorio.mar.mil.br/handle/ripcmb/846513info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB)instname:Marinha do Brasil (MB)instacron:MB2025-08-26T17:03:57Zoai:www.repositorio.mar.mil.br:ripcmb/846513Repositório InstitucionalPUBhttps://www.repositorio.mar.mil.br/oai/requestdphdm.repositorio@marinha.mil.bropendoar:2025-08-26T17:03:57Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB) - Marinha do Brasil (MB)false |
| dc.title.none.fl_str_mv |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel Extremum seeking for Stefan partial differential equation with moving boundary |
| title |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel |
| spellingShingle |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel Galvão, Maurício Linhares Controle adaptativo Busca extremal Equação diferencial parcial Teoria da média Sistemas de dimensão infinita Transformação Backstepping Engenharia eletrônica Eletrônica (DGPM-305) |
| title_short |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel |
| title_full |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel |
| title_fullStr |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel |
| title_full_unstemmed |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel |
| title_sort |
Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel |
| author |
Galvão, Maurício Linhares |
| author_facet |
Galvão, Maurício Linhares |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Oliveira, Tiago Roux de |
| dc.contributor.author.fl_str_mv |
Galvão, Maurício Linhares |
| dc.subject.por.fl_str_mv |
Controle adaptativo Busca extremal Equação diferencial parcial Teoria da média Sistemas de dimensão infinita Transformação Backstepping Engenharia eletrônica Eletrônica (DGPM-305) |
| topic |
Controle adaptativo Busca extremal Equação diferencial parcial Teoria da média Sistemas de dimensão infinita Transformação Backstepping Engenharia eletrônica Eletrônica (DGPM-305) |
| description |
Esta dissertação apresenta o projeto e a análise da busca extremal para mapas estáticos com entrada governada por uma equação diferencial parcial (EDP) de difusão definida em um espaço variante no tempo descrito por uma equação diferencial ordinária (EDO). Esse é o primeiro esforço para buscar uma extensão da busca extremal da EDP do calor para a EDP de Stefan. A compensação da dinâmica de atuação é realizada por um controlador de fronteira (backstepping control) através de uma transformação backs- tepping para fronteira móvel, que é utilizado para transformar o acoplamento EDP-EDO original em um sistema alvo no qual a estabilidade exponencial é provada. A convergência exponencial local para uma pequena vizinhança do ponto ótimo é provada utilizando a metodologia de backstepping, funcional de Lyapunov-Krasovskii e o método da média em dimensões infinitas. Uma extensão do controle por busca extremal com compensação de atraso do problema de Stefan também é discutida. |
| publishDate |
2022 |
| dc.date.none.fl_str_mv |
2022 2024-01-03T16:53:02Z 2024-01-03T16:53:02Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
GALVÃO, M.L. Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel. 70 f. Dissertação (Mestrado em Engenharia Eletrônica) - Faculdade de Engenharia, Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2022. https://www.repositorio.mar.mil.br/handle/ripcmb/846513 |
| identifier_str_mv |
GALVÃO, M.L. Busca extremal para equações diferenciais parciais de Stefan com fronteira móvel. 70 f. Dissertação (Mestrado em Engenharia Eletrônica) - Faculdade de Engenharia, Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2022. |
| url |
https://www.repositorio.mar.mil.br/handle/ripcmb/846513 |
| 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.publisher.none.fl_str_mv |
Universidade Estadual do Rio de Janeiro (UERJ) |
| publisher.none.fl_str_mv |
Universidade Estadual do Rio de Janeiro (UERJ) |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB) instname:Marinha do Brasil (MB) instacron:MB |
| instname_str |
Marinha do Brasil (MB) |
| instacron_str |
MB |
| institution |
MB |
| reponame_str |
Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB) |
| collection |
Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB) |
| repository.name.fl_str_mv |
Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB) - Marinha do Brasil (MB) |
| repository.mail.fl_str_mv |
dphdm.repositorio@marinha.mil.br |
| _version_ |
1855762816690028544 |