This paper shows how certain robust multi-objective feedback design problems can be reduced to quantifier elimination (QE) problems. In particular it is shown how robust stabilization and robust frequency domain performance specifications can be reduced to systems of polynomial inequalities with sui
Robust nonlinear feedback design via quantifier elimination theory
β Scribed by Peter Dorato; Domenico Famularo; Chaouki T. Abdallah; Wey Yang
- Publisher
- John Wiley and Sons
- Year
- 1999
- Tongue
- English
- Weight
- 82 KB
- Volume
- 9
- Category
- Article
- ISSN
- 1049-8923
No coin nor oath required. For personal study only.
β¦ Synopsis
In this note symbolic-computation methods are used to design simple, "xed-structure, robust controllers for nonlinear systems. Design speci"cations are reduced to logically quanti"ed polynomial inequalities. The quanti"er-elimination (QE) software package QEPCAD is used to eliminate quanti"ers on state and plant parameters, to obtain regions of admissible controllers parameters, that guarantee robust stability and performance.
π SIMILAR VOLUMES
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 an
This paper deals with the problem of finite-time-horizon robust H control via measurement feedback, for affine nonlinear systems with nonlinear time-varying parameter uncertainty. The problem addressed is the design of a control law, which processes the measured output and guarantees a prescribed le
This paper deals with load-frequency control of a multi-area power installation. The robust control theory is utilized to decouple the areas for a decentralized robust load-frequency controller. The proposed controller ensures that the overall multi-area power system is asymptotically stable. A new