A Control Lyapunov Function Approach Using Quantifier Elimination

被引：0
|
作者：
Vosswinkel, Rick [1 ]
Roebenack, Klaus [1 ]
机构：
[1] Tech Univ Dresden, Inst Control Theory, Dresden, Germany
来源：
2019 23RD INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC) | 2019年
关键词：
control Lyapunov functions; quantifier elimination; rational recast; UNIVERSAL CONSTRUCTION;
D O I：
10.1109/icstcc.2019.8885848
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper deals with the determination of feedback laws, which stabilize the investigated system or create an input-to-stable (ISS) closed-loop system, respectively. For that purposes control Lyapunov functions (CLF) and an extension for ISS are considered. Those are generally not constructive in that way, that there exist criteria to test a given function for being a CLF, but the concrete computation of a proper CLF is a non-trivial task. Thus, quantifier elimination techniques are used. This enables the consideration of a whole family of functions instead of a single function.
引用
收藏
页码：186 / 191
页数：6
相关论文
共 50 条
  • [1] Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
    Pang, Y.
    Spathopoulos, M. P.
    Xia, Hao
    INTERNATIONAL JOURNAL OF CONTROL, 2007, 80 (05) : 731 - 748
  • [2] ON THE COMPLEXITY OF QUANTIFIER ELIMINATION - THE STRUCTURAL APPROACH
    CUCKER, F
    COMPUTER JOURNAL, 1993, 36 (05): : 400 - 408
  • [3] Integral Control Design using the Implicit Lyapunov Function Approach
    Mercado-Uribe, Angel
    Moreno, Jaime A.
    Polyakov, Andrey
    Efimov, Denis
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 3316 - 3321
  • [4] Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination
    Gerwien M.
    Voßwinkel R.
    Richter H.
    SN Computer Science, 2021, 2 (2)
  • [5] TRANSFER FUNCTION SYNTHESIS WITHOUT QUANTIFIER ELIMINATION
    Brauer, Joerg
    King, Andy
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [6] Transfer Function Synthesis without Quantifier Elimination
    Brauer, Joerg
    King, Andy
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 97 - +
  • [7] A Poly-algorithmic Approach to Quantifier Elimination
    Davenport, James H.
    Tonks, Zak P.
    Uncu, Ali K.
    2023 25TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, SYNASC 2023, 2023, : 44 - 51
  • [8] Nonlinear control system design by quantifier elimination
    Jirstrand, M
    JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (02) : 137 - 152
  • [9] A control Lyapunov function approach to multiagent coordination
    Ögren, P
    Egerstedt, M
    Hu, XM
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (05): : 847 - 851
  • [10] A Direct Quantifier Elimination Approach for Offline Multi-rate Predictive Control with Constraints
    Tange, Y.
    Kiryu, S.
    Matsui, T.
    2014 22ND MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2014, : 390 - 395
12345