Robust Multi-Objective Feedback Design by Quantifier Elimination
Robust Multi-Objective Feedback Design by Quantifier Elimination
复制标题
DOI：
10.1006/jsco.1997.0120
复制
发表时间：
1997-08
期刊：
影响因子：
--
通讯作者：
P. Dorato;Wei Yang;C. Abdallah
中科院分区：
文献类型：
--
作者：
P. Dorato;Wei Yang;C. Abdallah
本文讨论了如何将某些鲁棒多目标反馈设计问题归结为量词消除问题。特别是，证明了如何将鲁棒镇定和鲁棒频域性能指标归结为具有适当逻辑量词的多项式不等式系统。然后呢？由于计算的复杂性，QE方法所能解决的问题规模有限。然而，这里考虑的设计问题没有解析解，因此即使是中等规模问题的解决方案也可能具有实际意义。
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 haveanalyticalsolutions, so that even the solution of modest-sized problems may be of practical interest.