Simple Science

Ciência de ponta explicada de forma simples

# Matemática# Otimização e Controlo# Sistemas e Controlo# Sistemas e Controlo# Sistemas Dinâmicos

Controle Baseado em Dados para Sistemas Não Lineares

Um método que usa dados pra projetar controladores pra sistemas não lineares através de Funções de Lyapunov de Controle.

― 6 min ler


Métodos de Controle NãoMétodos de Controle NãoLineareficientes de sistemas não lineares.Usando dados pra criar controladores
Índice

Sistemas não lineares estão por toda parte em áreas como engenharia, ciência e economia. Pra controlar esses sistemas de forma eficaz, a gente precisa de métodos que ajudem a direcioná-los pro comportamento desejado. Uma técnica comum pra projetar sistemas de controle é a abordagem da Função de Lyapunov de Controle (CLF). Esse método envolve encontrar uma função que garanta a estabilidade do sistema quando usada pra projetar controladores.

O que é uma Função de Lyapunov de Controle?

Imagina que você tem um sistema que quer estabilizar. Uma função de Lyapunov de controle é uma ferramenta matemática que ajuda a determinar como controlar esse sistema. Ela atua como um monitor de segurança, mostrando se o sistema tá indo em direção a uma posição estável ou se tá se afastando. Ao encontrar uma entrada de controle adequada, a gente consegue garantir que o sistema se comporte bem ao longo do tempo.

Otimização de Soma de Quadrados

Projetar controladores usando métodos tradicionais pode ser complicado, principalmente pra sistemas não lineares. É aí que entra a otimização de soma de quadrados (SOS). Ao explorar as propriedades matemáticas de funções polinomiais, a otimização SOS oferece uma maneira de simplificar o problema. Ela transforma desigualdades complexas em outras mais fáceis de lidar, tornando mais fácil encontrar um controlador adequado.

Usando Dados pra Projeto de Controle

Em muitos casos, a gente pode não ter um modelo claro do sistema que quer controlar. Porém, dá pra coletar dados do sistema enquanto ele tá funcionando. Essa abordagem baseada em dados permite que a gente crie modelos com base no comportamento do mundo real, em vez de confiar só em abstrações matemáticas.

Um método popular pra transformar sistemas não lineares em uma forma mais gerenciável é chamado de operador Koopman. Esse operador reescreve um sistema não linear em termos de dinâmica linear, facilitando a análise e o controle. Usando uma técnica chamada funções de levantamento, a gente pode criar uma nova representação do sistema que mantém características essenciais enquanto simplifica o problema de controle.

Combinando Teoria e Dados

O objetivo de combinar a abordagem CLF com métodos baseados em dados é criar uma maneira flexível e eficiente de projetar controladores. Ao estimar o comportamento do sistema usando dados, a gente pode desenvolver uma estratégia de controle sem saber explicitamente a dinâmica subjacente.

Esse método em duas etapas começa estimando a Derivada de Lie de uma função candidata de Lyapunov de controle a partir dos dados. A derivada de Lie indica como a função escolhida muda conforme o sistema evolui. Em seguida, a gente usa essa derivada estimada em um quadro de otimização SOS pra encontrar uma lei de controle que garanta a estabilidade.

O Processo em Detalhes

Primeiro, a gente coleta dados que representam as fotografias do sistema de controle ao longo do tempo. Esses dados consistem no estado do sistema e nas entradas de controle correspondentes. Usando técnicas como a Decomposição de Modos Dinâmicos Estendida (EDMD), conseguimos aproximar efetivamente a derivada de Lie da nossa CLF candidata.

Uma vez que temos essa aproximação, traduzimos isso em um problema de otimização SOS. Esse problema nos permite encontrar um controlador polinomial que garante a estabilidade do nosso sistema. Ao otimizar os coeficientes do polinômio, a gente garante que a lei de controle que derivamos fará o sistema se comportar como desejado.

Aplicação: Exemplo do Pêndulo Invertido

