Proof Existence and uniqueness of r(t, u)and A(t)follow from Theorem 3. 1. Hence, in order to prove differentiability and the formula for the derivative, it is sufficient to show that there exist a function C: R++R+ such that C(r)/r-0 as r-0 and E>0 such
where f:R\×Rn×R→ R\ and g:R\×R\×R→ R are continuous functions. Assume that f, g are continuously differentiable with respect to their first two arguments in a neigborhood of the trajectory co(t), yo(t), and that the derivative
with x(0)=I exist and are unique on the time interval t E [ 0, 1] for allTER\.Then discrete time system(4. 1)with f(5)=r(, i)describes the evolution of continuous time system(4.)at discrete time samples. In particular, if a is continuous then so is f Let us call a point in the closure of X locally attractive for system(4. 1)if there exists
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