Skip to Main content Skip to Navigation
Reports

Equivalences of linear functional systems

Thomas Cluzeau 1 Alban Quadrat 2
2 NON-A - Non-Asymptotic estimation for online systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Abstract : Within the algebraic analysis approach to linear systems theory, we investigate the equivalence problem of linear functional systems, i.e., the problem of characterizing when all the solutions of two linear functional systems are in a one-to-one correspondence. To do that, we first provide a new characterization of isomorphic finitely presented modules in terms of inflations of their presentation matrices. We then prove several isomorphisms which are consequences of the unimodular completion problem. We then use these isomorphisms to complete and refine existing results concerning Serre's reduction problem. Finally, different consequences of these results are given. All the results obtained in this paper are algorithmic for rings for which Gröbner basis techniques exist and the computations can be performed by the Maple packages OreModules and OreMorphisms.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01413593
Contributor : Alban Quadrat <>
Submitted on : Saturday, December 10, 2016 - 12:48:19 AM
Last modification on : Tuesday, September 29, 2020 - 12:24:10 PM
Long-term archiving on: : Tuesday, March 28, 2017 - 12:26:29 AM

File

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

Identifiers

  • HAL Id : hal-01413593, version 1

Citation

Thomas Cluzeau, Alban Quadrat. Equivalences of linear functional systems. [Research Report] RR-9000, Inria Lille - Nord Europe; University of Limoges, France. 2016, pp.29. ⟨hal-01413593⟩

Share

Metrics

Record views

396

Files downloads

147