DocumentCode
2034357
Title
Automatic method of finding tolerance for verified LQ control method based on verified numerical computation
Author
Yano, Kentaro ; Koga, Masanobu
Author_Institution
Dept. of Inf. & Multimedia Technol., Fukuoka Inst. of Technol. Junior Coll., Fukuoka, Japan
fYear
2011
fDate
13-18 Sept. 2011
Firstpage
1740
Lastpage
1743
Abstract
This paper proposed validated control system design method based on verified numerical computation. The proposed method designs and validates a controller using verified numerical computation. We also proposed a method to find the smallest tolerance automatically. And, this paper applied a proposed method to LQ control problem.
Keywords
control system synthesis; linear quadratic control; numerical analysis; automatic tolerance finding method; control system design method; verified LQ control method; verified numerical computation; Design of control system; LQ control problem; Multiple-precision arithmetic; Verified numerical computation;
fLanguage
English
Publisher
ieee
Conference_Titel
SICE Annual Conference (SICE), 2011 Proceedings of
Conference_Location
Tokyo
ISSN
pending
Print_ISBN
978-1-4577-0714-8
Type
conf
Filename
6060247
Link To Document