Controle dependente de parâmetros para uma classe de sistemas não-lineares incertos com atuadores saturantes

CONTROLE NÃO-LINEAR

Controle dependente de parâmetros para uma classe de sistemas não-lineares incertos com atuadores saturantes

Jones Corso; Eugênio B. Castelan; Ubirajara F. Moreno; Edson R. De Pieri

Grupo de Controle de Sistemas Mecatrônicos (CSM), DAS/UFSC, Florianópolis (S.C.), Brasil. [e-mail], [e-mail], [e-mail], [e-mail]

RESUMO

Este artigo apresenta alguns resultados sobre estabilização via uma lei de controle dependente de parâmetros de uma classe de sistemas não-lineares em tempo discreto com parâmetros variantes e sob saturação de controle. A lei de controle consiste na realimentação dos estados e da não-linearidade presente na dinâmica da planta, assumindo-se que o vetor de parâmetros é mensurável em tempo real. Para modelar o sistema não-linear sob saturação, utiliza-se uma não-linearidade de tipo zona-morta satisfazendo uma condição de setor modificada. Assim como para sistemas precisamente conhecidos, são propostas condições de estabilização via LMIs que podem ser utilizados em problemas de programação convexa para a síntese da lei de controle. O exemplo numérico apresentado mostra o desempenho da lei de controle dependente de parâmetros e faz uma comparação com uma a parâmetros fixos.

Palavras-chave: Sistemas não-lineares, Saturações, Função de Lyapunov dependente de parâmetros, Controle dependente de parâmetros, LMIs, Robustez.

ABSTRACT

This paper presents some results on the stabilization by a parameter dependent control law of a class of nonlinear discrete-time systems with some time-varying parameters and under control saturations. The studied control law consists of the feedback of both the states and of the nonlinearity present in the dynamics of the controlled system. Saturations are taken into account by modeling the nonlinear saturated system through a deadzone nonlinearity satisfying a modified sector condition. Thus, LMI stabilization conditions are proposed, which can be cast into convex programming problems to synthesizing the gain matrices that allows to construct the parameter dependent control law. The presented numerical example shows some performance issues and compares the proposed parameter dependent control law with a fixed parameters one.

Keywords: Nonlinear systems, Saturations, Parameter dependent Lyapunov functions, Parameter dependent control, LMIs, Robustness.

1 INTRODUÇÃO

A consideração de não-linearidades inerentes à dinâmica de plantas a controlar e de limites físicos de atuadores e sensoresé um tópico importante de pesquisa em controle devido ao interesse prático e aos desafios em termos teóricos. Neste sentido, problemas de controle não-linear receberam especial atenção com a proposta de novas ferramentas de projeto, através de procedimentos construtivos aplicáveis a classes de sistemas não-lineares (Kokotovic and Arcak, 2001; Arcak et al., 2003; Arcak and Kokotovic, 2001) e, em particular, considerando a saturação de atuadores, como por exemplo em (Tarbouriech et al., 2004; Gomes da Silva Jr. et al., 2001; Hu et al., 2002; Castelan et al., 2006) no caso de sistemas lineares precisamente conhecidos, (Montagner, Peres, Queinnec and Tarbouriech, 2006) no caso de sistemas lineares incertos e (Ghiggi and Gomes da Silva Jr., 2006) no caso de sistemas com atraso no tempo.

Na linha dos trabalhos que tratam a saturação de atuadores, encontramos em (Castelan et al., 2005; Castelan et al., 2006; Castelan et al., 2007; Castelan et al., 2008) resultados relacionados a uma classe de sistemas não-lineares que podem ser representados pela interconexão de um sistema linear e de uma não-linearidade associada à dinâmica da planta e pertencente a um setor de tipo cone limitado. Neste trabalho, pretende-se estender os resultados propostos em (Castelan et al., 2007) para tratar sistemas com parâmetros variantes no tempo, considerando uma lei de controle dependente de parâmetros. A lei de controle sob saturação consiste na realimentação dos estados e da não-linearidade do sistema a controlar, e requer que o parâmetro variante seja mensurável em tempo real. Desta forma, o problema formulado e a técnica proposta também permitem considerar o controle de sistemas em que parte das não-linearidades pode ser representada como dependente de parâmetros variantes no tempo (veja (Ghaoui and Scorletti, 1996; Ghaoui and Niculescu, 2000)) e/ou não-linearidades de tipo setor.

