A Lyapunov-Like Characterization of Asymptotic Controllability | Synapse