OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems

DOI10.1007/978-3-540-49556-7_15zbMath1248.93006OpenAlexW1526781295MaRDI QIDQ2912063

Alban Quadrat, Daniel Robertz, Frédéric Chyzak

Publication date: 13 September 2012

Published in: Applications of Time Delay Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-49556-7_15

zbMATH Keywords

invariant factorsDiophantine equationsordinary differential equations (ODEs)primenessBézout equationstime-invariant linear systemsHermite, Smith and Popov formsunivariate polynomial matrices

Mathematics Subject Classification ID

Related Items (35)

The injectivity of the canonical signal module for multidimensional linear systems of difference equations with variable coefficients ⋮ Two invariants for weak exponential stability of linear time-varying differential behaviors ⋮ On the Ore Extension Ring of Differential Time-Varying Delay Operators ⋮ On subdirect factors of a projective module and applications to system theory. ⋮ Recent progress in an algebraic analysis approach to linear systems ⋮ Grade filtration of linear functional systems. ⋮ Exponentially Stable Linear Time-Varying Discrete Behaviors ⋮ On the stability and the stabilization of linear discrete repetitive processes ⋮ A constructive test for exponential stability of linear time-varying discrete-time systems ⋮ Further results on the computation of the annihilators of integro-differential operators ⋮ Transforming linear functional systems into fully integrable systems ⋮ Structural stabilization of linear 2D discrete systems using equivalence transformations ⋮ Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases ⋮ Projective modules and Gröbner bases for skew PBW extensions ⋮ Serre's reduction of linear partial differential systems with holonomic adjoints ⋮ Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases ⋮ Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras ⋮ Equivalences of Linear Functional Systems ⋮ Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients ⋮ Unnamed Item ⋮ homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA ⋮ Exact linear modeling using Ore algebras ⋮ On the computation of \(\pi\)-flat outputs for linear time-varying differential-delay systems ⋮ A new insight into Serre's reduction problem ⋮ Factoring and decomposing a class of linear functional systems ⋮ AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION ⋮ Weak exponential stability of linear time-varying differential behaviors ⋮ Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras ⋮ Computation of bases of free modules over the Weyl algebras. ⋮ A constructive study of the module structure of rings of partial differential operators. ⋮ Serre's reduction of linear functional systems. ⋮ Effective algorithms for parametrizing linear control systems over Ore algebras ⋮ Stabilising compensators for linear time-varying differential systems ⋮ OreModules ⋮ The parametric solution of underdetermined linear ODEs

This page was built for publication: OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems