Effective algebraic analysis approach to linear systems over Ore algebras

Abstract : The purpose of this paper is to present a survey on the effective algebraic analysis approach to linear systems theory with applications to control theory and mathematical physics. In particular, we show how the combination of effective methods of computer algebra - based on Gröbner basis techniques over a class of noncommutative polynomial rings of functional operators called Ore algebras - and constructive aspects of module theory and homological algebra enables the characterization of structural properties of linear functional systems. Algorithms are given and a dedicated implementation, called OreAlgebraicAnalysis, based on the Mathematica package HolonomicFunctions, is demonstrated.
Complete list of metadatas

Cited literature [55 references]  Display  Hide  Download

https://hal.inria.fr/hal-01413591
Contributor : Alban Quadrat <>
Submitted on : Saturday, December 10, 2016 - 12:34:59 AM
Last modification on : Friday, March 22, 2019 - 1:35:05 AM
Long-term archiving on: Monday, March 27, 2017 - 3:22:47 PM

File

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

Identifiers

  • HAL Id : hal-01413591, version 1

Citation

Thomas Cluzeau, Christoph Koutschan, Alban Quadrat, Maris Tõnso. Effective algebraic analysis approach to linear systems over Ore algebras. [Research Report] RR-8999, Inria Lille - Nord Europe; University of Limoges, France; RICAM, Austrian Academy of Sciences; Institute of Cybernetics, Tallinn University of Technology. 2016, pp.42. ⟨hal-01413591⟩

Share

Metrics

Record views

427

Files downloads

145