Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download

https://hal.inria.fr/inria-00131035
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, February 16, 2007 - 3:53:32 PM
Last modification on : Thursday, February 7, 2019 - 3:45:37 PM
Long-term archiving on: : Tuesday, September 21, 2010 - 12:42:56 PM

Files

RR-6126.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

497

Files downloads

393