Analytical and Verified Numerical Results Concerning Interval Continuous-time Algebraic Riccati Equations

This paper focuses on studying the interval continuous-time algebraic Riccati equation A∗X + XA + Q − XGX = ۰, both from the theoretical aspects and the computational ones. In theoretical parts, we show that Shary’s results for interval linear systems can only be partially generalized to this interval Riccati matrix equation. We then derive an efficient technique for enclosing the united stable solution set based on a modified variant of the Krawczyk method which enables us to reduce the computational complexity, significantly. Various numerical experiments are also given to show the efficiency of proposed scheme.

کلیدواژه ها:

Interval continuous-time algebraic Riccati equation ، AE-solution set ، United stable solution set ، Krawczyk’s method ، Verified computation