https://123dok.net/document/y6epe134-quadrotor-control-design-constraints-implicit-lyapunov-function-approach.html