Quantified Multivariate Polynomial Inequalities: The Mathematics of Practical Control Design Problems

IEEE Control Systems

Volumn 20, Issue 5, 2000, Pages 48-58

  Dorato, Peter ^a  

^a University of New Mexico   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; CLOSED LOOP CONTROL SYSTEMS; COMPUTATIONAL COMPLEXITY; LAPLACE TRANSFORMS; MATHEMATICAL OPERATORS; MONTE CARLO METHODS; POLYNOMIALS; PROBABILITY; ROBUSTNESS (CONTROL SYSTEMS); SYSTEM STABILITY; TRANSFER FUNCTIONS; VECTORS;

BERNSTEIN BRANCH AND BOUND METHOD; MULTIVARIATE POLYNOMIAL INEQUALITIES; SYMBOLIC QUANTIFIER ELIMINATION METHOD;

CONTROL SYSTEM SYNTHESIS;

EID: 0034301279     PISSN: 1066033X     EISSN: None     Source Type: Journal    
DOI: 10.1109/37.872903     Document Type: Article

References (32)

1. V.D. Blondel and J.N.Tsitsiklis, “NP-hardness of some linear control design problems,” SIAM J. Contr. Optim., vol. 35, pp. 2118-2127, 1997.
2. P. Dorato, C.T. Abdallah, and V. Cerone, Linear Quadratic Control: An Introduction. Melbourne, FL: Krieger, 2000.
3. P. Dorato, Analytic Feedback Design: An Interpolation Approach. Pacific Grove, CA: Brooks/Cole, 2000.
4. N.K. Bose, Applied Multidimensional System Theory. New York: Van Nostrand, 1982.
5. G.C. Newton, Jr., L.A. Gould, and J.F. Kaiser, Analytic Design of Linear Feedback Controls. New York: Wiley, 1957.
6. E.A. Guillemin, Synthesis of Passive Networks. New York: Wiley, 1957.
7. P. Dorato, C.T. Abdallah, and D. Famularo, “On the design of non-fragile compensators via symbolic quantifier elimination,” in Proc. World Automation Cong., Anchorage, AK, May 9-14, 1998, pp. 363-368.
8. M. Jirstand, Constructive Methods for Inequality Constraints in Control, Linkoping Studies in Science and Technology, Dissertations, no. 527, Linkoping University, 1998.
9. G.E. Collins, “Quantifier elimination in the elementary theory of real closed fields by cylindrical algebraic decomposition,” in Lecture Notes in Computer Science, vol. 33. Berlin: Springer-Verlag, 1975, pp. 134-183.
10. G.E. Collins and H. Hong, “Partial cylindrical algebraic decomposition for quantifier elimination,” J. Symbolic Comput., vol. 12, pp. 299-328, 1991.
11. B.D.O. Anderson, N.K. Bose, and E.I. Jury, “Output feedback stabilization and related problems-solution via decision methods,” IEEE Trans. Automat. Contr., vol. AC-20, pp. 53-66, 1975.
12. P. Dorato, W. Yang, and C. Abdallah, “Robust multi-objective feedback design by quantifier elimination,” J. Symbolic Comput., vol. 24, pp. 153-159, 1997.
13. B.F. Caviness and J.R. Johnson, Eds., Quantifier Elimination and Cylindrical Algebraic Decomposition. Berlin: Springer-Verlag, 1998.
14. D. Nesic and I.M.Y. Mareels, “Dead beat controllability of polynomial systems: Symbolic computation approaches,” IEEE Trans. Automat. Contr., vol. 43, pp. 162-175, Feb. 1998.
15. P. Dorato, W. Yang, and D. Famularo, “Robust nonlinear feedback design via quantifier elimination theory,” in Proc. 2nd IFAC Symp. Robust Control Design, Budapest, Hungary, June 25-27, 1997, pp. 55-58.
16. S.T. Glad and M. Jirstrand, “Using differential and real algebra in control,” in Symbolic Methods in Control Systems Analysis and Design, N. Munro, Ed. London: IEE, 1999, chap. 5.
17. G. Garloff, “Convergent bounds for the range of multivariate polynomials,” in Interval Mathematics 1985 (Lecture Notes in Computer Science, vol. 212), K. Nickel, Ed. Berlin: Springer-Verlag, 1986.
18. S. Malan, M. Milanese, and M. Taragna, “Robust analysis and design of control systems using interval arithmetic,” Automatica, vol. 33, pp. 1364-1372, 1997.
19. V. Balakrishnan and S. Boyd, “Global optimization in control system analysis and design,” in Control and Dynamic Systems, C.T. Leondes, Ed. New York: Academic, 1992, pp. 1-55.
20. S. Malan, M. Milanese, M. Taragna, and J. Garloff, “B3 algorithm for robust performance analysis in presence of mixed parametric and dynamic perturbations,” in Proc. 31st IEEE Conf. Decision and Control, Tucson, AZ, 1992, pp. 128-133.
21. M. Zettler and J. Garloff, “Robustness analysis of polynomial parameter dependency using Bernstein expansion,” IEEE Trans. Automat. Contr., vol. 43, pp. 425-431, 1998.
22. A. Vicino, A. Tesi, and M. Milanese, “Computation of nonconservative stability perturbation bounds for systems with nonlinearly correlated uncertainties,” IEEE Trans. Automat. Contr., vol. 35, pp. 835-841, 1990.
23. L. Jaulin and J. Burger, “Proving set inclusion via intervals: Application to parametric robust stability,” Automatica, vol. 35, pp. 627-632, 1999.
24. J. Garloff and B. Graf, “Solving strict polynomial inequalities by Bernstein expansion,” in Symbolic Methods in Control System Analysis and Design, N. Munro, Ed. London: IEE, 1999, chap. 14.
25. M. Vidyasagar, “Statistical learning theory and its applications to randomized algorithms for robust controller synthesis,” in Plenary Lectures and Mini-Courses, ECC97, G. Bastin and M. Gevers, Eds., 1997, pp. 161-189.
26. M. Vidyasagar, A Theory of Learning and Generalization: With Applications to Neural Networks and Control Systems. Berlin: Springer-Verlag, 1997.
27. M. Vidyasagar, “Statistical learning and randomized algorithms for control,” IEEE Control Systems Mag., vol. 18, pp. 69-85, 1998.
28. R.Y. Rubinstein, Simulation and the Monte Carlo Method. New York:Wiley, 1981.
29. V. Koltchinskii, M. Ariola, C.T. Abdallah, and P. Dorato, “Statistical controller design for the linear benchmark problem,” in Proc. 38th IEEE Conf. Decision and Control, Phoenix, AZ, Dec. 7-10, 1999, pp. 507-509.
30. L.R. Ray and R.F. Stengel, “Monte Carlo approach to the analysis of control system robustness,” Automatica, vol. 29, pp. 229-236, 1993.
31. R. Tempo, E.W. Bai, and F. Dabbene, “Probabilistic robustness analysis: Explicit bounds for the minimum number of samples,” Syst. Contr. Lett., vol. 30, pp. 237-242, 1997.
32. E. Mishkin and L. Braun, Jr., Adaptive Control Systems. New York: McGraw-Hill, 1961.