- Systèmes à commutation
-
Les systèmes à commutation représentent une classe de systèmes dynamiques hybrides (voir l'article système hybride). Un système à commutation est composé d'une famille de sous-systèmes à dynamique continue (de type équation différentielle ou équation récurrente) et une loi logique qui indique un sous-système actif.
Formellement, un système à commutation est défini par:
où
- représente une fonction constante par morceaux, nommée signal de commutation
- représente l'état du système
- la commande, et sont des champs de vecteurs décrivant les différents régimes de fonctionnement du système.
La fonction de commutation , où est un ensemble d'indices, spécifie le sous-système actif. Le choix du sous-système actif peut être lié à un critère temporel, à des régions ou surfaces déterminées dans l'espace d'état, ou à un paramètre extérieur. On peut identifier un aspect contrôlé (quand la fonction de commutation représente une commande introduite dans le but d'obtenir un comportement désiré) et, par opposition, un aspect autonome.
Si les champs de vecteurs des sous-systèmes prennent la forme et si u(t) n'est pas présent alors on obtinent un système à commutation autonome linéaire
Sommaire
Relation avec les inclusions différentielles (J. P. Aubin et A. Cellina, 1984)
( équations différentielles ordinaires à second membre discontinu )
Un système à commutation linéaire sous la forme
avec
peut être exprimé comme une inclusion différentielle inclusions différentielles linéaires décrites par
avec
Étude de stabilité
Motivation:
- des systèmes asymptotiquement stables déterminent, par une séquence de commutation, une trajectoire instable;
- des systèmes instables peuvent être stabilisés par des commutations.
Classification des problèmes de stabilité (Liberzon et Morse, 1999):
- Problème A : Trouver des conditions de stabilité telles que le système est asymptotiquement stable quelle que soit la fonction de commutation.
- Problème B : Identifier les classes de lois de commutation pour lesquelles le système à commutation est asymptotiquement stable.
- Problème C : Construire un signal de commutation qui rend le système asymptotiquement stable.
Critères de stabilité
- En utilisant la relation avec les inclusions différentielles
Molchanov et Pyatnitskiy expriment ce problème de stabilité en termes de fonction de Lyapunov quasi-quadratique :
L'origine x = 0 de l'inclusion différentielle linéaire est asymptotiquement stable si et seulement s'il existe une fonction de Lyapunov V(x) strictement convexe, homogène (du second ordre) et quasi-quadratique :
dont la dérivée satisfait l'inégalité :
Ceci implique que la stabilité des systèmes à commutation est liée à l'existence d'une fonction de Lyapunov commune pour l'ensemble des sous-systèmes. D'un point de vue pratique, la recherche numérique ou analytique d'une telle fonction n'est pas aisée.
- Condition suffisante de stabilité : existence d'une fonction de Lyapunov quadratique
Par la recherche d'une fonction de Lyapunov quadratique
V(x) = xTPx
avec une matrice P constante L'existence d'une telle fonction peut être exprimée en termes d'inégalités matricielles linéaires
(ang. linear matrix inequality - LMI ) (Boyd,1994) dont la solution peut être trouvée par des algorithmes d'optimisation convexe.
Notes et références
D. Liberzon. Switching in Systems and Control, Systems and Control : Foundation and Applications, Birkhäuser, 2003D. Liberzon and A.S. Morse. Basic problems in stability and design of switched systems. IEEE Control Systems Mag., pages 59--70, 1999.
R.A. Decarlo, M.S. Branicky, S.Pettersson, and B. Lennartson. Perspectives and results on the stability and stabilizability of hybrid systems. IEEE Transactions on Automatic Control, 88(7):1069--1082, 2000.
J. P. Aubin and A. Cellina. Differential Inclusions. Springer-Verlag, New-York, 1984
S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia, 1994.
A. Molchanov and E. Pyatnitskiy. Criteria of asymptotic stability of differential and difference inclusions encountered in control theory. Systems and Control Letters, 13 :59–64, 1989.
Wikimedia Foundation. 2010.