Stabilization of the Belgian chocolate system via low-order controllers

被引:0
|
作者
He Guannan [1 ]
Wang Long [2 ]
Xia Bican [3 ,4 ]
Yu Wensheng [1 ]
机构
[1] Chinese Acad Sci, Inst Automat, Key Lab Complex Syst & Intelligence Sci, Beijing 100080, Peoples R China
[2] Peking Univ, Coll Engn, Ctr Syst & Control, Beijing 100871, Peoples R China
[3] Peking Univ, LMAM, Beijing 100871, Peoples R China
[4] Peking Univ, Sch Math Sci, Beijing 100871, Peoples R China
来源
PROCEEDINGS OF THE 26TH CHINESE CONTROL CONFERENCE, VOL 3 | 2007年
关键词
stabilization; bistable stabilization; low-order controller; Belgian chocolate problem; inequality-type theorem; automated theorem proving;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper considers the challenging Belgian chocolate stabilization problem posed by V.Blondel. Based on the recent development in automated inequality-type theorem proving, the exact upper bounds for delta which guarantee the existence of bistable stabilizers with order no more than four have been determined. By a suitable perturbation of the obtained stabilizable conditions, a numerical example of fourth-order controller is found, which improves the maximal value of delta proposed in the literature.
引用
收藏
页码:88 / +
页数:2
相关论文
共 20 条