Section: Overall Objectives
A rich interplay between computer algebra and control theory
A major source of motivation for the development of the effective study of algebraic theories is represented by control theory issues. Indeed, certain problems studied in control theory can be better understood and finely studied by means of algebraic or geometric structures and techniques. The rich interplay between algebra, computer algebra, and control theory has a long history.
The first main paper on Gröbner bases  written by their creators, Buchberger, was published in Bose's book  on control theory of multidimensional systems since they play a fundamental role in this theory. They were the first main applications of Gröbner bases outside the field of algebraic geometry and they still play a fundamental role in multidimensional systems theory .
The differential algebra approach to nonlinear control theory , , ,  was a major motivation for the effective study of differential algebra ,  (differential elimination theory, triangular sets, regular chains, etc.) , ,  and its implementations in Maple . Within this effective differential algebra approach to nonlinear control systems, observability, identifiability, parameter estimation, invertibility, differential flatness, etc., have received appealing and checkable algebraic characterizations.
Linear control theory  and multidimensional systems theory ,  have recently been profoundly developed due to the so-called behavior approach ,  and the module approach , . Based on ideas of algebraic analysis , system properties of those systems (e.g. controllability, parametrizability, differential flatness) are intrinsically characterized by means of properties of certain algebraic structures (namely finitely presented left modules over noncommutative polynomial rings of functional operators). To effectively check the latter properties, the development of effective versions of two important algebraic theories, namely module theory  and homological algebra , had to be iniated based on functional elimination techniques (i.e. Gröbner or Janet basis techniques for noncommutative polynomial rings) ,  (see also ). Dedicated packages, written in Maple , Mathematica and GAP , are now available.
The GAIA team wants to further develop its expertise in this direction by considering new classes of functional systems (e.g. differential varying/distributed delay systems, ordinary integro-differential systems) interesting in control theory and in signal processing.