In this paper the existence of Lyapunov functions for second-order differen
tial inclusions is analyzed by using the methodology of the Viability Theor
y. A necessary assumption on the initial states and sufficient conditions f
or the existence of local and global Lyapunov functions are obtained. An ap
plication is also provided. (C) 2001 Academic Press.