Algebraic design techniques for reliable stabilization

In this paper we study two problems in feedback stabilization. The first is the simultaneous stabilization problem, which can be stated as follows. Given plants , does there exist a single compensator that stabilizes all of them? The second is that of stabilization by a stable compensator, or more generally, a "least unstable" compensator. Given a plant , we would like to know whether or not there exists a stable compensator that stabilizes ; if not, what is the smallest number of right half-place poles (counted according to their McMillan degree) that any stabilizing compensator must have? We show that the two problems are equivalent in the following sense. The problem of simultaneously stabilizing plants can be reduced to the problem of simultaneously stabilizing plants using a stable compensator, which in turn can be stated as the following purely algebraic problem. Given matrices , where are right-coprime for all , does there exist a matrix such that , is unimodular for all Conversely, the problem of simultaneously stabilizing plants using a stable compensator can be formulated as one of simultaneously stabilizing plants. The problem of determining whether or not there exists an such that is unimodular, given a right-coprime pair ( ), turns out to be a special case of a question concerning a matrix division algorithm in a proper Euclidean domain. We give an answer to this question, and we believe this result might be of some independent interest. We show that, given two plants we can generically stabilize them simultaneously provided either or is greater than one. In contrast, simultaneous stabilizability, of two single-input-single-output plants, g0and g1, is not generic.