Indefinite Lyapunov functions for input-to-state stability of impulsive systems (Q2195444)

A new Lyapunov method for the input-to-state stability (ISS) and integral ISS (iISS) of impulsive systems of the form \[ \begin{array}{rll} x'(t)&=f(t,x(t),u(t)),\qquad &t\ne t_k,\\ x(t)&=g(t,x^-(t),u^-(t)),\qquad &t=t_k,\quad (k\in{\mathbb N}) \end{array} \] is presented, where \(x(t):{\mathbb R}\to{\mathbb R}^n\) is the state, \(u(t):{\mathbb R}^+\to{\mathbb R}^m\) is the control input, which is assumed to be measurable and locally essentially bounded; \(\{t_k\}\) (\(k=1,2,\dots\)) is a strictly increasing sequence of impulse times in \((t_0,\infty)\) for some initial time \(t_0\) without finite accumulation points; \(g\) and \(f:{\mathbb R}^+\times{\mathbb R}^n\times {\mathbb R}^m\to{\mathbb R}^n\) is assumed to be locally Lipschitz in \((t,x)\), to be uniformly continuous in \(u\), and to satisfy \(f(t,0,0) =0\). The main results obtained depend on the basis of a Lyapunov function which is not necessarily a negative definite one. When the continuous dynamics have a Lyapunov function with an indefinite time derivative, and the discrete dynamics are destabilizing, the impulsive system is ISS if an average dwell-time (ADT) condition is satisfied. Some numerical examples are given to show the effectiveness and advantages.