Como ferramentas para tratamento do problema de controle utilizamos uma Função de Lyapunov Dependente de Parâmetros (FLDP), a qual é associado um Conjunto de tipo Lyapunov (CL), e uma condição de setor modificada para levar em conta a não-linearidade de saturação. Assim, para assegurar a convergência das trajetórias do sistema em malha fechada para a origem, com um certo desempenho temporal, propomos condições do tipo LMI que garantem a propriedade de λ-contratividade (Milani and Coelho, 2002) de um conjunto de condições iniciais. Esta propriedade é assegurada de forma robusta em relação as possíveis variações paramétricas e para toda não-linearidade pertencente ao setor sob consideração. O conjunto de condições iniciais é formado pela interseção de elipses associadas a cada um dos vértices do politopo de matrizes que descreve o sistema não-linear a controlar. Os resultados numéricos relatados permitem verificar a eficiência da estratégia de controle sob saturação, bem como evidenciar alguns compromissos existentes entre robustez, desempenho e tamanho do conjunto de condições iniciais obtido via o problema de otimização convexa proposto para a síntese das matrizes do controlador variante.

O artigo é organizado da seguinte forma: na Seção 2, o problema de síntese sob saturação é apresentado; na Seção 3, apresentamos alguns resultados preliminares e definições e, na Seção 4, as condições de estabilização local são deduzidas e um problema de programação convexa é formulado para obter os parâmetros do controlador; um exemplo numérico e comentários são apresentados na Seção 5. E ao encerrar o artigo apresentamos algumas observações finais.

Notações. Relativo à matriz A ∈ ℜ^n×n, A' denota a transposta, e A_(i), i = 1,...n, denota a i-ésima coluna. Se A = A' ∈ ℜ^n×n, então A < 0 (A < 0) significa que A é definida (semi) negativa. Os componentes de qualquer vetor x ∈ ℜⁿ são representados por x_(i), ∀i = 1,...n. Desigualdades entre vetores são consideradas por componentes: x < 0 significa que x_(i)< 0 e x < y implica que x_(i) - y_(i)< 0. I_n denota uma matriz identidade n×n.

2 APRESENTAÇÃO DO PROBLEMA

Considere um sistema não-linear em tempo discreto com parâmetros variantes no tempo, representado por:

em que x_k ∈ ℜⁿ, u_k ∈ ℜ^m, z_k ∈ ℜ^p, φ(.): ℜ^p→ ℜ^p e ξ_k⊂ ℜ^N é um vetor de parâmetros mensurável, variante no tempo e limitado no simplex unitário: Ξ = {ξ_k ∈ ℜ^N ; ξ_k(i) = 1 , ξ_k(i)> 0 , i = 1,...,N}. A estrutura das matrizes do sistema tem a forma seguinte:

A não-linearidade φ(.) verifica uma condição de setor de tipo cone limitado, φ(.) ∈ [0 , Ω], ∀z ∈ ℜ^p (Khalil, 2002), i.e.: existe uma matriz simétrica definida positiva Ω = Ω' ∈ ℜ^p×p tal que

no qual Δ ∈ ℜ^p×p é uma matriz diagonal qualquer:

Por definição, a não-linearidade φ(.) satisfaz globalmente a condição de setor (3). Entretanto, o caso no qual esta não-linearidade é válida localmente também podem ser tratado. Note que a matriz Ω é um dado do projeto e considerada como conhecida na sequência. Por outro lado, a partir da definição de Δ, vemos que (3) é verificada se, e somente se, a condição de setor clássica φ'(z_k)[φ(z_k)-Ωz_k] < 0 é também verificada. Deste modo, Δ representa um grau de liberdade (uma variável de decisão a ser utilizada posteriormente) (Castelan et al., 2007).

As entradas de controle são limitadas em amplitude e o modelo da função saturação considerado é:

∀ ℓ = 1, ..., m, em que ρ_(ℓ) > 0 denota o limite simétrico da amplitude relativo ao l-ésimo controle.

No decorrer deste trabalho, assumimos que o vetor de parâmetros, ξ_k, é mensurável em tempo real. Então, a lei de controle dependente de parâmetros seguinte é considerada:

A estrutura das matrizes da lei de controle é:

na qual K( ξ_k) é uma matriz de realimentação de estado, com K_i ∈ ℜ^m×n, e Γ (ξ_k) é uma realimentação associada à não-linearidade φ(.), com Γ_i∈ ℜ^m×p.

Temos, assim, o sistema em malha fechada:

