Gabarito disponível
Resolução comentada
Alcançável: chegar a qualquer estado a partir da origem; a banca usa essa definição em B.
Em sistemas discretos, alcançabilidade é poder atingir um estado arbitrário com uma sequência de controle em tempo finito. O gabarito oficial é B. Já a controlabilidade é levar o estado inicial à origem.
Análise das alternativas
A) Errada: a definição de controlabilidade é levar qualquer estado inicial à origem. C) Errada: descreve controlabilidade, não alcançabilidade. D) Errada: detectabilidade se refere a estados não observáveis estáveis, não a controle. E) Errada: nem sempre são equivalentes; se A for singular, controlável não implica alcançável.
Referência: Åström & Wittenmark, Computer-Controlled Systems.
Resolução comentada do VaiConcursos.