https://5dok.net/document/yr38dp4p-synthesis-trajectory-dependent-control-lyapunov-functions-single-program.html