短语词组短语weak control Lyapunov function 弱控制Lyapunov函数non -strict control Lyapunov function 非严格控制Lyapunov函数 返回 control lyapunov function