Additional background notes.
Riccati recursion derivation
Linear quadratic Lyapunov theory notes
Solving semidefinite programs using CVX