Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations

Tayyebe Haqiri, Federico Poloni

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^{\ast }X+XA+Q=XGX$ bu…