Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters

Abstract : In [1], a new method for testing the structural stability of multidimensional systems has been presented. The key idea of this method is to reduce the problem of testing the structural stability to that of deciding if an algebraic set has real points. Following the same idea, we consider in this work the specific case of two-dimensional systems and focus on the practical efficiency aspect. For such systems, the problem of testing the stability is reduced to that of deciding if a bivariate algebraic system with finitely many solutions has real ones. Our first contribution is an algorithm that answers this question while achieving practical efficiency. Our second contribution concerns the stability of two dimensional systems with parameters. More precisely, given a two-dimensional system depending on a set of parameters, we present a new algorithm that computes regions of the parameter space in which the considered system is structurally stable.
Type de document :
Communication dans un congrès
MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States. 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01366202
Contributeur : Fabrice Rouillier <>
Soumis le : jeudi 15 septembre 2016 - 15:32:56
Dernière modification le : mardi 3 juillet 2018 - 11:28:39
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 15:01:09

Fichier

0148.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01366202, version 1

Collections

Citation

Yacine Bouzidi, Fabrice Rouillier. Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters. MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States. 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems. 〈hal-01366202〉

Partager

Métriques

Consultations de la notice

397

Téléchargements de fichiers

63