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 条
  • [11] Determining Passivity via Quantifier Elimination
    Vosswinkel, Rick
    Mihailescu-Stoica, Dinu
    Schroedel, Frank
    Roebenack, Klaus
    2019 27TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2019, : 13 - 18
  • [12] Quantifier Elimination via Clause Redundancy
    Goldberg, Eugene
    Manolios, Panagiotis
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 85 - 92
  • [13] Stabilization by Static Output Feedback: A Quantifier Elimination Approach
    Roebenack, Klaus
    Vosswinkel, Rick
    Franke, Mirko
    Franke, Matthias
    2018 22ND INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2018, : 715 - 721
  • [14] Recursive scaling design for robust global nonlinear stabilization via output feedback
    Ito, H
    Krstic, M
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2000, 10 (10) : 821 - 848
  • [15] Robust feedback design for nonlinear systems: a survey
    Isidori, Alberto
    TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2010, 18 (05) : 693 - 714
  • [16] ROBUST CONTROLLER-DESIGN FOR UNCERTAIN NONLINEAR-SYSTEMS VIA FEEDBACK LINEARIZATION
    CHOU, YS
    WU, W
    CHEMICAL ENGINEERING SCIENCE, 1995, 50 (09) : 1429 - 1439
  • [17] Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem
    Roebenack, Klaus
    Vosswinkel, Rick
    ACTA CYBERNETICA, 2020, 24 (03): : 409 - 427
  • [18] Robust performance and structured singular value computation by quantifier elimination
    Bamieh, BM
    PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 3972 - 3973
  • [19] ELIMINATION OF QUANTIFIER QALPHA IN THEORY OF ABELIAN-GROUPS
    BAUDISCH, A
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1976, 24 (08): : 543 - 549
  • [20] A quantifier elimination for the theory of p-adic numbers
    L. Egidi
    computational complexity, 1998, 7 : 205 - 263
12345