and formula _ 7 is the unique positive definite solution to the discrete time algebraic Riccati equation ( DARE )
and formula _ 7 is the algebraic solution to the unique positive definite time discrete Riccati equation ( DARE )