Stability analysis and stabilization of discrete-time piecewise affine systems

Abstract

This work addresses the problems of global stabilization and local stability analysis of discrete-time piecewise affine (PWA) systems. To tackle the global stabilization problem, this work considers a PWA state feedback control law, a recently proposed implicit PWA representation and piecewise quadratic (PWQ) Lyapunov candidate functions. Through Finsler’s Lemma, congruence transformations and some structural assumptions, quasi-LMI sufficient conditions to ensure the global exponential stability of the origin of the closed-loop PWA system are derived from the stability conditions. An algorithm is proposed to solve the quasi-LMI conditions and compute the stabilizing gains. Regarding the problem of local stability analysis, this work proposes a method to test the local nonnegativity of PWQ functions using the implicit representation. This method is used to assess the local stability of the origin of PWA systems by considering PWQ Lyapunov candidate functions. Estimates of the Region of Attraction of the Origin (RAO) are obtained as level sets of the Lyapunov function. Approaches to obtain maximized estimates of the RAO are therefore discussed.

Este trabalho trata dos problemas de estabilização global e análise de estabilidade local de sistemas afim por partes (PWA, do inglês, Piecewise Affine) de tempo discreto. Para tratar o problema de estabilização global, considera-se uma lei de controle do tipo realimentação de estados afim por partes, uma representação implícita de sistemas PWA e funções de Lyapunov quadraticas por partes (PWQ, do inglês, Piecewise Quadratic). Através do Lema de Finsler, transformações de congruência e algumas suposições de estrutura, condições suficientes na forma de quasi-LMIs para assegurar a estabilidade exponencial global da origem do sistema PWA em malha fechada são derivadas das condições de estabilidade. Um algoritmo para resolver as condições quasi-LMIs e computar os ganhos estabilizantes é proposto. Quanto ao problema de análise local de estabilidade, um método para testar a não negatividade local de funções PWQ usando a representação implícita é proposto. Este método é então utilizado para verificar a estabilidade local da origem de sistemas PWA através de funções de Lyapunov PWQ. Estimativas da região de atração da origem (RAO, do inglês, Region of Attraction of the Origin) são obtidas como curvas de nível da função de Lyapunov. Abordagens para maximizar a estimativa da RAO são então discutidas