Resumos
Neste artigo considera-se o problema de síntese H<FONT FACE=Symbol>¥</FONT> de sistemas com restrições algébricas em tempo discreto e contínuo. Condições necessárias e suficientes descritas como Desigualdades Matriciais Lineares (LMIs) são apresentadas no caso de realimentação de estados, e apenas suficientes para o caso de realimentação de saída. Apresenta-se também métodos para a síntese de controladores H<FONT FACE=Symbol>¥</FONT> para o caso de sistemas algébricos diferenciais sujeito a incertezas politópicas.
Sistema descritor; LMI; controle H<FONT FACE=Symbol>¥</FONT>
In this paper we consider the H<FONT FACE=Symbol>¥</FONT> control problem for systems with algebraic constraints in the states. The discrete and continuous time cases are considered. Necessary and sufficient LMI conditions are presented for state feedback control problems, and only sufficient LMI conditions for output feedback. The results are also extended to cope with systems having algebraic constraints and politopic uncertainties.
Descriptor System; LMI; H<FONT FACE=Symbol>¥</FONT> control
Síntese H¥ para sistemas com restrições algébricas no estado
K. A. Barbosa; A. Trofino
Depto. de Automação e Sistemas, Universidade Federal de Santa Catarina, 88040-900 Florianópolis, SC, BRASIL, karinab@das.ufsc.br, trofino@das.ufsc.br
RESUMO
Neste artigo considera-se o problema de síntese H¥ de sistemas com restrições algébricas em tempo discreto e contínuo. Condições necessárias e suficientes descritas como Desigualdades Matriciais Lineares (LMIs) são apresentadas no caso de realimentação de estados, e apenas suficientes para o caso de realimentação de saída. Apresenta-se também métodos para a síntese de controladores H¥ para o caso de sistemas algébricos diferenciais sujeito a incertezas politópicas.
Palavras-chave: Sistema descritor, LMI, controle H¥
ABSTRACT
In this paper we consider the H¥ control problem for systems with algebraic constraints in the states. The discrete and continuous time cases are considered. Necessary and sufficient LMI conditions are presented for state feedback control problems, and only sufficient LMI conditions for output feedback. The results are also extended to cope with systems having algebraic constraints and politopic uncertainties.
Keywords: Descriptor System, LMI, H¥ control
1 INTRODUÇÃO
Sistemas com restrições algébricas ou sistemas descritores são modelados matematicamente por um conjunto de equações algébricas e diferenciais e aparecem com freqüência em diversas áreas, como por exemplo, sistemas robóticos (Krishnan and McClamroch, 1994), sistemas de potência (Hill and Mareels, 1990; Scavone et al., 1998) e sistemas econômicos (Leontief, 1953). Nas últimas décadas, o desenvolvimento da teoria de controle para esta classe de sistemas tem tido uma grande atenção, veja por exemplo Cobb (1984), Lewis (1986), Barbosa and Trofino (2002), Takaba et al. (1994), Wen and Yaling (1993), Bender and J.Laub (1987), e referências destes.
O problema de rejeição de perturbação também vem sendo amplamente estudado com a publicação de diversos trabalhos, entre eles pode-se citar o caso de custo quadrático dado em Bender and J.Laub (1987) e os critérios de norma H2 e H¥, que são geralmente resolvidos através de uma equação de Riccati generalizada, no caso contínuo, dado por Takaba et al. (1994), Wen and Yaling (1993); e no caso discreto, por Chen and Lee (1999).
Com o avanço dos recursos computacionais e a publicação de importantes trabalhos na área de otimização, técnicas baseadas em Desigualdades Matriciais Lineares (LMIs) para a solução do problema H¥ no contexto de sistemas apenas diferenciais vêm sendo amplamente estudadas (veja por exemplo Gahinet and Apkarian (1994); Boyd et al. (1994)).
No caso de sistemas com restrições algébricas, cita-se o trabalho de Masubuchi et al. (1997) que resolve o problema H¥ através de desigualdades lineares, partindo da definição de estabilidade dada em Takaba et al. (1994) para sistemas a tempo contínuo. Nesta referência os resultados envolvem restrições de desigualdades não estritas, o que torna mais custoso a busca de soluções numéricas. O resultado proposto em Uezato and Ikeda (1999) busca eliminar a necessidade da condição de igualdade do resultado, obtendo assim condições LMIs estritas para a solução do problema.
Propõe-se aqui uma solução para o problema H¥ através de LMIs de uma forma similar ao resultado proposto por Masubuchi et al. (1997). Porém, as condições agora são obtidas através do Lema de Finsler (Boyd et al., 1994), sendo possível descrevê-las como desigualdades estritas. Condições necessárias e suficientes são propostas para o caso de síntese H¥ via realimentação de estados em tempo contínuo e discreto. O problema de realimentação de saída também será considerado e, neste caso, as condições propostas são apenas suficientes. O resultado é aplicado também a sistemas incertos, com incertezas politópicas.
O artigo está estruturado da seguinte forma. Na seção definem-se matematicamente sistemas com restrições algébricas e norma H¥. Na seção , o problema H¥ para sistemas com restrições algébricas a tempo contínuo é abordado, o caso discreto é tratado na seção 4. Uma aplicação numérica é apresentada na seção 5. Comentários finais são apresentados na seção 6.
A seguinte notação é usada no artigo: assume-se que
representa um politopo convexo de vértices Wi dados e que as desigualdades matriciais do tipo P > 0 (P > 0) indicam que a matriz P é positiva definida (positiva semi-definida), isto é, simétrica com todos os autovalores positivos (positivos ou nulos). Em uma matriz simétrica, o símbolo * é usado para representar os elementos que podem ser deduzidos por simetria.
2 FORMULAÇÃO DO PROBLEMA
Considera-se o seguinte sistema na forma algébrico-diferencial:
onde x Î Rn é o vetor de estados, z Î Rm é a variável algébrica, u Î é a variável de controle, w Î Rl é a variável de perturbação e z2Î Rq é a saída ou sinal de desempenho.
Definição 2.1 (Sistema Admissível) O sistema (1) é dito ser admissível se a matriz J4 for inversível.
Segundo Verghese et al. (1981), J4 inversível é uma condição necessária e suficiente para garantir a regularidade do sistema (1) e que este seja livre de modos impulsivos. Conseqüentemente, a Definição 2.1 implica que um sistema admissível é um sistema regular e livre de modos impulsivos. Neste artigo assume-se que o sistema (1) é admissível.
Agora considere como sendo o operador de entrada e saída entre a variável de perturbação w e a variável de desempenho z2 em malha fechada do sistema nominal da Figura 1. Note que no caso de sistemas sem incertezas o operador representa a função de transferência do sistema em malha fechada. Suponha ainda que o sistema em malha fechada é internamente estável.
Sob estas condições, tem-se que a norma H¥ do operador é definida como a norma induzida pela norma 2 de sinais, podendo ser vista também como o maior ganho em ||. ||2 que pode ser obtido da entrada para a saída do sistema, isto é:
onde ||w||2¹ 0 e sup denota o supremo de uma dada função (para mais detalhes veja, por exemplo, Green and Limebeer (1995)).
É importante ressaltar que não existe uma forma analítica para o cálculo da norma H¥, mas sim um procedimento iterativo que pode ser encontrado, por exemplo, em Souza (1994).
3 CASO CONTÍNUO
Nesta seção busca-se resolver o problema sub-ótimo H¥, que consiste em encontrar um controlador K tal que o sistema algébrico diferencial (1) seja estável em malha fechada e ||||¥ < g, onde o valor de g é previamente especificado. Comumente, este problema para o caso de sistemas na forma algébrico diferenciais é resolvido através da redução do sistema (1) para um sistema apenas diferencial, isto é, ao eliminar a variável algébrica z no sistema (1) obtém-se o seguinte sistema diferencial equivalente:
onde A = J1-J2
J3.O problema de controle H¥ para esta classe de sistema tem solução conhecida a partir do Bounded real lemma (Gahinet and Apkarian, 1994) apresentado no lema a seguir.
Lema 3.1 Considere o sistema (2). Se existem matrizes F e W tal que
então existe uma lei de controle do tipo u = -Kx, onde o ganho de estabilização é dado por K = FW-1, que estabiliza o sistema (2) e garante que ||||¥ < g.
Apesar de simples, este método tem o inconveniente de exigir a inversão da matriz J4, o que pode implicar em diversos problemas. Um deles é a dificuldade em considerar incertezas no modelo, já que a eliminação da variável algébrica envolve inversões de matrizes com elementos incertos. Outro problema é a perda da esparsidade das matrizes que, em alguns casos, quando a dimensão do problema é grande, pode gerar dificuldades computacionais consideráveis. O objetivo nesta seção é buscar uma solução para o problema H¥ para sistemas com restrições algébricas no estado, preservando a sua estrutura original. Para tal, faz-se uso do Lema de Finsler (Boyd et al., 1994), descrito a seguir
Lema 3.2 Dada uma matriz simétrica Y e uma matriz Ca de dimensões compatíveis e seja X uma base para o espaço nulo de Ca. Então tem-se que
se e somente se $ L tal que
O lema acima, para a matriz L fixa, fornece condições necessárias e suficientes apenas quando as matrizes no sistema não apresentam parâmetros incertos. No caso de Ca ou Y dependerem de um conjunto de parâmetros incertos as condições acima deixam de ser equivalentes, tornando-se apenas suficiente. Desta forma, a factibilidade de (4) é suficiente para garantir que (3) seja satisfeita, para mais detalhes veja (Lu and Doyle, 1995).
O teorema a seguir fornece condições necessárias e suficientes para a solução do problema sub-ótimo H¥ para sistemas algébrico-diferenciais no caso nominal.
Teorema 1 Seja g um escalar positivo e a função de transferência de w para z2no sistema (1) em malha fechada. Então existe uma lei de controle do tipo u = -Kx tal que ||||¥ < g se e somente se a seguinte LMI for factível em W > 0, F e L:
Em caso afirmativo || ||¥ < g com o ganho de estabilização dado por K = FW-1.
Prova: O objetivo é provar que as condições do teorema serão satisfeitas se e somente se o resultado clássico de norma H¥ para o sistema de ordem reduzida apresentado no Lema 3.1 estiver também satisfeito.
Primeiro, assume-se que as condições do Teorema 3.1 estão satisfeitas. Pré-multiplicando a LMI (5) por X = [ x' z' w' ] e pós-multiplicando-a por X', e em seguida aplicando o Lema 3.2 tem-se que a desigualdade (5) é equivalente à:
Da restrição de igualdade em (6), deduz-se que z = -. Definindo J = J1 - J2
J3 - BuK e Cf = Cz - DuzK, em Y obtém-se:
Aplicando o complemento de Schur na LMI (7), obtém-se:
Esta desigualdade é equivalente à (5), completando a prova do teorema.
Note que uma condição necessária para que a LMI (5) no Teorema 3.1 seja factível é que a matriz J4 seja inversível. Conseqüentemente, a suposição de que o sistema (1) seja admissível não introduz nenhum conservadorismo ao método.
O Teorema 3.1 fornece condições necessárias e suficientes para a síntese de controladores H¥ para sistemas com restrições algébricas sem parâmetros incertos. Este resultado pode ser estendido para sistemas sujeitos a incertezas politópicas, onde as condições são apenas suficientes, apresentadas no corolário a seguir. Neste caso, considera-se que o sistema (1) é incerto e descrito por
com
onde Co é um politopo convexo de vértices Wi conhecidos.
Corolário 3.1 Seja g um escalar positivo e Co um politopo convexo de vértices Wi dados. Defina como sendo o operador de w para z2 no sistema incerto (8)-(9) em malha fechada com a lei de controle u = -Kx. Se existirem matrizes W > 0, F e L tais que para todo i = 1,...,q:
então o sistema incerto (8)-(9) é quadraticamente estável em malha fechada com o ganho de estabilização dado por K = FW-1 para todo W Î Co e além disso || ||¥ < g.
Prova: Pela propriedade de convexidade tem-se que, se a LMI (10) for satisfeita para todos os vértices do politopo então as condições são válidas para toda região dentro do politopo. A prova então segue os mesmos passos da prova do Teorema 3.1 e portanto será omitida.
Os resultados obtidos para o caso de realimentação de estados podem ser estendidos para o problema H¥ via realimentação estática de saída, apresentados a seguir.
Corolário 3.2 Seja g um escalar positivo e a função de transferência de w para z2 no sistema nominal (1) em malha fechada com u = -Ky e y = Cx, onde C tem posto completo por linhas. Se existirem matrizes W > 0, F, M e L tais que:
então o sistema (1) é quadraticamente estável em malha fechada com o ganho de estabilização dado por K = FM-1 e além disso ||||¥ < g.
Prova: Assuma que (11) esteja satisfeita, então tem-se que F = KM e MC = CW. Substituindo estas igualdades em (11), obtém-se
onde Cf = Cz-DuzKC e Jmf = J1-BuKC. O restante da prova segue o mesmos passos do caso de realimentação de estados(Teorema 3.1) e, portanto, será omitida.
Perceba que a solução do problema H¥ via realimentação de estados para o caso de sistemas nominais, dado pelo Teorema 1, é necessária e suficiente. No entanto, isto não ocorre quando se resolve o problema por realimentação de saída, onde mesmo para o caso de sistema nominais as condições são apenas suficientes devido a restrição de igualdade CW = MC. Para mais detalhes, veja Crusius and Trofino (1999).
De forma semelhante ao caso de realimentação de estados pode-se obter condições convexas para o caso de sistemas algébrico-diferenciais com incertezas politópicas.
4 CASO DISCRETO
Nesta seção será tratado o caso de síntese H¥ para sistemas discretos com restrições algébricas. Considere então o seguinte sistema:
onde xk Î Rn é o vetor de estados, zk Î Rm é a variável algébrica, uk Î é a variável de controle, wk Î Rl é a variável de perturbação e z2kÎ Rq é a saída ou sinal de desempenho e a matriz J4 é inversível.
De forma semelhante à seção anterior, busca-se encontrar um controle K que estabilize o sistema (13) e satisfaça ||||¥ < g, para um dado g. O Teorema apresenta a solução para este problema no caso nominal.
Teorema 2 Seja g um escalar positivo e a função de transferência de wk para z2k no sistema (13) em malha fechada. Então existe uma realimentação de estados uk = -Kxk tal que ||||¥ < g se e somente se a seguinte LMI for factível em W > 0, F e L:
Em caso afirmativo || ||¥ < g com o ganho de estabilização dado por K = FW-1.
Prova: Aplicando o complemento de Schur na LMI (14), dado que F = KW e definindo Jmf = J1-BuK e Cf = Cz-DuzK, obtém-se:
Pré-multiplicando-a por Xk = , pós-multiplicando-a por e em seguida aplicando o Lema 3.2, tem-se que a desigualdade acima é equivalente a:
onde
Da restrição de igualdade, deduz-se que z = . Definindo J = J1-J2
J3 - BuK, obtém-se:
onde P2 =
A prova se completa com a versão discreta do Bound Real Lemma apresentada, por exemplo, em Zhou et al. (1996).
Considera-se agora o caso de sistemas incertos. De forma semelhante ao caso contínuo assume-se que as matrizes do sistema (13) são incertas e que o sistema é descrito por
com
onde Co é um politopo convexo de vértices Wi conhecidos. A solução para problema H¥ neste caso é apresentado no corolário a seguir.
Corolário 4.1 Seja g um escalar positivo e Co um politopo convexo de vértices Wi dados. Defina como operador de wk para z2k no sistema incerto (15)-(16) em malha fechada com uk = -Kxk. Se existirem matrizes W > 0, F e L tais que para todo i = 1,...,q:
então o sistema incerto (15)-(16) é quadraticamente estável em malha fechada com o ganho de estabilização dado por K = FW-1 para todo W Î Co e além disso ||||¥ < g.
A extensão dos resultados acima para o problema de minimização da norma H¥ por realimentação estática de saída pode ser obtida de forma análoga ao caso contínuo.
5 EXEMPLO NUMÉRICO
Nos exemplos a seguir utiliza-se o Pacote Computacional Scilab desenvolvido pelo INRIA, Fr e disponível no site: www-rocq.inria.fr/scilab.
Exemplo 5.1 Considere o sistema máquina-barra infinita constituído de 4 barras, um gerador e uma barra infinita, cujo diagrama unifilar é mostrado na Figura 2. Este sistema é constituído de 4 variáveis diferenciais e 16 variáveis algébricas, cujos dados numéricos podem ser encontrados em Martins and Lima (1990). Os elementos não nulos da matriz Jacobiana na forma gerados pelo programa LFLOW são mostrados na Tabela 1.
Note que o sistema oriundo da eliminação da variável algébrica z, com J = J1-J2
J3, é instável e possui os seguintes autovalores em malha aberta:
O objetivo neste exemplo é projetar uma lei de controle do tipo u = -Kx que estabilize o sistema e garanta que o critério de norma H¥ seja menor que g, para tal considera-se que
Supondo g = 5 e aplicando o Teorema 1, obtém-se como ganho de realimentação de estados:
k = (60.852661 2.0314555 -17.559783 2.1740479)
e garante que o valor real da norma H¥ é 3.976.
Exemplo 5.2 Considere o exemplo anterior discretizado com um período de amostragem t = 0.01, com o seguinte critério de desempenho.
Supondo g = 11.121503 e aplicando o Teorema 2, obtém-se como ganho
k = (17.303843 1.1980519 -0.4679964 0.1037385)
que estabiliza o sistema levando os autovalores em malha fechada para:
5 COMENTÁRIOS
Neste artigo foram expostas soluções para o problema H¥ para sistemas com restrições algébricas a tempo contínuo e discreto. Técnicas LMIs são utilizadas para descrever a solução do problema para o caso de sistemas nominais e sistemas incertos. Condições necessárias e suficientes são propostas para a solução do problema via realimentação de estados no caso nominal e apenas suficientes nos casos de sistemas incertos e de realimentação de saída. O resultado apresentado é uma alternativa ao resultado dado em Uezato and Ikeda (1999), onde se considera uma função de Lyapunov com a dimensão das variáveis de estados incluindo as variáveis algébricas. Na abordagem aqui proposta, utiliza-se uma função de Lyapunov da mesma ordem das variáveis de estado do sistema, sem considerar as variáveis algébricas, permitindo assim uma caracterização direta do comportamento do sistema. Esta abordagem pode também ser generalizada para o caso de síntese de controladores com o critério de desempenho H2. Este resultado pode ser visto em (Barbosa and Trofino, 2000).
AGRADECIMENTOS
Este trabalho foi financiado pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico - CNPq.
Artigo submetido em 20/12/00
1a. Revisão em 13/8/2002; 2a. Revisão em 10/4/2003
Aceito sob recomendação do Ed. Assoc. Prof. Liu Hsu
Referências bibliográficas
- Barbosa, K. A. Trofino, A. 2000 . Síntese H2 para Sistemas com Restriçőes Algébricas , XIII Congresso Brasileiro de Automática, Florianópolis,SC.
- Barbosa, K. A. Trofino, A. 2002 . Técnicas LMI para Análise de Sistemas com Restriçőes Algébricas no Estado, Controle & Automaçăo 13(1): 34-41.
- Bender, D. J. J.Laub, A. 1987 . The Linear Quadratic Optimal Regulator for Descriptor Systems, IEEE Transactions on Automatic Control Vol. 32(No 8): 672-688.
- Boyd, S., Ghaoui, L., Feron, E. Balakrishnan, V. 1994 . Linear Matrix Inequalities in System and Control Theory , SIAM Studies in Applied Mathematics.
- Chen, J. L. Lee, L. 1999 . HĽ Control for Discrete-time Descriptor Systems, Proceedings of the 38th Conference on Decision and Control, pp. 4100-4105.
- Cobb, D. J. 1984 . Controllability, observability and duality in singular systems., IEEE Transactions on Automatic Control Vol. 29: 1076-1082.
- Crusius, C. Trofino, A. 1999 . Sufficient LMI Conditions for Output Feedback Control Problems, IEEE Transactions on Automatic Control Vol. 44(No 5): 1053-1057.
- Gahinet, P. Apkarian, P. 1994 . A Linear Matrix Inequality Approach to HĽ Control. , International Journal of Robust and Nonlinear Control Vol. 4: 421-448.
- Green, M. Limebeer, D. J. N. 1995 . Linear Robust Control , Prentice-Hall.
- Hill, D. J. Mareels, I. M. 1990 . Stability Theory for Differential/Algebraic Systems with Application to Power Systems, IEEE Transactions on Circuits and Systems Vol. 37(No 11): 1416-1423.
- Krishnan, H. McClamroch, N. H. 1994 . Tracking in Nolinear Differential-Algébric Control Systems whit Applications to Constrained Robot Systems, Automatic Vol. 33: 419-426.
- Leontief, W. 1953 . Studies in the Structure of the American Economy , Oxford Univ. Press.
- Lewis, F. 1986 . A survey of linear singular systems, Circuits, Systems Sig. Proces. Vol. 5: 3-36.
- Lu, W.-M. Doyle, J. 1995 . HĽ control of nonlinear systems: a convex characteriztion, IEEE Transactions on Automatic Control Vol. 40(No 9): 1668-1675.
- Martins, N. Lima, L. 1990 . Eigenvalue and frequency domain analysis of small-signal eletromechanical stability problems, IEEE Power Engineering Society pp. 17-33.
- Masubuchi, I., Kamitane, Y., Ohara, A. Suda, N. 1997 . HĽ Control for Descriptor Systems: A Matrix Inequalities Approach, Automatica Vol. 33(No 4): 669-673.
- Scavone, F., Silva, A., Trofino, A. Campagnolo, J. M. 1998 . Projeto Robusto de Controladores para Sistemas de Potęncia usando Técnicas LMI, XII Congresso Brasileiro de Automática, Uberlânica, MG.
- Souza, S. R. 1994 . Análise Convexa Aplicada a Sistemas Dinâmicos Contínuos, PhD thesis, Universidade Estadual de Campinas, Campinas-SP.
- Takaba, K., Morihira, N. Katayama, T. 1994 . HĽ control for descriptor system -a J-spectral factorization approach, IEE-Proceedings of the 33th Conference on Decision and Control, Lake Buena Vista, pp. 2251-2256.
- Uezato, E. Ikeda, M. 1999 . Strict LMI Conditions for Stability. Robust Stabilization, and HĽ Control of Descriptor Systems, Proceedings of the 38th Conference on Decision and Control, pp. 4092-4097.
- Verghese, G., Lévi, B. C. Kailath, T. 1981 . A Generalized State-Space for Singular Systems, IEEE Transactions on Automatic Control Vol. 26(No 4): 811-831.
- Wen, T. Yaling, C. 1993 . HĽ-optimal Control for Descriptor Systems , Proceedings 12 th IFAC, World Congress, Vol. 2, Sydney, pp. 201-104.
- Zhou, K., Doyle, J. C. Glover, K. 1996 . Robust and Optimal Control, Prentice-Hall International, Inc., USA.
Datas de Publicação
-
Publicação nesta coleção
19 Nov 2003 -
Data do Fascículo
Set 2003
Histórico
-
Recebido
20 Dez 2000