𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Robust nonlinear feedback design via qua
✍ Peter Dorato; Domenico Famularo; Chaouki T. Abdallah; Wey Yang πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 82 KB

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

Nonlinear Control System Design by Quant
✍ MATS JIRSTRAND πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 429 KB

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

A new decentralized robust controller de
✍ Kia Yong Lim; Youyi Wang; Guoxiao Guo; Rujing Zhou πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 165 KB

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