混杂系统 Lyapunov 函数的分段结构及稠密检验的递减条件
动力系统
2020-12-03 v1
摘要
我们提出一类具有分段结构的局部 Lipschitz 函数，用作混杂动力系统的 Lyapunov 函数。在动力学具有一定正则性的条件下，我们证明 Lyapunov 不等式只需在稠密集上检验，从而避免在 Lyapunov 函数不可微的点处进行检验。文中还讨论了与其他局部 Lipschitz 或分段正则函数类的联系，并给出了在混杂动力系统中的应用。
引用
@article{arxiv.2012.01097,
title = {Piecewise structure of Lyapunov functions and densely checked decrease conditions for hybrid systems},
author = {Matteo Della Rossa and Rafal Goebel and Aneel Tanwani and Luca Zaccarian},
journal= {arXiv preprint arXiv:2012.01097},
year = {2020}
}
备注
Mathematics of Control, Signals, and Systems, Springer Verlag, In press