res_discrete_lyap

Provides residual of discrete Lyapunov equation:

A.T X A - X = -Q Q.T

If Factorised option is true,

X=Z*Z.T

otherwise X=Z is chosen.

Reminder: contr: A W A.T - W = - B B.T obser: A.T W A - W = - C.T C