形式不可判定命题
formal undecidable proposition
稳定性判定
system stability analysis
LaSalle稳定性定理
LaSalle stability theorem
Liapunov稳定性定理
Liapunov stability theory
Lyapunov稳定性定理
Lyapunov stability theory
狄利克雷稳定性定理
dirichlet stability theorem
李雅普诺夫渐近稳定性定理
Lyapunov theorem of asymptotic stability