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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
scientific article

    Statements

    Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations (English)
    0 references
    0 references
    0 references
    22 November 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    algebraic Riccati equation
    0 references
    stabilizing solution
    0 references
    interval arithmetic
    0 references
    verified computation
    0 references
    Krawczyk's method
    0 references
    numerical example
    0 references
    alternating direction implicit procedure
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references