Paul K. Wintz and Ricardo G. Sanfelice
2025 American Control Conference (in press), 2025

Abstract

In the setting of continuous-time, discrete-time, and hybrid systems, including differential inclusions and difference inclusions, relaxations are given for Lyapunov functions to establish uniform global pre-asymptotic stability (UGAS) of compact sets. It is shown that for a compact set, if there exist a Lyapunov function and two lower semicontinuous functions that are positive definite with respect to the compact set and whose negations are upper bounds on the rate of change of the Lyapunov function during flows and jumps, respectively, then the compact set is UGAS. Under additional regularity conditions, conditions sufficient to show that a compact set is UGAS are further weakened to merely require the rate of change of the Lyapunov function is negative definite. Simplified conditions on hybrid time domains, compared to existing results, are given to establish that a set is UGAS for hybrid systems when the Lyapunov function is merely nonincreasing during either flows or jump.

Downloads

PDF