Méthodes seminumériques en algèbre différentielle; applications à l'étude des propriétés structurelles de systèmes différentiels algébriques en automatique

par Alexandre Sedoglavic

Thèse de doctorat en Sciences et techniques communes. Mathématiques

Sous la direction de Marc Giusti.

Soutenue en 2001

à Palaiseau, Ecole polytechnique .


  • Résumé

    Les travaux présentés dans ce mémoire se basent sur les apports de l'algèbre différentielle et les méthodes du calcul symbolique pour résoudre des problèmes d'automatique non linéaire qui ne se prêtent pas à une résolution numérique directe. Le problème de l'observabilité algébrique locale consiste à décider si les variables d'état intervenant dans un modèle peuvent être déterminées en fonction des entrées et des sorties supposées parfaitement connues. Nous présentons un algorithme probabiliste de complexité arithmétique polynomiale en la taille de l'entrée perme-ttant de tester l'observabilité algébrique locale en déterminant les variables non observables. L'utilisation du calcul modulaire permet d'obtenir pour ce test une complexité binaire elle aussi polynomiale. Cette complexité dépend linéairement de la probabilité de succès qui peut être arbitrairement fixée. Une implantation de cet algorithme permet de traiter des problèmes inaccessibles jusqu'à présent. À partir de ces méthodes mêlant calcul symbolique et calcul numérique, nous proposons une généralisation de la notion de platitude différentielle à certains modèles non linéaires décrits par des équations aux dérivées partielles. Un système différentiel ordinaire est différentiellement plat si ses solutions peuvent être localement paramétrées objectivement par des fonctions arbitraires. Pour étudier certains systèmes d'équations aux dérivées partielles non linéaires, on se ramène à un système d'équations différentielles ordinaires par discrétisation; notre approche consiste à chercher des discrétisations plates telles que les paramétrages associés convergent lorsque le pas de discrétisation tend vers zéro. Cette méthode est illustrée par l'étude du problème de planification de trajectoire réalisée pour trois modèles non linéaires de dimension infinie: l'équation de la chaleur semilinéaire, l'équation de Burger avec diffusion et un modèle non linéaire de tige flexible.

  • Titre traduit

    Seminumerical Methods in Differential Algebra; Applications to the Study of Structural Properties of Differential Aglebraic System in Control Theory


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (128 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 151 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible sous forme de reproduction pour le PEB

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.
  • Non disponible pour le PEB
  • Cote : MF-2001-SED
  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2001EPXX0032
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.