On computing the stabilizing solution of the discrete-time Riccati equation

Abstract A necessary and sufficient condition is given for the existence of the stabilizing solution of the discrete-time Riccati equation without any invertibility or positivity assumptions. The result involves a special associated matrix pencil.