Problema 1(Estabilização com controle dependente de parâmetros sob atuador saturante) Determine as matrizes de ganho de realimentação K_ie Γ_ique formam a lei de controle dependente de parâmetros (6) e (7), e uma região S₀⊆ ℜⁿ , tão grande quanto possível, tais que para qualquer condição inicial x₀∈ S₀ a origem do sistema em malha fechada (8) é assintoticamente estável para qualquer φ(.) verificando a condição de setor (3).

Note-se que (6) tem a mesma estrutura das leis de controle com ganhos fixos adotada em (Castelan et al., 2006; Castelan et al., 2008), no caso de sistemas precisamente conhecidos, e (Castelan et al., 2007), no caso de sistemas incertos. Como nos trabalhos anteriores, a aplicação da lei de controle (6) requer o conhecimento ou a disponibilidade da não-linearidade φ(.) como um sinal (Arcak et al., 2003).

3 RESULTADOS PRELIMINARES

Seja a não-linearidade genérica de tipo zona-morta, dada por

Considerando u_k dado por (6), podemos reescrever o sistema em malha fechada (8) sob a forma

na qual .

Seja o conjunto poliedral:

O Lema seguinte permite considerar a zona-morta como uma não-linearidade que pertence a uma condição de setor modificada (Gomes da Silva Jr. and Tarbouriech, 2005).

Lema 1 Se u_k e w_k são elementos de S(ρ), então a não-linearidade Ψ(u_k) satisfaz a desigualdade

para qualquer matriz diagonal e positiva T(.) de dimensão m × m.

Demonstração: Segue as mesmas linhas de (Tarbouriech et al., 2004) e (Montagner, Peres, Tarbouriech and Queinnec, 2006). □

Para obter condições de estabilização sob a forma de LMIs, nós consideramos u_k dado por (6) e o vetor w_k será estruturado de forma similar à u_k, como em Castelan et al., 2006;Castelan et al., 2007):

com

Observação 1 Uma outra escolha possível para o vetor w_k seria sob a forma:

w_k = Λ K(ξ_k) x_k + Λ Γ (ξ_k) φ(z_k)

com Λ = diag(λ_ℓ) e 0 < λ_ℓ < 1, ∀ ℓ = 1,..., m. Note, entretanto, que este tipo de escolha clássica (veja, por exemplo, (Khalil, 2002)) é um caso particular de (13) e, além disso, implica na utilização de técnicas de otimização para a solução de BMIs devido à não-linearidade intrínsica à busca conjunta dos coeficientes λ_ℓ e das matrizes K_i e G_i em (6) e (7).

Considere também uma Função de Lyapunov Dependente de Parâmetros (FLDP), V(x_k, ξ_k): ℜⁿ × Ξ → ℜ⁺ . Um Conjunto de tipo Lyapunov (CL) associado a V(x_k, ξ_k) é dado por

A noção de conjunto contrativo é básica para determinar regiões de estabilidade assintótica para o sistema em malha fechada (10) (Milani and Coelho, 2002). A definição seguinte de λ-contratividade é adaptada para considerar incertezas nos parâmetros e a caracterização da não-linearidade de setor limitado φ(.).

Definição 1

Seja φ ∈ (0, 1]. O conjunto L_V é robustamente absolutamente λ-contrativo (com respeito as trajetórias do sistema (10)), se

Observe que se L_V satisfaz a Definição 3, então

V(x_k, ξ_k) < λV(x_k-1, ξ_k-1) < ... < λ^kV(x₀, ξ₀) < 1.

Assim, a cada instante de tempo k > 0, a trajetória do sistema converge assintoticamente para a origem, i.e.: x_k = 0, ∀ x₀∈ L_V.

Na sequência, tomemos a FLDP na forma (Hu and Lin, 2003)

em que Q(ξ_k) = ξ_k(i)Q_i , Q_i = > 0.

Lema 2 Considere os conjuntos elipsoidais:

Então, o CL obtido de (15) e (17) é a interseção dos conjuntos elipsoidais (18):

(Q^-1 (ξ_k)) {(Q^-1 (ξ_k))} = ()

Demonstração: Veja ^{Anexo II}. □

Observamos, a partir do Lema 2, que o conjunto L_V considerado é independente do parâmetro variante no tempo ξ_k, o que permite analisar a contratividade de forma robusta, ∀ ξ_k∈ Ξ.

4 RESULTADOS PRINCIPAIS

