ControllableModelQ

ControllableModelQ[sys] yields True if the state-space model sys is controllable, and False otherwise.

ControllableModelQ[{sys,sub}] yields True if the subsystem sub is controllable.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.