ALGEBRAIC METHOD OF FEEDBACK STABILIZATION FOR n-D CONTROL SYSTEMS AND ITS IMPLEMENTATION VIA MATHEMATIC MECHANIZATION
SISO多维控制系统的反馈镇定性及算法的数学机械化实现

In this paper, the feedback stabilization problem is discussed from the viewpoint of algebraic aspects. On the basis of the ideal and variety theory in algebra, the condition of feedback stabilization for a 1-D system or an n-D system is given. A constructive (mathematic- mechanization) method for obtaining the feedback controller and deciding whether a variety intersects an algebraic convex or not is also provided.