Fast verified computation for solutions of continuous-time algebraic Riccati equations

DOI10.1007/s13160-015-0178-4zbMath1329.65093OpenAlexW606574052MaRDI QIDQ495857

Shinya Miyajima

Publication date: 15 September 2015

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s13160-015-0178-4

zbMATH Keywords

algorithmnumerical exampleinterval arithmeticalgebraic Riccati equationsstabilizing solutionverified computation

Mathematics Subject Classification ID

Related Items (6)

Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations ⋮ Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation ⋮ The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation ⋮ Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations ⋮ Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation ⋮ Verified computation for the geometric mean of two matrices

Uses Software

• INTLAB
• CAREX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fast enclosure for solutions of Sylvester equations
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems
• An Algorithm for Computing Reducing Subspaces by Block Diagonalization
• Numerical Solution of Algebraic Riccati Equations

This page was built for publication: Fast verified computation for solutions of continuous-time algebraic Riccati equations