Mathematical Modelling and Control Input-to-state stability of delayed systems with bounded-delay impulses

: This paper considers the input-to-state stability (ISS) of delayed systems with bounded-delay impulses, where the delays in impulses are arbitrarily large but bounded. A novel Halanay-type inequality with delayed impulses and external inputs is proposed to deeply evaluate the e ﬀ ects of delayed impulses on ISS of delayed systems. Then, we obtain some delay-independent ISS criteria for the addressed delayed systems by using Lyapunov method. Particularly, by applying a new analysis technique, the current study enriches the Halanay-type inequalities and further improve the results derived in [1]. Two illustrative examples are presented to validate theoretical results.


Introduction
There have been extensive studies characterizing the effects of external inputs on the dynamical behaviors of a control system, and many important notions have been proposed. One of them is the concept of input-to-state stability (ISS), proposed in [2], which is widely studied by numerous investigators. In past decades, substantial progress has been achieved on ISS for various systems, such as discrete systems, networked control systems and hybrid systems [3][4][5][6][7][8][9][10].
With more and more applications of impulsive systems with external inputs, the ISS concept of impulsive systems was introduced in [21], and further investigated in [1,22,23].
Recently, the ISS concept was generalized to more nonlinear systems and the effect of delayed impulses on ISS property was investigated in [1]. In addition, it is known that the time delay should be considered in engineering and biological control systems to describe delayed feedbacks, samplings and outputs [24]. Especially, more and more investigators are interested in studying the dynamic behaviors of delayed systems and numerous significant results have been derived [12,[25][26][27]. Sometimes delay plays a significant role on system dynamics and false inference would be obtained if ignoring it [28]. Considering this aspect, impulsive control systems with delay are formulated. Correspondingly, the ISS concept has been extended and extensive studies have been reported for this type of systems [29,30].
It is worth noting that in many practical cases such as neural networks and biological systems, the delay may be time-varying and cannot be accurately measured, and the bound of the delay may be a priori unknown due to some uncertainties [13,31]. Many interesting results have been obtained for the case that both continuous dynamics and discrete dynamics incorporates delays [30,32], and especially, the effect of arbitrarily bounded delay in continuous dynamics has been studied, such as [22,33]. However, very few results have been reported for systems with bounded-delay impulses, where the delays in impulses are time-varying and arbitrarily large but bounded.
Here we briefly mention some studies on ISS of nonlinear systems with delayed impulses, which are closely related to the current study. It was shown in [1] that for the case that delay-free continuous dynamics are ISS, original stabilizing impulses may turn to be destabilizing if delays in impulses are considered, and correspondingly, it may lead to instability of the whole system if the impulses occur too frequently. Further, ISS of systems with delays occurring in both continuous dynamics and impulses were well investigated in [30], and particularly, the case of bounded-delay impulses can be addressed by using the method of Lyapunov-Krasovskii functionals (see Theorem 4 in [30]).
Technically speaking, the construction of a valid Lyapunov-Krasovskii functional often requires certain experience. In comparison with this method, the method of Halanay-type inequality firstly proposed in [34], may derive tractable and concise conditions applicable in many cases (see [35,36]). As we know, Halanay-type inequality has been extensively developed in the past decades, and it has also been verified to be a useful technique in the stability analysis of impulsive delayed differential systems [13,36]. Thus, it is our belief that an insightful extension of Halanay-type inequality with delayed impulses and external inputs, for new ISS stability criteria, is worthy of investigation. In addition, for some specific delays, such as fast varying delay and discontinuous delay, it is more effective to handle by using the method of Halanay-type inequality than that of Lyapunov-Krasovskii functional [37].
Hence, our objective is to establish some simple ISS criteria for systems with bounded-delay impulses by applying a Halanay-type inequality with delayed impulses and external inputs. Furthermore, we note that further investigation can be performed on the effect of delayed impulses on ISS property of the system in [1] with the aid of new analytic methods. In particular, by using the proposed Halanaytype inequality, some tractable ISS criteria for systems with bounded-delay impulses can be established and the details will be discussed in Section 3.
We aim to analyze the ISS property of delayed systems with bounded-delay impulses, where the delays in impulses are arbitrarily large but bounded. In terms of a new Halanay-type inequality and a more relaxed assumption, some sufficient conditions under which the ISS property of the impulsive delayed system can be achieved are proposed.
Compared with existing work, our obtained results further reveal the essential effect of delayed impulses on ISS property and the main contributions of this study are listed below. 2. For the case that the continuous dynamics are ISS and impulses are stabilizing when the delays in impulses are equal to zero, it is shown that the impulses may become destabilizing if these delays become larger. More interestingly, we prove that in this case, ISS property of the whole system can be ensured for arbitrary impulsive instant sequence provided the delays in impulses are bounded, which greatly extends the conclusions in [1].
3. Note that in existing literatures, the delays in impulses are often assumed to be constant or satisfy some restrictive conditions. In fact, the current study shows that only the boundedness of the delays in impulses is sufficient, greatly relaxing the assumptions for ISS.

Preliminaries
In this paper, let R, R + and Z + , stand for the set of real numbers, nonnegative real numbers and positive integers, respectively. In addition, R n and R n×m denote the ndimensional and n×m-dimensional real spaces, respectively.
We denote Euclidean norm by | · |. The notation max{a, b} stands for the maximum of real numbers a and b. Let Suppose that x ∈ PC([−ν, ∞), R n ), and for every t ≥ t 0 , we Consider following impulsive delayed system: where x(t) is the system state and its right-hand derivative One may observe that the delay bounds in continuous dynamics and impulses are different, and it is of significance to investigate the effects of these two type of delays, respectively (see [32]). Particularly, Zeno phenomenon means that there exist an accumulation point by which an infinite number of impulses persistently occur. To avoid Zeno phenomenon, we denote by t 0 the initial instant, and assume that impulsive instant sequence Given and suppose f * meets all the necessary conditions in [38] to guarantee that system (2.1) admits a unique solution Then, such a function V is said to be of the class V 0 . is defined by: In this study, note that impulsive instant sequences {t k } can be arbitrary and the delay in impulses depends on the state evolution over some previous time period that is only assumed to be bounded. Note that in the previous results, the impulsive instants and delays in impulses are assumed to satisfy some conditions, such as average impulsive interval condition and constant delay in impulses (see [19,1]). To be specific, it assumes that there exist positive numbers T a and N 0 such that where N(T, t) stands for the number of impulsive instants We call a function α : provided it is continuous, strict increasing and satisfies α(0) = 0. Further, we call α is of the class K ∞ if it is of the class K and satisfies lim t→+∞ α(t) = +∞. In addition, a function for every fixed t ≥ 0 and β(r, t) is strictly decreasing to zero as t → +∞ for every fixed r ≥ 0.
. Given an impulsive instant sequence {t k } and the delay bound τ, system (2.1) is said to be inputto-state stable if there exist functions β ∈ KL and γ ∈ K ∞ such that, for every initial condition φ ∈ PC([−ν, 0], R n ) and Moreover, we call system (2.1) uniformly input-to-state stable over the class F ab provided that it is input-to-state stable for each sequence {t k } and delay bound τ in F ab , and functions β, γ are independent on the choices of these sequences.

Main results
In this section, we will firstly propose a new Halanay-type inequality involving delayed impulses and external inputs.
Then, based on this inequality, some valid criteria for ISS of impulsive delayed system (2.1) are obtained. Moreover, some comparisons with existing results are presented in detail.
Before giving the new ISS criteria, we firstly propose two useful lemmas in this study by applying a new analysis technique.
is a solution of (3.1) and ∈ (0,ˆ ) withˆ satisfying that If there exists t * ∈ [t k−1 , t k ) for certain k ∈ Z + such that

3)
then it follows that
Proof. Using (3.2) and (3.3), we can observe that This completes the proof.
Thus, it derives a contradiction to D + Ξ(t * ) ≥ 0. Next, we assume that (3.6) holds for all k ≤ N for certain N ∈ Z + .

