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
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;
Conference_Titel :
SICE Annual Conference (SICE), 2011 Proceedings of
Conference_Location :
Tokyo
Print_ISBN :
978-1-4577-0714-8
