Solution of control engineering problems by means of quantifier elimination

被引：10
|
作者：
Roebenack, Klaus [1 ]
Vosswinkel, Rick [2 ]
机构：
[1] Tech Univ Dresden, Fak Elektrotech & Informat Tech, Inst Regelungs & Steuerungstheorie, D-01062 Dresden, Germany
[2] IAV GmbH, Entwicklungszentrum Chemnitz Stollberg, D-09120 Chemnitz, Germany
来源：
AT-AUTOMATISIERUNGSTECHNIK | 2019年 / 67卷 / 09期
关键词：
quantifier elimination; decision problems; output feedback control; Lyapunov methods; observability; CYLINDRICAL ALGEBRAIC DECOMPOSITION; STATIC OUTPUT-FEEDBACK; POLYNOMIAL SYSTEMS; POLE ASSIGNMENT; OBSERVABILITY; CONTROLLABILITY; REAL; STABILIZATION; COMPUTATION;
D O I：
10.1515/auto-2019-0045
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Numerous design and analysis questions relevant to control engineering can be formulated as decision problems and described by quantified expressions. In order to be able to use these formulations for the respective control task, methods of quantifier elimination are used. This is a concept derived from model theory to convert quantified expressions into quantifier-free equivalents. In this paper, this approach is applied to a number of questions and discussed using various examples.
引用
收藏
页码：714 / 726
页数：13
相关论文
共 50 条
12345