4.1 Estabilização Robusta

Visando o projeto de matrizes de realimentação K_i e Γ_i, propomos o resultado seguinte:

Proposição 1 Dado λ ∈ (0, 1], considere que existem matrizes definidas positiva Q_i λ ℜ^n×n, matrizes diagonais positiva S_i ∈ ℜ^m×m e S_Δ ∈ ℜ^p×p, e matrizes Z_1i∈ ℜ^m×n , Z_2i∈ ℜ^m×p, U ∈ ℜ^n×n, Y_1i∈ ℜ^m×n e Y_2i∈ ℜ^m×p que verificam:

nas quais:

M_1i = A_iU + B_iY_1i,

M_2i = G_iS_Δ + B_iY_2i,

M_3i = Q_i - U - U',

M_4iq= (A_i + A_q)U + B_iY_1q + B_qY_1i,

M_5iq = (G_i + G_q)S_Δ + B_iY_2q + B_qY_2i,

M_6iq = Q_i + Q_q - 2U - 2U',

M_7iq = U'( + )Ω e

M_8iq = - (B_i + B_q ).

Então, os ganhos K_i e Γ_i que verificam

e o conjunto S₀

{ ()} = (Q^-1(ξ)), são soluções para o Problema 1 para qualquer não-linearidade φ(z) satisfazendo a relação (3) com Δ = .

Demonstração: De (19), percebemos primeiramente que U e S_Δ são, necessariamente, invertíveis. Assim, podemos definir E_1i∈ ℜ^m×n e E_2i∈ ℜ^m×p como segue:

A partir de (22) e (23), (21) pode ser reescrita:

Multiplicando a desigualdade em (24) por ξ_i, para todo i = 1, ..., N e somando-as, temos:

em que:

nas quais E₁(ξ) e E₂(ξ) são definidos em (14).

Como (U - Q(ξ))' Q(ξ)^-1 (U - Q(ξ)) > 0 ⇔ U'Q(ξ)^-1U > -Q(ξ) + U + U', obtemos:

Segue que, para todo e qualquer ξ ∈ Ξ, a relação (21) garante que (Q^-1(ξ)) está incluída em S(ρ) = {x ∈ ℜⁿ, φ ∈ ℜ^r; -ρ < (K_a(ξ) - E_a(ξ)) < ρ}, em que [K_a (ξ) E_a(ξ)] = [K (ξ) - E₁ (ξ) Γ(ξ) - E₂(ξ)]. Então, o Lema 1 pode ser aplicado à não-linearidade Ψ(u) considerando o vetor u dado por (6) e escolhendo o vetor w = E₁(ξ) x + E₂(ξ) φ(z), (13), de forma que a não-linearidade Ψ(u) satisfaz a condição de setor (12), ∀ x ∈ (Q^-1(ξ)) = }.

Para assegurar que (16) é verificada, nós consideramos a desigualdade

Utilizando V(x_k, ξ_k) dada por (17), (25) pode ser reescrita como:

na qual, utilizando as trocas de variáveis representadas por (22) e (23), M(ξ) =

em que o índice j está associado ao instante k + 1, os índices i e q estão associados ao instante k, e:

Considere, em particular o produto (no instante k):

Procedendo de forma similar para todos os termos envolvidos, pode-se escrever M(ξ) sob a forma equivalente

na qual as matrizes e são dadas em (19) e (20).

A partir de (19) e (20) tem-se, respectivamente, < 0 e < 0, o que garante que (26) é verificada. Em consequência, a desigualdade (25) também é satisfeita. Como por hipótese a não-linearidade φ(z_k) é válida globalmente e, por construção, Ψ(u_k) é verificada ∀ x_k ∈ ((Q^-1())), temos ΔV(x_k, ξ_k) = V(x_k+1, ξ_k+1) - λV(x_k, ξ_k) < 0 e, pela Definição 3, o CL ((Q^-1(ξ))) é robustamente absolutamente λ-contrativo. Consequentemente, para todo x₀∈ S₀ = ((Q^-1(ξ))) = {} , as trajetórias correspondentes do sistema (10) convergem assintoticamente para a origem para toda e qualquer não-linearidade φ(z_k) verificando (3). □

Observação 2 Considere a lei de controle independente de parâmetros utilizada em (Castelan et al., 2007)para tratar o caso em que ξ_k não é mensurável em tempo real:

