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 条
  • [1] Robust nonlinear feedback design via quantifier elimination theory
    Dorato, P
    Famularo, D
    Abdallah, CT
    Yang, W
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 1999, 9 (11) : 817 - 822
  • [2] Robust multiobjective feedback design via combined quantifier elimination and discretization
    Yang, W
    Dorato, P
    Abdallah, CT
    PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 1843 - 1847
  • [3] Robust multi-objective feedback design by quantifier elimination
    Dorato, P
    Yang, W
    Abdallah, C
    JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (02) : 153 - 159
  • [4] Nonlinear control system design by quantifier elimination
    Jirstrand, M
    JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (02) : 137 - 152
  • [5] Parametric Mechanism Design via Quantifier Elimination
    Iwasaki, Atsushi
    Fujita, Etsushi
    Todo, Taiki
    Iwane, Hidenao
    Anai, Hirokazu
    Guo, Mingyu
    Yokoo, Makoto
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1885 - 1886
  • [6] On the Eigenvalue Placement by Static Output Feedback via Quantifier Elimination
    Roebenack, Klaus
    Vosswinkel, Rick
    Franke, Matthias
    2018 26TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2018, : 133 - 138
  • [7] Linear programming approach to robust controller design by a quantifier elimination
    Anai, H
    Hara, S
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 656 - 661
  • [8] Robust static output feedback controller LMI based design via elimination
    Vesely, Vojtech
    Rosinova, Danica
    Kucera, Vladimir
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2011, 348 (09): : 2468 - 2479
  • [9] Quantifier elimination in elementary set theory
    Orlowska, Ewa
    Szalas, Andrzej
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 237 - 248
  • [10] Quantifier Elimination via Functional Composition
    Jiang, Jie-Hong R.
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 383 - 397
12345