Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1006/jsco.1997.0120 | J. Symb. Comput. |
Keywords | DocType | Volume |
quantifier elimination,robust multi-objective feedback design | Journal | 24 |
Issue | ISSN | Citations |
2 | Journal of Symbolic Computation | 40 |
PageRank | References | Authors |
2.80 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Dorato | 1 | 165 | 19.52 |
Wei Yang | 2 | 40 | 2.80 |
Chaouki Abdallah | 3 | 42 | 3.87 |