Neste caso, os ganhos K = Y₁U^-1 e Γ = Y₂ e o conjunto S₀ = (Q^-1(ξ)) que solucionam o problema de estabilização (Problema 1) com controle a ganhos fixos correspondente, podem ser determinados se as desigualdades seguintes são factíveis:

Quando λ = 1, o resultado acima corresponde ao proposto em (Castelan et al., 2006).

O caso em que as matrizes do sistema não são incertas pode ser tratado utilizando-se o mesmo arcabouço, mas considerando-se a contratividade associada à um só conjunto elipsoidal (Q^-1) (Castelan et al., 2006).

4.2 Síntese via programação convexa

Para a otimização do tamanho do conjunto S₀ = (Q^-1(ξ)), nós adotamos, como em (Castelan et al.; 2006, Gomes da Silva Jr et al.; 2004; Hu et al., 2002; Ghaoui and Scorletti, 1996) um conjunto modelo para síntese. Assim, considere um conjunto modelo poliedral dado por X₀⊂ ℜⁿ e o fator escalar β ∈ ℜ : X₀ = Co{v_r ∈ ℜⁿ, r = 1, ..., n_r}. A meta consiste em maximizar o fator escalar β tal que a seguinte condição de inclusão seja verificada:

Através do complemento de Schur, a verificação de (30) é equivalente à seguinte restrição convexa:

na qual, por definição, µ = . Então, podemos formular o problema de programação convexa seguinte para a síntese do controlador dependente de parâmetros:

Com base na Observação 2, um problema de programação convexa similar ao problema (32) pode ser utilizado para a síntese da lei de controle a ganhos fixos:

Note que a região βX₀ obtida a partir de (32) ou (33) é uma região de estabilidade assintótica associada ao sistema em malha fechada pois, por construção, βX₀ encontra-se no interior do domínio de contratividade (Q^-1(ξ)). Isto garante que x_k = 0, ∀ x₀∈ βX₀, muito embora parte das trajetórias que emanam desta região possam evoluir no seu exterior.

Além disso, outra possibilidade é escolher o conjunto modelo sob a forma elipsoidal, X₀ = (R^-1), em que R = R'> 0 é escolhida à priori, da mesma forma que os valores de v_r do conjunto modelo poliedral (Hu et al., 2002). No caso elipsoidal pode-se substituir a restrição convexa (31) por: > 0, ∀ i = 1, ..., N.

Note que restrições convexas adicionais podem ser consideradas nos problemas de otimização anteriores como, por exemplo, para tratar o caso em que a condição de setor (3) é localmente verificada.

Observação 3 Se a condição (3) é válida localmente, ou seja, somente em ∈ ℜ^p definido por

= { z_k ∈ ℜ^p; |z_k| < ν}, com ν_(q) > 0, q = 1, ..., p = { x_k ∈ ℜⁿ; |L(ξ_k)x_k| < ν, ∀ ξ_k ∈ Ξ}.

Então, considera-se a condição adicional (Q^-1(ξ_k)) ⊂ , dada por

Esta condição adicional pode restringir o tamanho do conjunto S₀, comparativamente ao caso em que φ(z_k) é globalmente verificada, como relatado na seção seguinte.

Finalmente, é importante observar que as restrições de inclusão (21) e (29) permitem explorar efetivamente a saturação da ação de controle para o atendimento dos requisitos de projeto. Uma técnica similar é proposta em (Ghaoui and Scorletti, 1996) e utilizada em (Ghaoui and Niculescu, 2000) para o caso de sistemas contínuos no tempo. Entretanto, esta técnica utiliza restrições de inclusão que, diferentemente de (21) e (29), não consideram que as entradas de controle possam saturar. Note também que a abordagem proposta no presente trabalho permite considerar, conjuntamente ou de forma isolada, não-linearidades que podem ser representadas sob a forma de parâmetros variantes e/ou que podem ser consideradas pertencentes a um setor. Deste ponto de vista, nossa abordagem tem um caráter mais abrangente do que a técnica utilizada em (Ghaoui and Scorletti, 1996) e (Ghaoui and Niculescu, 2000).

5 EXEMPLO NUMÉRICO

Para ilustrar a aplicabilidade dos resultados teóricos e do algoritmo da síntese propostos, considere os dados seguintes para o sistema (1)-(3) (Castelan et al., 2007):

Considere também:

