Before revision: The system is controllable at time if and only if there exists a finite such that the matrix also called the Controllability Gramian is given by where is the state transition matrix of is nonsingular.
After revision: The system ,,, controllable at time if and only if there exists a finite such that the matrix also called the Controllability Gramian is given by where is the state transition matrix of is nonsingular.