Properties of numerical algorithms related to computing controllability | Synapse