Os resultados numéricos apresentados na Tabela 1, referem-se à lei de controle dependente de parâmetros (6) e foram obtidos utilizando (32). Na Figura 1, temos as representações dos conjuntos () e (). Na Figura 1(a), a interseção das elipses externas, em linhas cheias, corresponde à solução S₀ para λ = 0.95, e a interseção das elipses internas, em linhas tracejadas, para λ = 0.8 e, da mesma forma, para λ = 0.95 e λ = 0.6405 na Figura 1(b). Pode-se observar que com a exigência de melhor desempenho (ou seja, menor coeficiente de contratividade) ocorre uma diminuição da região em que a estabilidade assintótica é garantida. O menor valor de λ para o qual o problema (32) é factível é λ = 0.6405.

A simulação do sistema sob saturação, para λ = 0.95 e a condição inicial x₀ = [0.6388 1.1891]' assinalada na Figura 1(a), é mostrada na Figura 2 utilizando-se duas sequências diferentes de parâmetros, as quais são denotadas {ξ_k}₁ e {ξ_k}₂ e apresentadas no ^{Anexo I}. Nos gráficos à direita, representamos o valor de controle calculado, u_k (representado por *), e o valor de controle efetivamente aplicado, sat(u_k) (representado por □). Cabe salientar que a saturação da ação de controle observada para estas duas sequências de parâmetros pode não ocorrer para outras sequências particulares. Nos gráficos à esquerda observa-se a convergência assintótica para a origem das trajetórias dos estados. A Figura 3 mostra o desempenho do sistema em termos dos valores de V(x_k, ξ_k), calculado ao longo destas trajetórias.

Na Figura 4, a interseção das elipses em linhas pontilhadas representam os conjuntos S₀ obtidos, via o problema de otimização (33), para as leis de controle a parâmetros fixos (27) calculadas para λ = 0.95 e λ = 0.6424, conforme Tabela 5. O menor valor factível para λ-contratividade, com a lei de controle a parâmetros fixos, é λ = 0.6424. A interseção das elipses em linhas cheias representam os conjuntos S₀ obtidos via o problema de otimização (32), associados às leis de controle dependentes de parâmetros calculadas para os mesmos coeficientes de contratividade. Observamos que a lei de controle dependente de parâmetros permite obter maiores regiões de estabilidade para o sistema em malha fechada, comparativamente à lei de controle a parâmetros fixos. Além disso, esta diferença aumenta com a diminuição do coeficiente de contratividade.

Na Figura 5 mostram-se os resultados de simulações para o sistema em malha fechada sob a ação da lei de controle a parâmetros variantes e fixos, considerando x₀ = [1.4911 0.8850]' indicada na Figura 4(a), λ = 0.95 e a sequência {ξ_k}₁. Na parte superior, Figura 5(a), consideramos os ganhos a parâmetros variantes e, na parte inferior, Figura 5(b), temos o resultado da simulação quando os ganhos são a parâmetros fixos. É importante salientar que a utilização de outras sequências de parâmetros e/ou de outras condições iniciais implicarão em desempenhos distintos para cada caso. Na Figura 6, encontramos o comparativo do desempenho do sistema em termos dos valores de V(x_k, ξ_k) para a lei de controle a parâmetros variantes e fixos, ao longo destas trajetórias.

?

Na Figura 7 são mostrados os conjuntos elipsoidais obtidos ao calcular-se u_k = K(ξ) x_k + Γ(ξ) φ(z_k) e u_k = K(ξ)x_k, para λ = 0.8 e λ = 0.6627, via o problema de otimização (32). Considerou-se Y_2i, Z_2i = 0 para o caso em que deseja-se Γ(ξ) = 0 e o menor valor factível obtido para λ-contratividade neste caso foi λ = 0.6627, conforme Tabela 5. A diminuição do conjunto S₀ associado a u_k = K(ξ)x_k fica mais evidenciada para valores menores de λ. Na Figura 8 apresenta-se a simulação do sistema em malha fechada usando o controle sem a realimentação da não-linearidade calculada para λ = 0.95, com a condição inicial x₀ = [0.6388 1.1891]', indicada na Figura 1(a), e a sequência {ξ_k}₁; neste caso, o conjunto S₀ obtido tende ao conjunto S₀ associado à lei de controle com realimentação da não-linearidade, correspondente à interseção das elipses em linha cheia da Figura 1(a). Verifica-se que o desempenho temporal é similar utilizando-se as duas leis de controle com e sem a realimentação da não-linearidade (Figuras 2(a) e 8, respectivamente); isto também pode ser observado na Figura 9(a) que mostra o desempenho do sistema em termos dos valores de V(x_k, ξ_k). Através de simulações, verificamos que a realimentação da não-linearidade pode proporcionar melhor desempenho à medida que calculam-se as leis de controle para menores coeficientes de λ-contratividade. A Figura 9(b) mostra o desempenho em termos de V(x_k,ξ_k) ao longo das trajetórias obtidas com as leis de controle calculadas para λ = 0.6627, com a sequência {ξ_k}₁, e x₀ = [0.5778 0.4782], conforme assinalada na Figura 7(b).

