Summary: | Este trabalho aborda o problema de análise de estabilidade e estabilização de sistemas não-lineares racionais sujeitos a saturação. A abordagem utilizada neste estudo é baseada em representações algébricas diferenciais (DAR) de sistemas racionais e na versão modificada da condição de setor generalizada para lidar com a saturação. Inicialmente, métodos para caracterizar a estabilidade de sistemas em tempo discreto sujeitos a perturbações são propostos. Neste contexto, apresentam-se abordagens na forma de desigualdades matriciais lineares (do inglês, Linear Matrix Inequalities) para o cálculo de estimativas da região de atração do sistema, bem como limites para uma classe de perturbações admissíveis ℓ2 de forma a garantir que as trajetórias sejam limitadas e estimativas do ganho ℓ2 do sistema. Duas abordagens são consideradas: a primeira é baseada em uma única função de Lyapunov quadrática e a segunda considerando funções de Lyapunov quadráticas por partes. Em seguida, técnicas para síntese de compensadores anti-windup são propostas com o objetivo de aumentar a região de atração de sistemas em tempo contínuo. As condições são desenvolvidas e incorporadas em um algoritmo iterativo, sendo que a cada iteração é resolvido um problema de otimização convexa com restrições na forma de LMIs. Tais resultados são estendidos para lidar com sistemas incertos e sistemas sujeitos a perturbações. Com o objetivo de evitar métodos iterativos e facilitar a aplicação em sistemas multivariáveis propõe-se uma nova abordagem para sintetizar este tipo de compensador (diretamente na forma de LMIs). Extensões dos resultados são apresentadas para tratar sistemas em tempo discreto. Por fim, é apresentada uma abordagem para síntese de realimentação estática de estados. Estes métodos são baseados em condições de estabilização local permitindo, simultaneamente, calcular o ganho de realimentação de estados e uma função de Lyapunov que leva a uma estimativa maximizada da região de atração do sistema em malha fechada. Propõe-se também uma extensão dos resultados abordando sistemas em tempo discreto. Exemplos numéricos são apresentados com o objetivo de ilustrar a aplicação e verificar a eficiência dos métodos propostos. === This work addresses the problem of stability analysis and stabilization of nonlinear rational systems subject to saturation. The approach used in this study is based on the differential algebraic representation (DAR) of rational systems and on a modified version of the generalized sector condition to deal with saturation. First, methods to characterize the stability of discrete-time systems subject to disturbances are proposed. In this context, approaches based on linear matrix inequalities to compute estimates of the region of attraction of the system, as well as limits for a class of admissible ℓ2 disturbances to ensure bounded trajectories and estimates of the ℓ2-gain of the system are presented. Two approaches are considered: the first one based on a single quadratic Lyapunov function and the second one considering piecewise quadratic Lyapunov functions. Then, techniques for the synthesis of anti-windup compensators are proposed in order to enlarge the region of attraction of continuous-time systems. The conditions are developed and incorporated into an iterative algorithm, where at each iteration, a convex optimization problem with LMI constraints is solved. These results are extended to deal with uncertain systems and systems subject to disturbances. In order to avoid iterative methods and facilitate the application to multivariable systems, a new approach to synthesize this type of compensator (directly in terms of LMI) is proposed. Extensions of the results are also presented to deal with discrete-time systems. Finally, a method for the synthesis of static state feedback gains is proposed. This method is based on local stabilization conditions which allow to calculate the state feedback gain and a Lyapunov function leading to a maximized estimate of the region of attraction of the closed-loop system. The extension of these results for the case of discrete-time systems is also addressed. Numerical examples are presented in order to illustrate the application and to verify the efficiency of the proposed methods.
|