Lyapunov analysis, which uses monotonicity of a given function of system state along trajectories of a given dynamical system, is a major tool of nonlinear system analysis It is possible, however, to use monotonicity of volumes of subsets of the state space to predict certain properties of system behavior. This lecture gives an introduction to suc methods
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
