Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations (Q515787)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations |
scientific article |
Statements
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations (English)
0 references
16 March 2017
0 references
stabilizing solution
0 references
verified computation
0 references
iterative algorithms
0 references
interval matrices
0 references
discrete-time algebraic Riccati equations
0 references
numerical results
0 references
0 references
0 references
0 references
0 references
