Tests certifiés pour la stabilité structurelle de systèmes multidimensionnels

Abstract

Nous présentons dans cet article de nouvelles méthodes, basées sur des techniques de calcul formel, pour tester la stabilité structurelle de systèmes n-D linéaires et discrets (avec n > 2). Plus précisément, nous montrons dans un premier temps que la condition classique de stabilité structurelle d'une fonction de transfert rationnelle multivariée (à savoir que le dénominateur de celle-ci n'a pas de zéros à l'intérieur du polydisque unité de \C^n) est équivalente au fait que des systèmes d'équations polynomiales, obtenus via certaines transformations, n'ont pas de zéros réels. Nous utilisons ensuite des algorithmes de résolutions de systèmes algébriques pour vérifier cette dernière condition et ainsi la stabilité structurelle de systèmes multidimensionnels.