Applications of the Quillen-Suslin theorem to multidimensional systems theory - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Applications of the Quillen-Suslin theorem to multidimensional systems theory


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.
Fichier principal
Vignette du fichier
RR-6126.pdf (825.94 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

inria-00131035 , version 1 (14-02-2007)
inria-00131035 , version 2 (16-02-2007)


  • HAL Id : inria-00131035 , version 2


Anna Fabianska, Alban Quadrat. Applications of the Quillen-Suslin theorem to multidimensional systems theory. [Research Report] RR-6126, INRIA. 2007, pp.96. ⟨inria-00131035v2⟩
277 View
516 Download


Gmail Mastodon Facebook X LinkedIn More