Finalmente, com o objetivo de ilustrar a Observação 4.2, a Figura 10 mostra, em linhas pontilhadas, os conjuntos elipsoidais obtidos ao calcular-se u_k = K(ξ)x_k + Γ(ξ) φ(z_k) para φ(z_k) localmente verificada, z_k ∈ ⊂ ℜ^p, com ν = 10. Neste caso, o menor valor factível para o coeficiente de contratividade é λ = 0.731. Em linhas cheias são mostrados os conjuntos elipsoidais obtidos quando φ(z_k) é globalmente verificada, = ℜ^p. Consequentemente, a região de estabilidade garantida S₀⊂ () é mais restrita quando φ(z_k) é localmente verificada. Os dados numéricos correspondentes encontram-se na Tabela 5.

6 CONCLUSÕES

Neste trabalho aplicou-se o conceito de λ-contratividade para tratar o problema de síntese de uma lei de controle dependente de parâmetros para uma classe de sistemas não-lineares sob atuadores saturantes. A abordagem utilizada permite considerar não-linearidades que podem ser representadas como parâmetros variantes e/ou não-linearidades de tipo setor globalmente ou localmente verificadas.

O exemplo numérico considerado teve por objetivo mostrar, em particular, que o uso de ganhos variantes e a realimentação da não-linearidade permitem encontrar resultados menos conservadores do que nos casos sem realimentação da não-linearidade de setor ou no caso a ganhos fixos, no que se refere ao tamanho da região S₀ onde é garantida a estabilidade. Também procuramos evidenciar o compromisso existente entre o tamanho de S₀ e o desempenho associado a λ.

Trabalhos futuros apontam para: i) a solução do problema de controle via a utilização de compensadores dinâmicos com ganhos dependentes de parâmetros; ii) o aprimoramento dos algoritmos visando a obtenção de resultados menos conservadores no que se refere à região de estabilidade garantida, S₀, particularmente considerando que o parâmetro incerto tem variação limitada e/ou utilizando técnicas menos conservadoras para a solução de LMIs dependente de parâmetros; e iii) a utilização e a adaptação desta abordagem para a solução de problemas práticos.

7 AGRADECIMENTOS

Este trabalho teve suporte financeiro parcial do CNPq. O primeiro autor é professor do Departamento de Matemática - CCT - UDESC/SC, bolsista PICDT - Capes. Os autores agradecem a Marc Jungers (CRAN/ENSEM, França) pelas discussões e aos revisores pelos comentários e sugestões.

Artigo submetido em 03/10/2008 (Id.: 00901)

Revisado em 15/11/2008, 19/01/2009

Aceito sob recomendação do Editor Associado Prof. Takashi Yoneyama

Sequências de parâmetros usadas no exemplo:

{ξ_k}₁ = {0, 0.0888, 0.2825, 0.1866, 0.9635, 0.0563,

0.1753, 0.4410, 0.7579, 0.9288, 0.3496, 0.2224, 0.0524,

0.6427, 0.4539, 0.4110, 0.5076, 0.6418, 0.8435, 0.5471};

{ξ_k}₂ = {0, 0.9, 0.1, 0, 0.0138, 0.9875, 0.1740,

0.4030, 0.3993, 1, 1, 0.9, 0.1, 0, 0.7857,

0.5059, 0.5624, 0.7012};

Demonstração do Lema 2:

Além disso, necessariamente, {(Q^-1(ξ_k))} ⊂ (). Por outro lado, para provar que () ⊂ {(Q^-1(ξ_k)) }, considere x ∈ (), então ∀ i = 1, ..., N, x' x < 1, o qual, pelo complemento de Schur, é equivalente a > 0. Assim ∀ ξ_k ∈ Ξ, > 0. Isto implica que x ∈ (Q^-1(ξ_k)), ∀ ε_k ∈ Ξ, ou x ∈ (Q^-1(ξ_k)).

