A parameter space approach to fixed-order robust controller synthesis by quantifier elimination

被引：14

作者：

Anai, H.

Hara, S.

机构：

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

[2] Univ Tokyo, Dept Informat Phys & Comp, Tokyo, Japan

来源：

INTERNATIONAL JOURNAL OF CONTROL | 2006年 / 79卷 / 11期

基金：

日本科学技术振兴机构;

关键词：

D O I：

10.1080/00207170600726550

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper proposes a new method of parameter space design for robust control synthesis which guarantees the real stability radius constraint, accomplished by using Quanti. er Elimination (QE). We aim at practicality by employing the scheme to combine the Sign Definite Condition (SDC) and a special QE algorithm using the Sturm-Habicht sequence. The validity of our approach is confirmed by several design examples.

引用

页码：1321 / 1330

页数：10

共 15 条

[1]

Anai H., 2004, Proceedings of the 2004 IEEE International Conference on Control Applications (IEEE Cat. No.04CH37596), P1540

[2]

Anai H, 2000, P AMER CONTR CONF, P1312, DOI 10.1109/ACC.2000.876713

[3]

ANAI H, 2003, P INT WORKSH COMP AL, P828

[4]

Bhattacharyya S., 1995, ROBUST CONTROL PARAM

[5] PARTIAL CYLINDRICAL ALGEBRAIC DECOMPOSITION FOR QUANTIFIER ELIMINATION [J].

COLLINS, GE ;

HONG, H .

JOURNAL OF SYMBOLIC COMPUTATION, 1991, 12 (03) :299-328

[6] Robust multi-objective feedback design by quantifier elimination [J].

Dorato, P ;

Yang, W ;

Abdallah, C .

JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (02) :153-159

[7]

Gonzalez L., 1989, Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, P136, DOI 10.1145/74540.74558

[8]

Gonzalez-Vega L., 1998, QUANTIFIER ELIMINATI, P300

[9]

GONZALEZVEGA JL, 1998, QUANTIFIER ELIMINATI, P365

[10]

Hitz M. A., 1998, ISSAC 98. Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, P236, DOI 10.1145/281508.281624

← 1 2 →