Applications of the Quillen-Suslin theorem to multidimensional systems theory

Abstract : The purpose of this paper is to give four new applications of the Quillen-Suslin theorem to mathematical systems theory. Using a constructive version of the Quillen-Suslin theorem, also known as Serre's conjecture, we show how to effectively compute flat outputs and injective parametrizations of flat multidimensional linear systems. We prove that a flat multidimensional linear system is algebraically equivalent to the controllable 1-D dimensional linear systems obtained by setting all but one functional operator to zero in the polynomial matrix defining the system. In particular, we show that a flat ordinary differential time-delay linear system is algebraically equivalent to the corresponding ordinary differential system without delay, i.e., the controllable ordinary differential linear system obtained by setting all the delay amplitudes to zero. We also give a constructive proof of a generalization of Serre's conjecture known as Lin-Bose's conjecture. Moreover, we show how to constructively compute (weakly) left-/right-/doubly coprime factorizations of rational transfer matrices over a commutative polynomial ring. The Quillen-Suslin theorem also plays a central part in the so-called decomposition problem of linear functional systems studied in the literature of symbolic computation. In particular, we show how the basis computation of certain free modules, coming from projectors of the endomorphism ring of the module associated with the system, allows us to obtain unimodular matrices which transform the system matrix into an equivalent block-triangular or a block-diagonal form. Finally, we demonstrate the package QuillenSuslin which, to our knowledge, contains the first implementation of the Quillen-Suslin theorem in a computer algebra system as well as the different algorithms developed in the paper.
Type de document :
Rapport
[Research Report] RR-6126, INRIA. 2007, pp.96
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00131035
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 16 février 2007 - 15:53:32
Dernière modification le : jeudi 11 janvier 2018 - 16:31:00
Document(s) archivé(s) le : mardi 21 septembre 2010 - 12:42:56

Fichiers

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

Identifiants

  • HAL Id : inria-00131035, version 2

Collections

Citation

Anna Fabianska, Alban Quadrat. Applications of the Quillen-Suslin theorem to multidimensional systems theory. [Research Report] RR-6126, INRIA. 2007, pp.96. 〈inria-00131035v2〉

Partager

Métriques

Consultations de la notice

419

Téléchargements de fichiers

251