Linear programming approach to robust controller design by a quantifier elimination

被引：0

作者：

Anai, H ^{[1
]}

Hara, S ^{[1
]}

机构：

[1] Fujitsu Labs Ltd, Nakahara Ku, Kawasaki, Kanagawa 2118588, Japan

来源：

SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5 | 2002年

关键词：

a parameter space design; pole assignment; reasonable relaxation of specifications; linear programming; quantifier elimination; virtual substitution;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper we present a systematic method to obtain all feasible relaxations of a given design specification for robust controller synthesis problems by using quantifier elimination (QE) and, in particular, we apply it to robust pole assignment problems. Our method consists of the problem reduction to an LP problem and usage of a suitable special QE algorithm based on virtual substitution. The validity of the approach is demonstrated by some concrete computational examples.

引用

页码：656 / 661

页数：6

共 50 条

[21] Linear controller design by goal programming
Lordelo, ADS
Ferreira, PAV
[J]. 2002 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER AIDED CONTROL SYSTEM DESIGN PROCEEDINGS, 2002, : 145 - 150
[22] Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
Pang, Y.
Spathopoulos, M. P.
Xia, Hao
[J]. INTERNATIONAL JOURNAL OF CONTROL, 2007, 80 (05) : 731 - 748
[23] DESIGN OF A LINEAR CONTROLLER FOR ROBUST TRACKING
CHOU, YS
KING, CY
[J]. JOURNAL OF THE CHINESE INSTITUTE OF CHEMICAL ENGINEERS, 1994, 25 (05): : 263 - 270
[24] Robust controller design by linear programming with application to a double-axis positioning system
Karimi, Alireza
Kunze, Marc
Longchamp, Roland
[J]. CONTROL ENGINEERING PRACTICE, 2007, 15 (02) : 197 - 208
[25] A Linear Programming Approach to Design Online Triggering Mechanisms for Robust MPC
Kolarijani, A. Sharifi
Bregman, S. C.
Esfahani, P. Mohajerin
Keviczky, T.
[J]. 2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 698 - 703
[26] ROBUST CONTROLLER DESIGN FOR POLYTOPIC SYSTEMS VIA ROBUST ELIMINATION LEMMA
Vesely, Vojtech
Rosinova, Danica
Kucera, Vladimir
[J]. JOURNAL OF ELECTRICAL ENGINEERING-ELEKTROTECHNICKY CASOPIS, 2009, 60 (01): : 34 - 38
[27] Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination
Anai, H
Hara, S
[J]. PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 1312 - 1316
[28] ON THE COMPLEXITY OF QUANTIFIER ELIMINATION - THE STRUCTURAL APPROACH
CUCKER, F
[J]. COMPUTER JOURNAL, 1993, 36 (05): : 400 - 408
[29] Linear Quantifier Elimination as an Abstract Decision Procedure
Bjorner, Nikolaj
[J]. AUTOMATED REASONING, 2010, 6173 : 316 - 330
[30] A Quantifier Elimination Algorithm for Linear Real Arithmetic
Monniaux, David
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2008, 5330 : 243 - 257

← 1 2 3 4 5 →