期刊论文详细信息
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 卷:313
Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
Article
Haqiri, Tayyebe1,2  Poloni, Federico3 
[1] Shahid Bahonar Univ Kerman, Fac Math & Comp, Dept Appl Math, Kerman, Iran
[2] Shahid Bahonar Univ Kerman, Young Researchers Soc, Kerman, Iran
[3] Univ Pisa, Dipartimento Informat, Largo B Pontecorvo 3, I-56127 Pisa, Italy
关键词: Algebraic Riccati equation;    Stabilizing solution;    Interval arithmetic;    Verified computation;    Krawczyk's method;   
DOI  :  10.1016/j.cam.2016.09.021
来源: Elsevier
PDF
【 摘 要 】

We describe a procedure based on the Krawczyk method to compute a verified enclosure for the stabilizing solution of a continuous-time algebraic Riccati equation A*X + XA + Q = XGX building on the work of Hashemi (2012) and adding several modifications to the Krawczyk procedure. We show that after these improvements the Krawczyk method reaches results comparable with the current state-of-the-art algorithm (Miyajima, 2015), and surpasses it in some examples. Moreover, we introduce a new direct method for verification which has a cubic complexity in term of the dimension of X, employing a fixed-point formulation of the equation inspired by the ADI procedure. The resulting methods are tested on a number of standard benchmark examples. (C) 2016 Elsevier B.V. All rights reserved.

【 授权许可】

Free   

【 预 览 】
附件列表
Files Size Format View
10_1016_j_cam_2016_09_021.pdf 644KB PDF download
  文献评价指标  
  下载次数:0次 浏览次数:0次