Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, February 16, 2007 - 3:53:32 PM
Last modification on : Thursday, January 20, 2022 - 4:15:17 PM
Long-term archiving on: : Tuesday, September 21, 2010 - 12:42:56 PM


Files produced by the author(s)


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



Record views


Files downloads