https://123dok.net/document/y4wkrdk0-control-estimation-finite-time-fixed-implicit-lyapunov-functions.html