用一个正定函数和一个非符号定导数能证明稳定性吗？
Can We Prove Stability by Using a Positive Definite Function with Non Sign-Definite Derivative?
摘要：
提出了一类非线性不确定有限维系统全局渐近稳定性的新判据。这些结果是通过“离散化途径“和原Matrosov结果证明中所包含的思想相结合而得到的。利用连续可微、正定且不含半负导数的函数，可证明该系统的全局渐近稳定性。提供了说明性的例子。
英文摘要：
Novel criteria for global asymptotic stability of nonlinear uncertain finite-dimensional systems are presented. The results are obtained by a combination of the "discretization approach" and the ideas contained in the proof of the original Matrosov's result. The results can be used for the proof of global asymptotic stability by using continuously differentiable, positive definite functions which do not have a negative semi-definite derivative. Illustrating examples are provided.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
