In particular, when o=0, this yields the definition of a Lyapunov function Finding, for a given supply rate, a valid storage function(or at least proving that one exists)is a major challenge in constructive analysis of nonlinear systems. The most com-
Definition A real-valued function V: X H R defined on state space X of a system with behavior set B and state r:B×[0,∞)→ X is called a Lyapunov function if tHv(t)=v(a(t))=v(a(z(), t)) is a non-increasing function of time for every z E B according to this definition, Lyapunov