We establish that differential inclusions corresponding to upper semicontinuous multifunctions are strongly asymptotically stable if and only if there exists a smooth Lyapunov function. Since well-known concepts of generalized solutions of differential equations with discontinuous right-hand side can be described in terms of solutions of certain related differential inclusions involving upper semicontinuous multifunctions, this result gives a Lyapunov characterization of asymptotic stability of either Filippov or Krasovskii solutions for differential equations with discontinuous right-hand side. In the study of weak (as opposed to strong) asymptotic stability, the existence of a smooth Lyapunov function is rather exceptional. However, the methods employed in treating the strong case of asymptotic stability are applied to yield a necessary condition for the existence of a smooth Lyapunov function for weakly asymptotically stable differential inclusions; this is an extension to the context of Lyapunov functons of Brockett's celebrated``covering condition'' from continuous feedback stabilization theory.
Academic Press
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.