Abstract: Safety guarantee is a fundamental requirement for numerous dynamical systems. In this work, the safe stabilization problem in complex scenarios is considered. First, we introduce the notion ...
Abstract: The main result of the paper is a new converse theorem for finite-time Lyapunov functions. We show the existence of a finite-time Lyapunov function for an autonomous continuous-time ...