Nonlinear Control System Design by Quantifier Elimination

Many problems in control theory can be formulated as formulae in the first-order theory of real closed fields. In this paper we investigate some of the expressive power of this theory. We consider dynamical systems described by polynomial differential equations subjected to constraints on control and system variables and show how to formulate questions in the above framework which can be answered by quantifier elimination. The problems treated in this paper regard stationarity, stability, and following of a polynomially parametrized curve. The software package QEPCAD has been used to solve a number of examples.

[1]  George E. Collins,et al.  Partial Cylindrical Algebraic Decomposition for Quantifier Elimination , 1991, J. Symb. Comput..

[2]  Frank L. Lewis,et al.  Aircraft Control and Simulation , 1992 .

[3]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[4]  John E. Dennis,et al.  Numerical methods for unconstrained optimization and nonlinear equations , 1983, Prentice Hall series in computational mathematics.

[5]  J. Meditch,et al.  Applied optimal control , 1972, IEEE Transactions on Automatic Control.

[6]  Hoon Hong,et al.  Improvements in cad-based quantifier elimination , 1990 .

[7]  Lennart Ljung,et al.  Modeling Of Dynamic Systems , 1994 .

[8]  Hoon Hong,et al.  Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination , 1992, ISSAC '92.

[9]  S. R. Czapor,et al.  Computer Algebra , 1983, Computing Supplementa.

[10]  Dirk van Dalen,et al.  Logic and structure , 1980 .

[11]  Torkel Glad.  An Algebraic Approach to Bang-Bang Control , 1994 .

[12]  Maciejowsk.  Multivariable Feedback Design , 1989 .

[13]  J. Tsitsiklis,et al.  NP-hardness of some linear control design problems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[14]  Michael F. Singer,et al.  A differentially algebraic elimination theorem with application to analog computability in the calculus of variations , 1985 .

[15]  M. Jirstrand.  Algebraic Methods for Modeling and Design in Control , 1996 .

[16]  P. Lindskog.  Methods, Algorithms and Tools for System Identification Based on Prior Knowledge , 1996 .

[17]  B. Anderson,et al.  Output feedback stabilization and related problems-solution via decision methods , 1975 .

[18]  A. Fuller,et al.  Stability of Motion , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[19]  Bud Mishra,et al.  Algorithmic Algebra , 1993, Texts and Monographs in Computer Science.

[20]  S. Torkel Glad.  Robustness of nonlinear state feedback - A survey , 1987, Autom..

[21]  J. Risler,et al.  Real algebraic and semi-algebraic sets , 1990 .

[22]  Dennis S. Arnon,et al.  A Bibliography of Quantifier Elimination for Real Closed Fields , 1988, J. Symb. Comput..

[23]  Torkel Glad,et al.  Computational Questions of Equilibrium Calculation with Application to Nonlinear Aircraft Dynamics , 1997 .

[24]  George E. Collins,et al.  Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975, Automata Theory and Formal Languages.

[25]  Donal O'Shea,et al.  Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.

[26]  James H. Davenport,et al.  Computer Algebra: Systems and Algorithms for Algebraic Computation , 1988 .

[27]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[28]  Chaouki T. Abdallah,et al.  Static output feedback: a survey , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[29]  M-F Roy,et al.  Géométrie algébrique réelle , 1987 .