Abstract
The design, in the frequency domain, of robust feedback systems with bounded control effort can be reduced to quantifier elimination problem. However due to computational complexities, only problems of modest size can be solved. Nevertheless it may be possible to solve some practical problems where no analytic design procedures exist.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
C. Abdallah, P. Dorato, W. Yang, R. Liska, and S. Steinberg, Applications of quantifier elimination theory to control system design, 4th IEEE Mediterranean Symposium on Control & Automation, Chania, Crete, Greece, June 10–14, 1996.
B.D.O. Anderson, N.K. Bose, and E.I. Jury, Output feedback and related problems-Solution via Decision methods, IEEE Trans. on Automatic Control, AC-20, pp.53–65, 1975.
S. Basu, R. Pollack, and M.F. Roy, On the combinatorial and algebraic complexity of quantifier elimination, Proc. 35th Symposium on Foundations of Computer Science, Santa Fe, NM, pp. 632–641, 1994.
G. E. Collins, Quantifier Elimination in the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition, Lecture Notes in Computer Science, Spring Verlag, Berlin, Vol. 33, pp. 134–183, 1975.
G.E. Collins and H. Hong, Partial cylindrical algebraic decomposition for quantifier elimination, J. Symbolic Computation, 12, pp. 299–328, 1991.
P. Dorato, W. Yang, and C. Abdallah, Robust multi-objective feedback design by quantifier elimination, submitted to J. Symbolic Computation, 1996.
G.Fiorio, S. Malan, M.Milanese, and M. Taragna, Robust Performance Design of Fixed Structure Controller with Uncertain Parameters, Proc. 32nd IEEE Conf. on Decision and Control, San Antonio, TX, pp. 3029–3031.
H. Hong, Improvements in CAD-based Quantifier Elimination, Ph.D. Thesis, The Ohio State University, 1990.
H. Hong, Simple Solution Formula Construction in Cylindrical Algebraic Decomposition based Quantifier Elimination, ISSAC'92, International Symposium on Symbolic and Algebraic Computation, July 27–29, Berkeley, California (Editor P.S. Wang), ACM Press, New York, pp. 177–188, 1992.
R. Liska and S. Steinberg, Applying Quantifier Elimination to Stability Analysis of Difference Schemes, The Computer Journal, vol. 36, No. 5, pp. 497–503, 1993.
A. Seidenberg, A New Decision Method for Elementary Algebra, Annals of Math., 60, pp. 365–374, 1954.
M. Jirstrand, Algebraic methods for modeling and design in control, Linköping Studies in Science and Technology, Thesis no. 540, Linköping University, 1996.
V.L. Syrmos, C.T. Abdallah, P.Dorato, and K. Grigoriadis, Static Output Feedback: A Survey, Scheduled for publication in Automatica, Feb., 1997.
A. Tarski, A Decision Method for Elementary Algebra and Geometry, 2nd Ed., Berkeley, University of California Press, 1951.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this chapter
Cite this chapter
Dorato, P., Yang, W., Abdallah, C.T. (1997). Quantifier elimination approach to frequency domain design. In: Tarbouriech, S., Garcia, G. (eds) Control of Uncertain Systems with Bounded Inputs. Lecture Notes in Control and Information Sciences, vol 227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032169
Download citation
DOI: https://doi.org/10.1007/BFb0032169
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76183-9
Online ISBN: 978-3-540-40936-6
eBook Packages: Springer Book Archive