Controllability Gramian

The system is only controllable if the gramian is a Nonsingular matrix for any $t>0$, aka it is invertible

$$W_c(t)={\int }_0^t{e}^{A\tau }B{B}^T{e}^{A^T\tau }d\tau$$

The proof is similar to the Observability Gramian