Computing effectively stabilizing controllers for a class of nD systems

In this paper, we study the internal stabilizability and internal stabilization problems for multidimensional (nD) systems. Within the fractional representation approach, a multidimensional system can be studied by means of matrices with entries in the integral domain of structurally stable rational fractions, namely the ring of rational functions which have no poles in the closed unit polydisc (U) over bar (n) = {z = (z(1), ... , z(n)) is an element of C-n vertical bar vertical bar z(1)vertical bar <= 1, ... ,vertical bar z(n)vertical bar <= 1}. It is known that the internal stabilizability of a multidimensional system can be investigated by studying a certain polynomial ideal I = < p(1), ... , p(r)> that can be explicitly described in terms of the transfer matrix of the plant. More precisely the system is stabilizable if and only if V(I) = {z is an element of C-n vertical bar p(1)(z) = ... = p(r)(z) = 0} boolean AND (U) over bar (n) = empty set. In the present article, we consider the specific class of linear nD systems (which includes the class of 2D systems) for which the ideal I is zero-dimensional, i.e., the p(i)'s have only a finite number of common complex zeros. We propose effective symbolic-numeric algorithms for testing if V(I) boolean AND (U) over bar (n) = empty set, as well as for computing, if it exists, a stable polynomial p is an element of I which allows the effective computation of a stabilizing controller. We finally illustrate our algorithms on an example. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.