Mathematical Modelling and Control
Volume 2, Issue 2, 44-54 If there emerges some t ∈ [t N , t N+1 ) satisfying that Ξ(t) > Γ N+1 , then we can choose a propert ∈ [t N , t N+1 ) such that , and D + Ξ(t) ≥ 0. Now, by applying Lemma 3.1 again, we can conclude that D + Ξ(t) < 0, and this is a contradiction to D + Ξ(t) ≥ 0. Therefore, by the method of mathematical induction, (3.6) is shown to be true for all k ∈ Z + . This concludes the proof.
In particular, in order to better compare with the results in [1], we consider the case that there is no delay in continuous dynamics and derive the following result.
Remark 3.2. One may observe from Theorem 3.1 and Corollary 3.1 that both continuous dynamics and discrete dynamics are required to be ISS. However, note that due to the occurrence of delays in impulses, the original stabilizing impulses may turn to be destabilizing ones if the sizes of delays and impulsive intervals break through certain constraints, which can be also found in [1]. More importantly, when the delays in impulses are arbitrarily finite, the destabilizing effect of such delayed impulses, i.e., the bounded-delay impulses, may be more dramatic. In fact, it is necessary to consider the conditions H 2 and H 3 with λ 1 > λ 2 > 0, ω ∈ (0, 1) for the case of bounded-delay impulses. In particular, we take the following simple system without external input as an example to show the influence Mathematical Modelling and Control Volume 2, Issue 2, 44-54 of such delayed impulses. Consider system with initial condition x(t 0 ) = x 0 0, where a > 0, b > 0 and the delays in impulses can be regarded as τ k ≡ (t k − t k−1 ) − .
Clearly, such delayed impulses is of bounded-delay impulses One can check that the solution to system (3.12) satisfies It follows that x(t k ) = x 0 b k , which implies that system (3.12) is unstable for arbitrary b > 1. Especially, system (3.12) is stable but not asymptotically stable if b = 1. Hence, in order to overcome the difficulty that the delays in impulses are arbitrarily finite and guarantee the system achieve asymptotical stability, we need to impose the condition 0 < b < 1. Based on the above analysis, one may conclude that when investigating the ISS of delayed systems with bounded-delay impulses by Halanay-type inequality (3.1), conditions λ 1 > λ 2 > 0 and ω ∈ (0, 1) in Theorem 3.1 are necessary to some degree.

