Contribution au développement d'outils informatiques pour résoudre des problèmes d'automatique non linéaire

par Ngoc Minh Hoang

Thèse de doctorat en Informatique

Sous la direction de Gérard Jacob.

Soutenue en 1990

à Lille 1 .


  • Résumé

    Nous développons certains outils informatiques, et les mettons en oeuvre pour obtenir puis implanter grâce au calcul formel des résultats fins en théorie de la commande : dans le premier chapitre, nous rappelons des résultats concernant les séries formelles en variables commutatives et non commutatives. Nous rappelons également des éléments de l'algèbre de lie. Dans le deuxième chapitre, nous développons les bases d'un calcul symbolique pour les systèmes dynamiques non linéaires en introduisant la transformation d'évaluation. Cette transformation généralise la transformation de Laplace inverse pour les systèmes dynamiques non linéaires. Elle est aussi une extension en plusieurs variables non commutatives du passage de la série génératrice ordinaire à la série génératrice exponentielle. Dans le troisième chapitre, nous étudions une dualité entre les séries de Chen et les séries de Fliess. Nous donnons une graduation des séries de Chen. Cette graduation nous permet d'obtenir simplement les développements de Taylor des noyaux de volterra. Dans le quatrième chapitre, nous étudions les équations différentielles non linéaires en régime forcé. Nous proposons une méthode itérative simple et efficace pour calculer une solution approchée (en macsyma) en transformant ces équations (via les séries de Fliess et la transformation d'évaluation) en équations de convolution; dans le cinquième chapitre, nous utilisons les séries de Fliess et l'algèbre de Lie libre pour étudier les problèmes de découplage des systèmes dynamiques non linéaires (rejet de perturbations, découplage diagonal ou triangulaire, systèmes non interactifs). Dans le sixième chapitre, nous indiquons nos choix de structures de données, en particulier les arbres binaires pour représenter les séries formelles non commutatives. Nous présentons nos algorithmes récursifs, en particulier l'utilisation des -notations de macsyma pour calculer l'évaluation des fractions rationnelles non commutatives

  • Titre traduit

    Development of computing tools for solving problems in non linear control systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (187 p.)
  • Annexes : Bibliogr. p. 149-155

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lille. Service commun de la documentation. Lilliad Learning Center Innovation.
  • Disponible pour le PEB
  • Cote : 50376-1990-138

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1990-HOA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.