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 st
Robust Multi-Objective Feedback Design by Quantifier Elimination
β Scribed by PETER DORATO; WEI YANG; CHAOUKI ABDALLAH
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 293 KB
- Volume
- 24
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
β¦ Synopsis
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 suitable logic quantifiers, β and β. Because of computational complexity the size of problems that can solved by QE methods is limited. However, the design problems considered here do not have analytical solutions, so that even the solution of modest-sized problems may be of practical interest.
π 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 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