Skip to Main content Skip to Navigation
Book sections

Equivalences of linear functional systems

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 inflation 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 here are algorithmic for rings for which Gröbner basis techniques exist and the computations can be performed by the Maple packages OreModules and OreMorphisms or the Mathematica package OreAlgebraicAnalysis.
Complete list of metadata
Contributor : Alban Quadrat Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2020 - 9:39:59 PM
Last modification on : Friday, January 21, 2022 - 3:18:42 AM


  • HAL Id : hal-03070672, version 1



Thomas Cluzeau, Alban Quadrat. Equivalences of linear functional systems. Algebraic Methods and Symbolic-Numeric Computation in Systems Theory, 9, Springer, pp.53-86, 2020, 978-3-030-38355-8. ⟨hal-03070672⟩



Les métriques sont temporairement indisponibles