Robust nonlinear feedback design via quantifier elimination theory

被引：0

作者：

Dorato, P ^{[1
]}

Yang, W ^{[1
]}

Famularo, D ^{[1
]}

机构：

[1] Univ New Mexico, Dept Elect & Comp Engn, Albuquerque, NM 87131 USA

来源：

ROBUST CONTROL DESIGN (ROCODN'97): A PROCEEDINGS VOLUME FROM THE IFAC SYMPOSIUM | 1997年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper symbolic-computation methods are used to design simple fixed-structure robust controller 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 controller parameters, that guarantee robust stability and performance.

引用

页码：51 / 54

页数：4

共 50 条

[21] COMPLEXITY OF QUANTIFIER ELIMINATION IN THE THEORY OF ALGEBRAICALLY CLOSED FIELDS
CHISTOV, AL
GRIGOREV, DY
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 176 : 17 - 31
[22] A quantifier elimination for the theory of p-adic numbers
Egidi, L
COMPUTATIONAL COMPLEXITY, 1998, 7 (03) : 205 - 263
[23] Quantifier elimination theory and maps which preserve semipositivity
Grzegorz Pastuszak
Adam Skowyrski
Andrzej Jamiołkowski
Quantum Information Processing, 2021, 20
[24] Weak quantifier elimination for the full linear theory of the integers
Lasaruk, Aless
Sturm, Thomas
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2007, 18 (06) : 545 - 574
[25] Quantifier elimination theory and maps which preserve semipositivity
Pastuszak, Grzegorz
Skowyrski, Adam
Jamiolkowski, Andrzej
QUANTUM INFORMATION PROCESSING, 2021, 20 (03)
[26] ROBUST CONTROLLER DESIGN FOR POLYTOPIC SYSTEMS VIA ROBUST ELIMINATION LEMMA
Vesely, Vojtech
Rosinova, Danica
Kucera, Vladimir
JOURNAL OF ELECTRICAL ENGINEERING-ELEKTROTECHNICKY CASOPIS, 2009, 60 (01): : 34 - 38
[27] Robust controller design for nonlinear twin rotor control system using quantitative feedback theory
Sharma, Jitendra
Pratap, Bhanu
INTERNATIONAL JOURNAL OF AUTOMATION AND CONTROL, 2020, 14 (03) : 355 - 376
[28] Robust Control Design for Nonlinear Magnetic Levitation System using Quantitative Feedback Theory (QFT)
Nataraj, P. S. V.
Patil, Mukesh D.
PROCEEDINGS OF THE INDICON 2008 IEEEE CONFERENCE & EXHIBITION ON CONTROL, COMMUNICATIONS AND AUTOMATION, VOL II, 2008, : 365 - 370
[29] Robust output feedback stabilization and nonlinear observer design
Karafyllis, I
Kravaris, C
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 5847 - 5852
[30] Robust output feedback stabilization and nonlinear observer design
Karafyllis, I
Kravaris, C
SYSTEMS & CONTROL LETTERS, 2005, 54 (10) : 925 - 938

← 1 2 3 4 5 →