https://tsoli.github.io/posts/controllability-and-stabilisability/