Referências bibliográficas

• Arcak, M. and Kokotovic, P. (2001). Feasibility conditions for circle criterion designs, Systems & Control Letters 42(5): 405412.
• Arcak, M., Larsen, M. and Kokotovic, P. (2003). Circle and popov criteria as tools for nonlinear feedback designs, Automatica 39: 643650.
• Castelan, E. B., Corso, J. and Moreno, U. F. (2007). Stability and stabilization of a class of uncertain nonlinear discrete-time systems with saturating actuators, Symposium on System, Structure and Control, SSSC2007, Foz do Iguaçu - PR, Brazil.
• Castelan, E. B.,Moreno, U. and de Pieri, E. R. (2006). Absolute stabilization of discrete-time systems with a sector bounded nonlinearity under control saturations, IEEE International Symposium on Circuits and Systems (ISCAS 2006), Greece, pp. 31053108.
• Castelan, E. B., Tarbouriech, S. and Queinnec, I. (2005). Stability and stabilization of a class of nonlinear systems with saturating actuators, Proc. of 16th IFAC World Congress in Automatic Control, Prague.
• Castelan, E. B., Tarbouriech, S. and Queinnec, I. (2008). Control design for a class of nonlinear continuous-time systems, Automatica 44(8): 20342039.
• Ghaoui, L. E. and Niculescu, S. L. (2000). Avances in linear matrix inequality methods in control, Siam.
• Ghaoui, L. E. and Scorletti, G. (1996). Control of rational systems using linear-fractional representations and linear matrix inequalities, Automatica 32(9): 12731284.
• Ghiggi, I. and Gomes da Silva Jr., J. M. (2006). Análise de estabilidade de sistemas lineares com atraso apresentando saturação de controle, XVI Brazilian Automatic Control Conference, Salvador - BA, Brazil, pp. 1477 1482.
• Gomes da Silva Jr., J. M., Paim, C. and Castelan, E. B. (2001). Stability and stabilization of linear discretetime subject to control saturation, 1st IFAC Symp. on System Structure and Control (SSSC'01), Prague.
• Gomes da Silva Jr., J. M., Reginatto, R. and Tarbouriech, S. (2004). Anti-windup design with guaranteed regions of stability for discrete-time linear systems with saturating controls, Revista Controle e Automação 14(1): 39.
• Gomes da Silva Jr., J. M. and Tarbouriech, S. (2005). Antiwindup design with guaranteed regions of stability: an lmi-based approach, Automatica 50(1): 106111.
• Hu, T. and Lin, Z. (2003). Composite quadratic lyapunov functions for constrained control systems, IEEE Transactions on Automatic Control 48(3): 440450.
• Hu, T., Lin, Z. and Chen, B. M. (2002). An analysis and design method for linear systems subject to actuator saturation and disturbance, Automatica 38: 351359.
• Khalil, H. K. (2002). Nonlinear Systems - Third Edition, Prentice Hall.
• Kokotovic, P. and Arcak, M. (2001). Constructive nonlinear control: a historical perspective, Automatica 37(5): 637662.
• Milani, B. E. A. and Coelho, A. D. (2002). Funções de lyapunov lineares por partes para sistemas lineares com controles saturáveis, Revista Controle e Automação 13(1): 4250.
• Montagner, V. F., Peres, P. L. D., Queinnec, I. and Tarbouriech, S. (2006). Determinação de regiões de estabilidade robusta para sistemas lineares incertos com saturação de atuadores: uma abordagem lmi, XVI Brazilian Automatic Control Conference, Salvador - BA, Brazil, pp. 12071212.
• Montagner, V. F., Peres, P. L. D., Tarbouriech, S. and Queinnec, I. (2006). Improved estimation of stability regions for uncertain linear systems with saturating actuators: an LMI-based approach, 45th IEEE Conf. on Decision and Control, San Diego, CA, pp. 54295434.
• Tarbouriech, S., Garcia, G. and Langouet, P. (2004). Antiwindup strategy with guaranteed stability for linear systems with amplitude and dynamics restricted actuator, 6th IFAC Symp. on Nonlinear Control Systems (NOLCOS04), Stuttgart (Germany).

ANEXO I 

ANEXO II 

Datas de Publicação

• Publicação nesta coleção
  28 Maio 2009
• Data do Fascículo
  Jun 2009

Histórico

• Aceito
  19 Jan 2009
• Revisado
  15 Nov 2008
• Recebido
  03 Out 2008