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 OREALGEBRAIC-ANALYSIS, based on the Mathematica package HOLONOMICFUNCTIONS, is demonstrated.