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

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

Daniel Robertz, Alban Quadrat, 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 factors; Diophantine equations; ordinary differential equations (ODEs); primeness; Bézout equations; time-invariant linear systems; Hermite, Smith and Popov forms; univariate polynomial matrices

Mathematics Subject Classification ID

93C05: Linear systems in control theory

93C15: Control/observation systems governed by ordinary differential equations

93-04: Software, source code, etc. for problems pertaining to systems and control theory

Related Items

Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras, OreModules, Grade filtration of linear functional systems., Transforming linear functional systems into fully integrable systems, 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, Serre's reduction of linear functional systems., Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases, Exact linear modeling using Ore algebras, The parametric solution of underdetermined linear ODEs, Factoring and decomposing a class of linear functional systems, Computation of bases of free modules over the Weyl algebras., Effective algorithms for parametrizing linear control systems over Ore algebras, Unnamed Item, AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION, homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA