A new Lyapunov-like functional approach to dwell-time dependent stability for impulsive systems
Introduction
An impulsive system is modeled after many real world processes that undergo abrupt state changes, and it is comprised of three parts: a continuous-time dynamical equation which governs the evolution of the system between two successive impulsive instants; a difference equation which describes how the system state is changed at impulsive instants; and finally a criterion for determining the impulsive instant sequence [1], [2], [3], [4], [5], [6], [7]. Stability with minimal dwell-time or maximal dwell-time for impulsive systems was defined and discussed based on the characters of the system matrices in [4]. The stability of impulsive systems has been paid attention due to their applications in many fields such as epidemiology [8], impulsive control [9,10], power electronics [11], networked control systems [12,13], sampled-data systems [14–18]. For example, in [16], the sampled-data systems were formulated as impulsive systems, and robust stability of sampled-data systems was investigated. The discrete time method is a basic approach to the stability of impulsive systems, by which the impulsive system is transformed into discrete time systems, and then the eigenvalue analysis is conducted. This method, however, encounters difficulties when impulsive systems involve uncertainties or aperiodic impulses. To deal with this problem, a Lyapunov functional method was proposed in [16] to address the stability for impulsive systems, and the stability results were applied to sampled-data systems with uncertainties. To improve the Lyapunov functional method further, there are two methods to deal with the stability for impulsive systems. One is the Lyapunov-like functional approach where the Lyapunov-like functional is not required positive definite or continuous [17,18]. In [17] stability results were derived for periodic impulsive systems with or without polytope uncertainties. Less conservative stability results were obtained by constructing a different Lyapunov-like functional in [18]. The other approach to improve the Lyapunov functional method is the looped-functional method [19], [20], [21], [22], where stability results with ranged dwell-time, maximal dwell-time and minimal dwell-time were derived. Convex dwell-time stability characterizations were given for the linear impulsive systems with uncertainties in [19,20], where the stability analysis was formulated as an infinite dimensional feasibility problem, which was hard to solve. By contrast, the stability results obtained in [21,22] were in the form of linear matrix inequalities (LMIs) and could be checked easily. Recently the stability for impulsive systems was studied by using the Lyapunov-like functional approach [23], where stability results with ranged dwell-time, maximal dwell-time and minimal dwell-time were derived. The stability results obtained in [23] have improved over those in [21,22]. However, the Lyapunov-like functional in [23] as well as [17], and the looped-functional in [21] or [22] only used the system information on the interval(tk, t], failed to make use of that on . Therefore, the existing results can be expected to further improve if the Lyapunov-like functional or the looped-functional is expanded by making full use of the system information on the whole impulsive interval . It is challenging how to employ the information on and (tk, t] to construct a two-sided Lyapunov functional and develop new techniques to deal with the derivative of the two-sided Lyapunov functional.
It is worth noting that recently some scholars have turned towards impulsive networks [30,31] and impulsive stochastic functional differential systems [32,33]. For instance, in [33] the stability problem was addressed for time-varying stochastic functional differential systems with distributed-delay dependent impulsive effects. Based on stochastic theory, some stability results were derived by employing a Lyapunov approach. Nevertheless, in this paper we will further study stability for the linear impulsive systems in [17–23] by a new Lyapunov-like functional. The study features:
- •
The Lyapunov-like functional is second order in time t, and two-sided in the sense of its including the system information on both and (tk, t].
- •
An advanced inequality and integral equations of the impulsive system are employed when estimating the derivative of the two-sided Lyapunov-like functional.
- •
Improved dwell-time dependent stability results, including those with ranged dwell-time, maximal dwell-time and minimal dwell-time for impulsive systems with periodic or aperiodic impulses, are derived. Numerical examples are given to illustrate the less conservatism of the dwell-time dependent stability results.
Notations: Throughout this paper, XT and denote the transposition and the inverse of the matrixX, respectively.* in the symmetric matrix stands for the symmetric terms. For a symmetric matrix X, X > 0 ( < 0) denotes X is positive definite (negative definite). I denotes the identity matrix with appropriate dimensions. | · | is the Euclidean norm for a vector and ‖ · ‖ is the induced matrix norm. , , refer to the set of n dimension vectors, n × m matrices and non-negative integers, respectively. λmin( · ), λmax( · ) and ρ( · ) denote the smallest eigenvalue, largest eigenvalue and the spectral radius of a real symmetric matrix. For a given matrix A, He{A} stands for . For the impulsive instant tk, , . and are the set of symmetric and symmetric positive definite matrices of size n × n respectively.
Section snippets
Problem formulation
Consider the following linear impulsive systemwhere is the state vector, are constant matrices, is an increasing sequence of impulse instants. The dwell-time satisfieswhere and are known constants. In the case of periodic impulses, the dwell-time , where h is the period.
In this paper, we will study the relationship between dwell-time and stability, namely the dwell-time dependent
Main results
For , a Lyapunov-like functional in the form of W(x(t), t), as in Lemma 1, is constructed for system (1):with and
Examples
In this section, examples are given to demonstrate the proposed results have less conservatism than some existing ones.
Example 1 Consider the following impulsive system with
The first object is to find the maximum dwell-time range for which the aperiodic impulsive system is stable. This can be accomplished from two optimization problems: One is
(i) Find a h1 that satisfies LMIs of Theorem 1;
(ii) max h subject to h ≥ h1 and LMIs of Theorem 1.
The other is
(i) Find a h2 that
Conclusion
In this paper, the dwell-time dependent stability for impulsive systems has been investigated by a Lyapunov-like functional approach. A second order Lyapunov-like functional of time was constructed based on the system information on the interval as well as (tk, t], where the integrals on as well as (tk, t] was introduced. Integral equations of the system and an advanced inequality were used to estimate the derivative of the Lyapunov-like functional. New stability results with
Acknowledgments
The research work was partially supported by the Natural Science Foundation of China under Grant 61374090.
References (34)
- et al.
Lyapunov conditions for input-to-state stability of impulsive systems
Automatica
(2008) - et al.
Stabilization of linear impulsive systems through a nearly-periodic reset
Nonlinear Anal.: Hybrid Syst.
(2013) - et al.
Optimal switching instants for a switched-capacitor DC/DC power converter
Automatica
(2009) - et al.
Stability of networked control systems with asynchronous renewal links: an impulsive systems approach
Automatica
(2013) - et al.
Wirtinger-based integral inequality: application to time-delay systems
Automatica
(2013) - et al.
Exponential stability of impulsive systems with application to uncertain sampled-data systems
Syst. Control Lett.
(2008) - et al.
A Lyapunov-like functional approach to stability for impulsive systems with polytope uncertainties
J. Frankl. Inst.
(2017) Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints
Automatica
(2013)- et al.
A looped-functional approach for robust stability analysis of linear impulsive systems
Syst. Control Lett.
(2012) - et al.
Improved delay-dependent stability result for neural networks with time-varying delays
ISA Trans.
(2018)
Stability analysis of neural networks with time-varying delay using a new augmented Lyapunov–Krasovskii functional
Neurocomputing
Multiple integral inequalities and stability analysis of time delay systems
Syst. Control Lett.
Further mean-square asymptotic stability of impulsive discrete-time stochastic BAM neural networks with Markovian jumping and multiple time-varying delays
J. Frankl. Inst.
Systems with Impulse Effects: Stability, Theory and Application
Impulsive Control Theory
Converse Lyapunov theorems and robust asymptotic stability for hybrid systems
Stability of Dynamical Systems-Continuous, Discontinuous and Discrete Systems
Cited by (6)
Improved looped-functional approach for dwell-time-dependent stability analysis of impulsive systems
2024, Nonlinear Analysis: Hybrid SystemsStability of networked control systems: A Lyapunov–Krasovskii functional plus approach
2023, ISA TransactionsStabilising control for impulsive systems
2024, Journal of Control and DecisionStability and L <inf>2</inf>-gain Analysis for Impulsive Delay Systems via Two-sided Looped-functional
2023, International Journal of Control, Automation and SystemsRobust stability criteria for linear impulsive delay systems
2021, International Journal of Robust and Nonlinear ControlExistence, Uniqueness, and Exponential Stability of Uncertain Delayed Neural Networks with Inertial Term: Nonreduced Order Case
2021, Mathematical Problems in Engineering