Robust nonlinear feedback design via quantifier elimination theory

Citation
P. Dorato et al., Robust nonlinear feedback design via quantifier elimination theory, INT J ROBUS, 9(11), 1999, pp. 817-822
Citations number
17
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
ISSN journal
10498923 → ACNP
Volume
9
Issue
11
Year of publication
1999
Pages
817 - 822
Database
ISI
SICI code
1049-8923(199909)9:11<817:RNFDVQ>2.0.ZU;2-Y
Abstract
In this note symbolic-computation methods are used to design simple, fixed- structure, robust controllers for nonlinear systems. Design specifications are reduced to logically quantified polynomial inequalities: The quantifier -elimination (QE) software package QEPCAD is used to eliminate quantifiers on state and plant parameters, to obtain regions of admissible controllers parameters, that guarantee robust stability and performance. Copyright (C) 1999 John Wiley & Sons, Ltd.