https://9dok.net/document/y96jlp9r-on-input-to-state-stabilizability-semilinear-control-systems.html