https://123dok.net/document/zwv16rj1-algorithm-compute-distance-uncontrollability-linear-invariant-control-systems.html