 Continuous Lyapunov equation

The continuous Lyapunov equation is $AX+X{A}^T+Q=0$. If every eigenvalue of $A$ has negative real part, it has a unique solution for each $Q$, and a positive-definite $Q$ gives a positive-definite $X$.