he variable t is usually referred to as the\time Note the use of an integral form in the formal definition(2.2): it assumes that the function tHa(a(t), t)is integrable on T, but does not require =a(t)to be differentiable at any particular point, which turns out to be convenient for working with discontinuous
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