Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations
discrete-time algebraic Riccati equation
scientific article; zbMATH DE number 7138561