Pra ilustrar a eficácia dessa abordagem, podemos olhar pra um problema clássico da teoria de controle: o pêndulo invertido em um carrinho. Esse sistema consiste em um pêndulo que pode balançar livremente de um carrinho que pode se mover pra esquerda ou direita. O objetivo é estabilizar o pêndulo em uma posição vertical.

A gente simula dados pro pêndulo sob várias condições iniciais. Usando nosso método em duas etapas, conseguimos sintetizar uma lei de controle que faz com que o carrinho balance o pêndulo pra ficar em pé. O processo envolve selecionar uma função de Lyapunov candidata adequada, coletar dados, estimar a derivada de Lie e aplicar a estrutura SOS.

Resultados e Observações

Através de experimentos com o pêndulo invertido, observamos que a lei de controle sintetizada estabiliza efetivamente o pêndulo na posição vertical. O controlador se comporta bem e consegue gerenciar a dinâmica do sistema de forma eficaz. À medida que modificamos certos parâmetros, percebemos que a taxa com que o pêndulo alcança a estabilidade pode ser ajustada. Essa flexibilidade permite uma melhor resposta a condições variadas.

Vantagens da Abordagem

Uma das principais vantagens desse método é que ele não exige um entendimento explícito da dinâmica do sistema. Em vez disso, a gente pode confiar nos dados coletados do próprio sistema. Isso torna a abordagem adequada pra várias aplicações onde modelos não estão facilmente disponíveis ou são difíceis de derivar.

Além disso, ao usar funções polinomiais e a estrutura SOS, garantimos que a lei de controle continue se comportando bem. Isso significa que o controlador pode operar de forma eficaz em uma variedade de condições sem precisar de recalibrações ou ajustes constantes.

Conclusão

Em resumo, a gente delineou um método simples e flexível pra sintetizar leis de controle diretamente a partir de dados. Ao aproveitar os conceitos de Funções de Lyapunov de Controle, otimização de soma de quadrados e abordagens baseadas em dados, oferecemos um método em duas etapas adequado pra uma ampla gama de problemas de controle. As aplicações potenciais vão além do pêndulo invertido, abrindo caminhos pra melhores estratégias de controle em várias áreas, incluindo robótica, aeroespacial e sistemas automatizados.

Com a pesquisa contínua sobre a robustez desses métodos, especialmente em cenários do mundo real, podemos esperar estruturas mais ricas que incorporem ruídos e incertezas presentes nas condições operacionais reais. Isso pode levar a técnicas ainda mais eficazes pra controlar sistemas não lineares complexos no futuro.

Fonte original

Título: Synthesizing Control Laws from Data using Sum-of-Squares Optimization

Resumo: The control Lyapunov function (CLF) approach to nonlinear control design is well established. Moreover, when the plant is control affine and polynomial, sum-of-squares (SOS) optimization can be used to find a polynomial controller as a solution to a semidefinite program. This letter considers the use of data-driven methods to design a polynomial controller by leveraging Koopman operator theory, CLFs, and SOS optimization. First, Extended Dynamic Mode Decomposition (EDMD) is used to approximate the Lie derivative of a given CLF candidate with polynomial lifting functions. Then, the polynomial Koopman model of the Lie derivative is used to synthesize a polynomial controller via SOS optimization. The result is a flexible data-driven method that skips the intermediary process of system identification and can be applied widely to control problems. The proposed approach is used to successfully synthesize a controller to stabilize an inverted pendulum on a cart.

Autores: Jason J. Bramburger, Steven Dahdah, James Richard Forbes

Última atualização: 2023-07-03 00:00:00

Idioma: English

Fonte URL: https://arxiv.org/abs/2307.01089

Fonte PDF: https://arxiv.org/pdf/2307.01089

Licença: https://creativecommons.org/licenses/by/4.0/

Alterações: Este resumo foi elaborado com a assistência da AI e pode conter imprecisões. Para obter informações exactas, consulte os documentos originais ligados aqui.

Obrigado ao arxiv pela utilização da sua interoperabilidade de acesso aberto.

Mais de autores

Artigos semelhantes