Stability of interconnected impulsive systems with and without time-delays using Lyapunov methods

In this paper we consider input-to-state stability (ISS) of impulsive control systems with and without time-delays. We prove that if the time-delay system possesses an exponential Lyapunov-Razumikhin function or an exponential Lyapunov-Krasovskii functional, then the system is uniformly ISS provided that the average dwell-time condition is satisfied. Then, we consider large-scale networks of impulsive systems with and without time-delays and we prove that the whole network is uniformly ISS under a small-gain and a dwell-time condition. Moreover, these theorems provide us with tools to construct a Lyapunov function (for time-delay systems - a Lyapunov-Krasovskii functional or a Lyapunov-Razumikhin function) and the corresponding gains of the whole system, using the Lyapunov functions of the subsystems and the internal gains, which are linear and satisfy the small-gain condition. We illustrate the application of the main results on examples

On Incremental Stability of Interconnected Switched Systems

In this letter, the incremental stability of interconnected systems is discussed. In particular, we consider an interconnection of switched nonlinear systems. The incremental stability of the switched interconnected system is a stronger property as compared to conventional stability. Guaranteeing such a notion of stability for an overall interconnected nonlinear system is challenging, even if individual subsystems are incrementally stable. Here, preserving incremental stability for the interconnection is ensured with a set of sufficient conditions. Contraction theory is used as a tool to achieve incremental convergence. For the feedback interconnection, the small gain characterisation is presented for the overall system's incremental stability. The results are derived for a special case of feedback, i.e., cascade interconnection. Matrix-measure-based conditions are presented, which are computationally tractable. Two numerical examples are demonstrated and supported with simulation results to verify the theoretical claims