Continuous Lyapunov equation ($AX+X{A}^T+Q=0$)

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$.