https://5dok.net/document/4zp83e0y-new-input-overflow-stability-proofs-based-lyapunov-theory.html