Observability Gramian

The Observability Gramian is a Gramian used in optimal control theory to determine whether or not a linear system is observable.

For a linear system described by

The observability Gramian for a linear time invariant system is given by

If and only if the matrix is nonsingular for every, the pair is observable.