Effective algebraic analysis approach to linear systems over Ore algebras

Résumé : Le but de ce papier est de présenter un état de l’art d’une approche par l’analyse algébrique effective de la théorie des systèmes linéaires avec des applications à la théorie du contrôle et à la physique mathématique. En particulier, nous montrons comment la combinaison des méthodes effectives de calcul formel - basées sur les techniques de bases de Gröbner sur une classe d’algèbres polynomiales noncommutatives d’opérateurs fonctionnels appelée algèbres de Ore - et d’aspects constructifs de théorie des modules et d’algèbre homologique permet la caractérisation de propriétés structurelles des systèmes linéaires fonctionnels. Des algorithmes sont donnés et une implémentation dédiée, appelée OREALGEBRAICANALYSIS, basée sur le package Mathematica HOLONOMIC-FUNCTIONS, est présentée
Type de document :
Rapport
[Research Report] RR-8999, Inria Lille - Nord Europe; University of Limoges, France; RICAM, Austrian Academy of Sciences; Institute of Cybernetics, Tallinn University of Technology. 2016, pp.42
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01413591
Contributeur : Alban Quadrat <>
Soumis le : samedi 10 décembre 2016 - 00:34:59
Dernière modification le : mardi 3 juillet 2018 - 11:42:47
Document(s) archivé(s) le : lundi 27 mars 2017 - 15:22:47

Fichier

RR-8999.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01413591, version 1

Citation

Thomas Cluzeau, Christoph Koutschan, Alban Quadrat, Maris Tõnso. Effective algebraic analysis approach to linear systems over Ore algebras. [Research Report] RR-8999, Inria Lille - Nord Europe; University of Limoges, France; RICAM, Austrian Academy of Sciences; Institute of Cybernetics, Tallinn University of Technology. 2016, pp.42. 〈hal-01413591〉

Partager

Métriques

Consultations de la notice

361

Téléchargements de fichiers

80