12.4.1 李雅普诺夫优化框架