Remark 3.3.
Recently, some significant work on ISS of nonlinear systems with delayed impulses has been reported, such as [1,30]. Note that [1] has studied the effect of delayed impulses on ISS, but the effect of delayed impulses was not well revealed. To be specific, it was shown in [1] that the occurrence of delay in impulses may make impulses destabilizing even if coefficient ω ∈ (0, 1). Moreover, [1] claimed that in this case, system (2.1) may become unstable if the impulses occur too frequently. In the same situation, we conclude that these delayed impulses do not destroy the ISS property of system (2.1) provided that the delays in impulses are bounded, irrespective of the frequency of impulses via our results. Different from the previous results (e.g., [1,20]), the current study mainly focuses on the case of bounded-delay impulses, where the delay bound can be an any finite value; and further, the addressed impulsive instant sequence can be arbitrary. Thus, the obtained results may be conservative for the case of delay that is very small or satisfies some specific conditions. Remark 3.4. By using Lyapunov-Krasovskii functional method, [30] has derived some useful ISS criteria for time-delay systems with delayed impulses, and the case of bounded-delay impulses can be addressed as well (see Theorem 4 in [30]). For one thing, however, the construction of Lyapunov-Krasovskii functionals is critical in utilizing these results in [30] and there exists no rule on how to select such functionals. For another thing, our results admit different bounds for the delays in continuous dynamics and impulses, which is more general than that considered in [30]. Particularly, these results remain valid for delay-free systems with delayed impulses when h = 0, such as [1,23]; delayed systems with delay-free impulses when τ = 0, such as [22,33].

Numerical examples
To demonstrate the effectiveness and less restrictiveness of the obtained results, two numerical examples are presented in this section. Especially, the first example is an extension of that considered in [1].
Remark 4.1. Actually, this example with a = 0 is the one considered in [1]. It is worth noting that in order to acquire the uniform ISS of system (4.1) for arbitrary impulsive instant sequence, conditions τ k ≡ τ and 2τ(1 − |b|) ≤ − ln ω 2 should be satisfied in [1]. While in this case, our results only require that sup k∈Z + {τ k } < +∞, i.e., the delays in impulses are bounded. Hence, this example shows that our results require milder condition to some degree.
The second example studies the ISS property of timevarying neural networks with distributed delayed impulses, which is adopted from [30,33] with slight changes.
It follows that λ 1 = 3.2, λ 2 = 1.4, ω 1 = 1 2 , ω 2 = 1 4 and all conditions in Theorem 3.1 are satisfied. Hence, we can conclude that system (4.2)-(4.3) is input-to-state stable for arbitrary impulsive instant sequences. Especially, we set t k = 0.2k and simulation results for system (4.2)-(4.  with the relevant results in [30], the conditions in our results are easier to check in this sense, and can be applied to deal with more complicated time-varying delays.

Conclusions
In this paper, the ISS property of delayed systems with