知坤社 白雪0001 切换混合系统的多Lyapunov函数发现。 3312-3340 2014 52 SIAM J.控制。最佳方案。 5 https://doi.org/10.1137/130934313 db/journals/siamco/siamco52.html#SheX14