动态事件触发机制相关(更新)

1. 动态阈值量X为什么必须大于0？
A：首先，李雅普诺夫-克拉索夫斯基函数V收敛证明要求V正定，而V = 二次型+X，则决定X必须大于等于0

      其次，Zeno证明可能需要用到上界，则可能需要X严格大于0