[IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom...

6
Singularly Impulsive Dynamical Systems with time delay: Mathematical Model and Stability Nataˇ sa A. Kablar, Vlada Kvrgi´ c, Lola Institute, Kneza Viseslava 70a, Belgrade 11000, Serbia [email protected], [email protected] Abstract - In this paper we introduce new class of sys- tem, so called singularly impulsive or generalized impulsive dynamical systems with time delay. Dynamics of this system is characterized by the set of differential and difference equations with time delay, and algebraic equations. They represent the class of hybrid systems, where algebraic equations represent constraints that differential and difference equations with time delay need to satisfy. In this paper we present model, assumptions on the model, two classes of singularly impulsive dynamical systems with delay - time dependenet and state dependent. Further, we present Lyapunov and asymptotic stability theorems for nonlinear time-dependent and state- dependent singularly impulsive dynamical systems with time delay. I. I NTRODUCTION Modern complex engineering systems as well as biological and physiological systems typically possess a multi-echelon hierarchical hybrid architecture characterized by continuous- time dynamics at the lower levels of hierarchy and discrete- time dynamics at the higher levels of the hierarchy. Hence, it is not surprising that hybrid systems have been the subject of intensive research over the past recent years (see Branicky et al. (1998), Ye et al. (1998 b), Haddad, Chellaboina and Kablar (2001a-b)). Such systems include dynamical switching systems Branicky (1998), Leonessa et al. (2000), nonsmooth impact and constrained mechanical systems, Back et al. (1993), Brogliato (1996), Brogliato et al. (1997), biological systems Lakshmikantham et al. (1989), demographic sys- tems Liu (1994), sampled-data systems Hagiwara and Araki (1988), discrete-event systems Passino et al. (1994), intelligent vehicle/highway systems Lygeros et al. (1998) and flight control systems, etc. The mathematical descriptions of many of these systems can be characterized by impulsive differ- ential equations, Simeonov and Bainov (1985), Liu (1988), Lakshmikantham et al. (1989, 1994), Bainov and Simeonov (1989, 1995), Kulev and Bainov (1989), Lakshmikantham and Liu (1989), Hu et al. (1989), Samoilenko and Perestyuk (1995), Haddad, Chellaboina and Kablar (2001a-b). Impulsive dynamical systems can be viewed as a subclass of hybrid systems. Motivated by the results on impulsive dynamical systems presented in Haddad, Chellaboina, and Kablar (2001, 2005), the authors previous work on singular or generalized sys- tems, and results on singularly impulsive dynamical systems published in Kablar(2003, 2010) we presented new class of singularly impulsive or generalized impulsive dynamical systems with time delay. It presents novel class of hybrid systems and generalization of impulsive dynamical systems to incorporate singular nature of the systems and time delays. Extensive applications of this class of systems can be found in contact problems and in hybrid systems. We present mathematical model of the singularly impulsive dynamical systems with time delay. We show how it can be viewed as general systems from which impulsive dynamical systems with time delay, singular continuous-time systems with time delay and singular dicrete-time systems with time delay, as well as without time delay,follow. Then we present Assumptions needed for the model and the division of this class of systems to time-dependent and state-dependent sin- gularly impulsive dynamical systems with time delay with respect to the resetting set. Finally, we draw some conclusions and define future work. In this paper for the class of nonlinear singularly impulsive dynamical systems with time delay we develop Lyapunov and asymptotic stability results. Results are further specialized to linear case. Note that for addressing the stability of the zero solution of a singularly impulsive dynamical system the usual stability definitions are valid. Then we draw some conclusions and define future work. At first, we establish definitions and notations. Let R denote the set of real numbers, let R n denote the set of n × 1 real column vectors, let N denote the set of nonnegative integers, and let I n or I denote the n × n identity matrix. Furthermore, let S , ˙ S , ¯ S denote the boundary, the interior, and a closure of the subset S⊂ R n , respectively. Finally, let C 0 denote the set of continuous functions and C r denote the set of functions with r continuous derivatives. II. MATHEMATICAL MODEL OF SINGULARLY I MPULSIVE DYNAMICAL SYSTEMS WITH TIME DELAY A singularly impulsive dynamical system with delay con- sists of three elements: 1. A possibly singular continuous-time dynamical equation with time delay, which governs the motion of the system between resetting events; 2. A possibly singular difference equation with time delay, which governs the way the states are instantaneously changed when a resetting occurs; and 970 UKACC International Conference on Control 2012 Cardiff, UK, 3-5 September 2012 978-1-4673-1560-9/12/$31.00 ©2012 IEEE

Transcript of [IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom...

Page 1: [IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Singularly

Singularly Impulsive Dynamical Systems with

time delay: Mathematical Model and Stability

Natasa A. Kablar, Vlada Kvrgic,Lola Institute, Kneza Viseslava 70a, Belgrade 11000, Serbia

[email protected], [email protected]

Abstract - In this paper we introduce new class of sys-tem, so called singularly impulsive or generalized impulsivedynamical systems with time delay. Dynamics of this system ischaracterized by the set of differential and difference equationswith time delay, and algebraic equations. They represent theclass of hybrid systems, where algebraic equations representconstraints that differential and difference equations withtime delay need to satisfy. In this paper we present model,assumptions on the model, two classes of singularly impulsivedynamical systems with delay - time dependenet and statedependent. Further, we present Lyapunov and asymptoticstability theorems for nonlinear time-dependent and state-dependent singularly impulsive dynamical systems with timedelay.

I. INTRODUCTION

Modern complex engineering systems as well as biologicaland physiological systems typically possess a multi-echelonhierarchical hybrid architecture characterized by continuous-time dynamics at the lower levels of hierarchy and discrete-time dynamics at the higher levels of the hierarchy. Hence,it is not surprising that hybrid systems have been the subjectof intensive research over the past recent years (see Branickyet al. (1998), Ye et al. (1998 b), Haddad, Chellaboina andKablar (2001a-b)). Such systems include dynamical switchingsystems Branicky (1998), Leonessa et al. (2000), nonsmoothimpact and constrained mechanical systems, Back et al.(1993), Brogliato (1996), Brogliato et al. (1997), biologicalsystems Lakshmikantham et al. (1989), demographic sys-tems Liu (1994), sampled-data systems Hagiwara and Araki(1988), discrete-event systems Passino et al. (1994), intelligentvehicle/highway systems Lygeros et al. (1998) and flightcontrol systems, etc. The mathematical descriptions of manyof these systems can be characterized by impulsive differ-ential equations, Simeonov and Bainov (1985), Liu (1988),Lakshmikantham et al. (1989, 1994), Bainov and Simeonov(1989, 1995), Kulev and Bainov (1989), Lakshmikanthamand Liu (1989), Hu et al. (1989), Samoilenko and Perestyuk(1995), Haddad, Chellaboina and Kablar (2001a-b). Impulsivedynamical systems can be viewed as a subclass of hybridsystems.

Motivated by the results on impulsive dynamical systemspresented in Haddad, Chellaboina, and Kablar (2001, 2005),the authors previous work on singular or generalized sys-tems, and results on singularly impulsive dynamical systems

published in Kablar(2003, 2010) we presented new classof singularly impulsive or generalized impulsive dynamicalsystems with time delay. It presents novel class of hybridsystems and generalization of impulsive dynamical systemsto incorporate singular nature of the systems and time delays.Extensive applications of this class of systems can be foundin contact problems and in hybrid systems.

We present mathematical model of the singularly impulsivedynamical systems with time delay. We show how it can beviewed as general systems from which impulsive dynamicalsystems with time delay, singular continuous-time systemswith time delay and singular dicrete-time systems with timedelay, as well as without time delay,follow. Then we presentAssumptions needed for the model and the division of thisclass of systems to time-dependent and state-dependent sin-gularly impulsive dynamical systems with time delay withrespect to the resetting set. Finally, we draw some conclusionsand define future work.

In this paper for the class of nonlinear singularly impulsivedynamical systems with time delay we develop Lyapunov andasymptotic stability results. Results are further specialized tolinear case. Note that for addressing the stability of the zerosolution of a singularly impulsive dynamical system the usualstability definitions are valid. Then we draw some conclusionsand define future work.

At first, we establish definitions and notations. Let R denotethe set of real numbers, let Rn denote the set of n × 1 realcolumn vectors, let N denote the set of nonnegative integers,and let In or I denote the n×n identity matrix. Furthermore,let ∂S, S, S denote the boundary, the interior, and a closureof the subset S ⊂ Rn, respectively. Finally, let C0 denote theset of continuous functions and Cr denote the set of functionswith r continuous derivatives.

II. MATHEMATICAL MODEL OF SINGULARLY IMPULSIVEDYNAMICAL SYSTEMS WITH TIME DELAY

A singularly impulsive dynamical system with delay con-sists of three elements:

1. A possibly singular continuous-time dynamical equationwith time delay, which governs the motion of the systembetween resetting events;

2. A possibly singular difference equation with time delay,which governs the way the states are instantaneouslychanged when a resetting occurs; and

970

UKACC International Conference on Control 2012 Cardiff, UK, 3-5 September 2012

978-1-4673-1560-9/12/$31.00 ©2012 IEEE

Page 2: [IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Singularly

3. A criterion for determining when the states of the systemare to be reset.

Mathematical model of these systems is described withEcx(t)= fc(x(t, τ))+Gc(x(t, τ))uc(t),

(t, x(t, τ), uc(t)) ∈S, (II.1)Ed△x(t)= fd(x(t, τ))+Gd(x(t, τ))ud(t),

(t, x(t, τ), uc(t))∈S, (II.2)

yc(t)=hc(x(t, τ))+Jc(x(t, τ))uc(t),

(t, x(t, τ), uc(t)) ∈S, (II.3)yd(t)=hd(x(t, τ)+Jd(x(t, τ))ud(t),

(t, x(t, τ), uc(t))∈S, (II.4)

where t ≥ 0, τ > 0, x(0) = x0, x(t, τ) ∈ D ⊂ Rn × N, D isan open set with 0 ∈ D, uc ∈ Uc ⊂ Rmc , ud(tk) ∈ Ud ⊂ Rmd ,tk denotes kth instant of time at which (t, x(t, τ), uc(t))intersects S for a particular trajectory x(t, τ) and inputuc(t), yc(t) ∈ Rlc , yd(tk) ∈ Rld , fc : D → Rn is Lipschitzcontinuous and satisfies fc(0) = 0, Gc : D → n×mc,fd : D → Rn is continuous and satisfies fd(0) = 0,Gd : D → Rn×md , hc : D → Rlc and satisfies hc(0) = 0,Jc : D → Rlc×mc , hd : D → Rld and satisfies hd(0) = 0,Jd : D → Rld×md , and S ⊂ [0,∞) × Rn × Uc is theresetting set. Here, as in Haddad, Chellaboina, and Kablar(2001a) we assume that uc(·) and ud(·) are restricted to theclass of admissible inputs consisting of measurable functions(uc(t), ud(t)) ∈ Uc × Ud for all t ≥ 0 and k ∈ N[0,t) ≡k : 0 ≤ tk < t, where the constraint set Uc ×Ud is given with(0, 0) ∈ Uc×Ud. We refer to the differential equation (II.1) asthe continuous-time dynamics with time delay, and we refer tothe difference equation (II.2) as the resetting law.

Matrices Ec, Ed may be singular matrices. In case Ec = I ,Ed = I , and τ = 0 (II.1)–(II.4) represent standard impulsivedynamical systems described in Haddad, Chellaboina, andKablar (2001a), and Haddad, Kablar, and Chellaboina (2000,2005), where stability, dissipativity, feedback interconnections,optimality, robustness, and disturbance rejection has beenanalyzed. In absence of discrete dynamics they specialize tosingular continuous-time systems, with further specializationEc = I to standard continuous-time systems. If only discretedynamics is present they specialize to singular discrete-timesystems, with further specialization Ed = I to standarddiscrete-time systems.

In case Ec = I , Ed = I , and τ = 0, (II.1)–(II.4)represent standard impulsive dynamical systems with timedelay. In absence of discrete dynamics they specialize tosingular continuous-time systems with time delay, with furtherspecialization Ec = I to standard continuous-time systemswith time delay. If only discrete dynamics is present theyspecialize to singular discrete-time systems with time delay,with further specialization Ed = I to standard discrete-timesystems with time delay.

Therefore, theory of the singularly impulsive or generalizedimpulsive dynamical systems with time delay once developed,

can be viewed as a generalization of the singular and impulsivedynamical system with time delay theory, unifying them intomore general new system theory.

In what follows is given basic setting and division of thisclass of systems with respect to the definition of the resettingsets, accompanied with adequate assumptions needed for themodel.

We make the following additional assumptions:A1. (0, x0, uc0) ∈ S, where x(0) = x0 and uc(0) = uc0,

that is, the initial condition is not in S.A2. If (t, x(t, τ), uc(t)) ∈ S\S then there exists ϵ > 0 such

that, for all 0 < δ < ϵ, s(t+ δ; t, x(t, τ), uc(t+ δ)) ∈ S .A3. If (tk, x(tk), uc(tk)) ∈ ∂S ∩ S then there exists ϵ >

0 such that, for all 0 < δ < ϵ and ud(tk) ∈ Ud, s(tk +δ; tk, Edx(tk)+fd(x(tk))+Gd(x(tk))ud(tk), uc(tk+δ)) ∈ S.

A4. We assume consistent initial conditions (and prior andafter every resetting).

Assumption A1 ensures that the initial condition for theresetting differential equation (II.1), (II.2) is not a point ofdiscontinuity, and this assumption is made for convenience. If(0, x0, uc0) ∈ S , then the system initially resets to Edx

+0 =

Edx0 + fd(x0) + Gd(x0)ud(0) which serves as the initialcondition for the continuous dynamics (II.1). It follows fromA3 that the trajectory then leaves S. We assume in A2 thatif a trajectory reaches the closure of S at a point that doesnot belong to S, then the trajectory must be directed awayfrom S, that is, a trajectory cannot enter S through a pointthat belongs to the closure of S but not to S. Finally, A3ensures that when a trajectory intersects the resetting set S, itinstantaneously exits S, see Figure 1. We make the followingremarks.

x0

dS

S

Figure 1. Resetting Set.

Remark II.1. It follows from A3 that resetting removes thepair (tk, xk, uc(tk)) from the resetting set S. Thus, imme-diately after resetting occurs, the continuous-time dynamics(II.1), and not the resetting law (II.2), becomes the activeelement of the singularly impulsive dynamical system.

Remark II.2. It follows from A1-A3 that no trajectory canintersect the interior of S. According to A1, the trajectoryx(t) begins outside the set S. Furthermore, it follows from A2that a trajectory can only reach S through a point belongingto both S and its boundary. Finally, from A3, it follows that ifa trajectory reaches a point S that is on the boundary of S,then the trajectory is instantaneously removed from S. Since

971

Page 3: [IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Singularly

a continuous trajectory starting outside of S and intersectingthe interior of S must first intersect the boundary of S, itfollows that no trajectory can reach the interior of S.

Remark II.3. It follows from A1-A3 and Remark 1.2 that∂S ∪ S is closed and hence the resetting times tk are welldefined and distinct.

Remark II.4. Since the resetting times are well defined anddistinct, and since the solutions to (II.1) exist and are unique, itfollows that the solutions of the singularly impulsive dynamicalsystem (II.1), (II.2) also exist and are unique over a forwardtime interval.

In Haddad, Chellaboina and Kablar (2001a), the resettingset S is defined in terms of a countable number of functionsnk : Rn → (0 ,∞), and is given by

S = ∪k{(nk (x ), x , uc(nk (x )) : x ∈ Rn}. (II.5)

The analysis of singularly impulsive dynamical systems withtime delay and with a resetting set of the form (II.5) can bequite involved. In particular, such systems exhibit Zenoness,beating, as well as confluence phenomena wherein solutionsexhibit infinitely many transitions in a finite times, andcoincide after a given point of time, Haddad, Chellaboinaand Kablar (2001a). In this paper we assume that existenceand uniqueness properties of a given singularly impulsivedynamical system with time delay are satisfied in forward time.Furthermore, since singularly impulsive dynamical systems ofthe form (II.1)-(II.4) involve impulses at variable times theyare time-varying systems.

Here we will consider singularly impulsive dynamical sys-tems involving two distinct forms of the resetting set S. In thefirst case, the resetting set is defined by a prescribed sequenceof times which are independent of state x. These equationsare thus called time-dependent singularly impulsive dynamicalsystems with time delay. In the second case, the resetting setis defined by a region in the state space that is independentof time. These equations are called state-dependent singularlyimpulsive dynamical systems with time delay.

A. Time-Dependent Singularly Impulsive Dynamical Systemswith Time Delay

Time-dependent singularly impulsive dynamical systemswith time delay can be written as (II.1)–(II.4) with S definedas

S = n × Rn × Uc, (II.6)

where

n = t1 , t2 , . . . (II.7)

and 0 < t1 < t2 < . . . are prescribed resetting times. Whenan infinite number of resetting times are used and tk → ∞ ask → ∞, then S is closed. Now (II.1)–(II.4) can be rewritten inthe form of the time-dependent singularly impulsive dynamical

system with time delay

Ecx(t)= fc(x(t, τ)) +Gc(x(t, τ))uc(t), t = tk, (II.8)Ed△x(t)= fd(x(t, τ)+Gd(x(t, τ))ud(t), t = tk, (II.9)

yc(t)=hc(x(t, τ)) + Jc(x(t, τ))uc(t), t = tk,(II.10)yd(t)=hd(x(t, τ)) + Jd(x(t, τ))ud(t), t = tk.(II.11)

Since 0 ∈ τ and tk < tk+1, τ > 0, it follows that theassumptions A1–A3 are satisfied. Since time-dependent sin-gularly impulsive dynamical systems with time delay involveimpulses at a fixed sequence of times, they are time-varyingsystems.

Remark II.5. The time-dependent singularly impulsive dy-namical system with time delay (II.8)–(II.11), with Ec = Iand Ed = I includes as a special case the impulsive controlproblem addressed in the literature wherein at least one of thestate variables of the continuous-time plant can be changedinstantaneously to any given value given by an impulsivecontrol at a set of control instants τ , Haddad, Chellaboinaand Kablar (2001a).

B. State-Dependent Singularly Impulsive Dynamical Systemswith Time Delay

State-dependent singularly impulsive dynamical systemswith time delay can be written as (II.1)–(II.4) with S definedas

S = [0,∞)×Z, (II.12)where Z = Zx × Uc and Zx ⊂ Rn. Therefore, (II.1)–(II.4)can be rewritten in the form of the state-dependent singularlyimpulsive dynamical system with time delay

Ecx(t)= fc(x(t, τ))+Gc(x(t, τ))uc(t),

(x(t, τ), uc(t)) ∈Z, (II.13)Ed△x(t)= fd(x(t, τ))+Gd(x(t, τ))ud(t),

(x(t, τ), uc(t))∈Z, (II.14)yc(t)=hc(x(t, τ))+Jc(x(t, τ))uc(t),

(x(t, τ), uc(t)) ∈Z, (II.15)yd(t)=hd(x(t, τ))+Jd(x(t, τ))ud(t),

(x(t, τ), uc(t))∈Z. (II.16)

We assume that (x0, uc0) ∈ Z , τ > 0, (0, 0) ∈ Z , and thatthe resetting action removes the pair (x, uc) from the set Z;that is, if (x, uc) ∈ Z then (Edx+fd(x)+Gd(x)ud, uc) ∈ Z ,ud ∈ Ud. In addition, we assume that if at time t the trajectory(x(t, τ), uc(t)) ∈ Z\Z , then there exists ϵ > 0 such that for0 < δ < ϵ, (x(t+ τ + δ), uc(t+ δ)) ∈ Z .

These assumptions represent the specialization of A1–A3for the particular resetting set (II.12). It follows from theseassumptions that for a particular initial condition, the resettingtimes τk(x0) are distinct and well defined. Since the resettingset Z is a subset of the state space and is independent oftime, state-dependent singularly impulsive dynamical systemswith time delay are time-invariant systems. Finally, in the casewhere S ≡ [0,∞) × Rn × Zuc , where Zuc ⊂ Uc we referto (II.13)–(II.16) as an input-dependent singularly impulsive

972

Page 4: [IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Singularly

dynamical system with time delay. Both these cases representa generalization to the impulsive control problem consideredin the literature.

III. LYAPUNOV AND ASYMPTOTIC STABILITY OFSINGULARLY IMPULSIVE DYNAMICAL SYSTEMS WITH

TIME DELAY

In this section we present Lyapunov and asymptotic stabilityresults of singularly impulsive dynamical systems with timedelay.

Theorem III.1. Suppose there exists a continuously differ-entiable function V : D → [0,∞) satisfying V (0) = 0,V (Ec/dx) ≥ 0, x = 0, and

V ′(Ecx)fc(x) ≤ 0, x ∈ D, (III.17)V (Edx+ fd(x) ≤ V (x), x ∈ D. (III.18)

Then the zero solution x(t, τ) ≡ 0 of the undisturbed((uc(t), ud(tk)) ≡ (0, 0)) time-dependent singularly impulsivedynamical system with time delay (II.8),(II.9) is Lyapunovstable. Furthermore, if the inequality (III.17) is strict for allx = 0, then the zero solution x(t, τ) ≡ 0 of the undisturbed((uc(t), ud(tk)) ≡ (0, 0)) time-dependent singularly impulsivedynamical system with time delay (II.8), (II.9) is asymptoticallystable. If, in addition, D = Rn and

V (Ec/dx) → ∞ as ∥x∥ → ∞, (III.19)

then the zero solution x(t, τ) ≡ 0 of the undisturbed((uc(t), ud(tk)) ≡ (0, 0)) time-dependent singularly impul-sive dynamical system with time delay (II.8), (II.9) is glob-ally asymptotically stable, Haddad, Chellaboina, and Kablar(2001), Kablar (2003b).

Proof: Prior to the first resetting time, we can determinethe value of V (x(t, τ)) as

V (Ecx(t, τ)) = V (Ecx(0)) +

∫ t

0

V ′(x(Ec))fc(x(s, τ)ds,

t∈ [0, t1]. (III.20)

Between consecutive resetting times tk and tk+1, we candetermine the value of V (x(t, τ)) as its initial value plus theintegral of its rate of change along the trajectory x(t, τ), thatis,

V (Ec/dx(t, τ) = V (Edx(tk) + fd(x(tk))

+

∫ t

tk

V ′(x(Ec))fc(x(s, τ))ds,

t ∈ (tk, tk+1], (III.21)

for k = 1, 2, . . . . Adding and subtracting V (x(Edtk)) to andfrom the right hand side of the (III.21) yields

V (Ec/dx(t, τ))=V (Ecx(tk)) + [V (Edx(tk)

+fd(x(tk))−V (Edx(tk))]

+

∫ t

tk

V ′(Ecx(s, τ))fc(x (s, τ))ds, t ∈ (tk , tk+1 ],

(III.22)

and in particular at time tk+1,

V (Edx(tk+1)) = V (Edx(tk))+[V (Edx(tk)

+fd(x(tk)))− V (Edx(tk))]

+

∫ tk+1

tk

V ′(x(s, τ))fc(x (s, τ))ds.

(III.23)

By recursively substituting (III.23) into (III.22) and ultimatelyinto (III.20), we obtain

V (Ecx(t, τ)) = V (Ecx(0)) +

∫ t

0

V ′(Ecx(s, τ))fc(x (s, τ))ds

+

k∑i=1

[V (Edx(ti) + fd(x(ti)))− V (Edx(ti))]]. (III.24)

If we allow t0 = 0, and∑0

i=1 = 0, then (III.24) is valid fork ∈ N . From (III.24) and (III.18) we obtain

V (Ecx(t, τ)) ≤

V (Ecx(0)) +

∫ t

0

V ′(Ecx(s, τ))fc(x (s, τ))ds,

t ≥ 0. (III.25)

Furthermore, it follows from (III.17) that

V (Ecx(t, τ)) ≤ V (Ecx(0)), t ≥ 0, (III.26)

so that Lyapunov stability follows from standard arguments.Next, it follows from (III.18) and (III.24) that

V (Ecx(t, τ))− V (Ecx(s, τ)) ≤∫ t

s

V ′(x(Ecs, τ))fc(x (s, τ))ds,

t > s, (III.27)

and, assuming strict inequality in (III.17), we obtain

V (Ecx(t, τ)) < V (Ecx(s, τ)), t > s, (III.28)

provided x(s, τ) = 0. Asymptotic stability, and, with (III.19),global asymptotic stability, then follow from standard argu-ments.

Remark III.1. If in Theorem III.1 the inequality (III.18) isstrict for all x = 0 as opposed to the inequality (III.17), andan infinite number of resetting times are used, that is, the setτ = {t1, t2, . . .} is infinitely countable, then the zero solutionx(t, τ) ≡ 0 of the undisturbed time-dependent singularlyimpulsive dynamical system with time delay (II.8), (II.9) isalso asymptotically stable. A similar remark holds for Theorem2.2.2.

Remark III.2. In the proof of Theorem III.1, we note thatassuming strict inequality in (III.17), the inequality (III.28) isobtained provided x(s, τ) = 0. This proviso is necessary sinceit may be possible to reset the states to the origin, in whichcase x(s, τ) = 0 for a finite value of s. In this case, for t > s,we have V (Ecx(t, τ)) = V (Ecx(s, τ)) = V (0) = 0. Thissituation does not present a problem, however, since reachingthe origin in finite time is a stronger condition than reachingthe origin as t → ∞.

973

Page 5: [IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Singularly

Remark III.3. If, additionally, in Theorem III.1 there existscalars α, β, ϵ > 0, and p ≥ 1, such that α∥x∥p ≤V (Ecx) ≤ β∥x∥p, x ∈ D, and (III.17) is replaced byV ′(Ecx)fc(x) ≤ −ϵV (Ecx), x ∈ D, then the zero solutionx(t, τ) ≡ 0 of the undisturbed ((uc(t), ud(tk)) ≡ (0, 0)) time-dependent singularly impulsive dynamical system with timedelay (II.8), (II.9) is exponentially stable. A similar remarkholds for Theorem 2.2.2.

Remark III.4. Theorem III.1 presents sufficient conditions fortime-dependent singularly impulsive dynamical systems withtime delay in terms of Lyapunov functions that do not dependexplicitly on time. Since time-dependent singularly impulsivedynamical systems are time-varying, Lyapunov functions thatexplicitly depend on time can also be considered. However, inthis case the conditions on the Lyapunov functions requiredto guarantee stability are significantly harder to verify. Forfurther details see Bainov and Simeonov (1989), Samoilenkoand Perestyuk (1995), Ye, Michael, and Hou (1998).

Next, we state a stability theorem for nonlinear state-dependent singularly impulsive dynamical systems with timedelay.

Theorem III.2. Suppose there exists a continuously differ-entiable function V : D → [0,∞) satisfying V (0) = 0,V (Ecx) ≥ 0, x = 0, and

V ′(Ecx)fc(x) ≤ 0, x ∈ Zx, (III.29)V (Edx+ fd(x)) ≤ V (Ecx), x ∈ Zx. (III.30)

Then the zero solution x(t, τ) ≡ 0 of the undisturbed((uc(t), ud(tk)) ≡ (0, 0)) state-dependent singularly impul-sive dynamical system with time delay (II.13), (II.14) isLyapunov stable. Furthermore, if the inequality (III.29) isstrict for all x = 0, then the zero solution x(t, τ) ≡ 0of the undisturbed ((uc(t), ud(tk)) ≡ (0, 0) state-dependentsingularly impulsive dynamical system with time delay (II.13),(II.14) is asymptotically stable. If, in addition, D = Rn and(III.19) is satisfied, then the zero solution x(t, τ) ≡ 0 ofthe undisturbed ((uc(t), ud(t)k)) ≡ (0, 0)) state-dependentsingularly impulsive dynamical system with time delay (II.13),(II.14) is globally asymptotically stable, Haddad, Chellaboina,and Kablar (2001), Kablar (2003b).

Proof: For S = [0,∞) × Zx it follows from As-sumptions A1–A3 that the resetting times nk (x0 ) are welldefined and distinct for every trajectory of (II.13), (II.14) with(uc(t), ud(tk)) ≡ (0, 0). Now, the proof follows as in the proofof Theorem III.1 with tk replaced by nk (x0 ).

Remark III.5. To examine the stability of linear state-dependent singularly impulsive dynamical systems with timedelay set fc(x) = Acx, and fd(x) = (Ad −Ed)x in TheoremIII.2. Considering the quadratic Lyapunov function candidateV (Ec/dx) = xTET

c/dPEc/dx, for the argument Ecx and Edx,respectively where P > 0, it follows from Theorem III.2 that

the conditions

xT(ATc PEc + ET

c PAc)x < 0, x ∈ Zx, (III.31)xT(AT

dPAd − ETd PEd)x ≤ 0, x ∈ Zx, (III.32)

establish asymptotic stability for linear state-dependent sin-gularly impulsive dynamical systems with time delay. Theseconditions are implied by P > 0, AT

c PEc + ETc PAc < 0,

and ATdPAd−ET

d PEd ≤ 0 which can be solved using LinearMatrix Inequality (LMI) feasibility problem Boyd et al. (1994).See also Haddad, Chellaboina, and Kablar (2001a).

IV. CONCLUSION

In this paper we presented new class of singularly impulsiveor generalized impulsive dynamical systems with delay. Wegave assupmtions needed for the model and basic divisionof singularly impulsive dynamical systems into twio classes:time dependenet and state dependent. Next, we developedLyapunov and asymptotic stability results.

V. FUTURE WORK

It is left to develop invariant set theorem for singularlyimpulsive dynamical systems. Next, further work will concen-trate to specializing this results and developing to time-delaysystems. The last is motivated by recognized need in biologicalapplications.

On the other hand finite-time and practical stability resultswill be developed for the class of impulsive and singularlyimpulsive dynamical systems with delay.

VI. ACKNOWLEDGMENT

The author is grateful to all that were supportive and creativein achieving these results.

VII. REFERENCES

[1] Bainov D.D. and P.S. Simeonov, Systems with ImpulseEffect: Stability, Theory and Applications. England, Ellis Hor-wood Limited, 1989.

[2] Boyd S., L.E. Ghaoui, E. Feron, and V. Balakrishnan,Linear Matrix Inequalities in System and Control Theory. In:SIAM studies in applied mathematics, 1994.

[3] Back A., J. Guckenheimer, and M. Myers, ”A dynamicalsimulation facility for hybrid systems,” In R. Grossman, A.Nerode, A. Ravn and H. Rischel (Eds), Hybrid Systems, NewYork: Springer-Verlag, pp. 255–267, 1993.

[4] Branicky M. S., ”Multiple-Lyapunov functions and otheranalysis tools for switched and hybrid systems,” IEEE Trans-actions on Automatic Control, Vol. 43, pp. 475–482, 1998.

[5] Branicky M. S., V. S. Borkar, and S. K. Mitter, ”Aunified framework for hybrid control: model and optimalcontrol theory,” IEEE Transactions on Automatic Control, Vol.43, pp. 31–45, 1998.

[6] Brogliato B., Non-smooth Impact Mechanics: Models,Dynamics and Control, London: Springer-Verlag, 1996.

[7] Brogliato B., S. I. Niculescu, and P. Orhant, ”On the con-trol of finite-dimensional mechanical systems with unilateral

974

Page 6: [IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Singularly

constraints,” IEEE Transactions on Automatic Control, Vol.42, pp. 200–215, 1997.

[8] Guan Z-H., C.W.Chan, A. Y.T.Leung, and G. Chen,”Robust Stabilization of Singular-Impulsive-Delayed Systemswith Nonlinear Perturbations,” IEEE Trans. On Circ. And Sys.- I: Fundamental Theory and Applications, vol. 48, No. 3,2001.

[9] Haddad W.M., V.Chellaboina, N.A. Kablar, ”NonlinearImpulsive Dynamical Systems: Stability and Dissipativity,”Proc. IEEE Conf. Dec. Contr., pp. 5158-5163, Phoenix, AZ,1999a. Also in: Int. J. Contr., vol. 74, pp. 1631-1658, 2001a.

[10] Haddad W.M., V.Chellaboina, N.A. Kablar, ”NonlinearImpulsive Dynamical Systems: Feedback Interconnections andOptimality,” Proc. IEEE Conf. Dec. Contr., Phoenix, AZ,1999b. Also in: Int. J. Contr., vol. 74, pp. 1659-1677, 2001b.

[11] Haddad W.M., N.A. Kablar, V.Chellaboina, ”Robust-ness of Uncertain Nonlinear Impulsive Dynamical Systems,”Proc. IEEE Conf. Dec. Contr., Sidney, pp. 2959-2964, Aus-tralia, 2000. Also in: Nonlinear Anal., submitted.

[12] Haddad W.M., N.A. Kablar, V.Chellaboina, ”OptimalDisturbance Rejection of Nonlinear Impulsive Dynamical Sys-tems,” Nonlinear Anal., published, 2005.

[13] Kablar N.A., ”Singularly Impulsive or GeneralizedImpulsive Dynamical Systems,” Proc. Amer. Contr. Conf.,Denver, CO, 2003a.

[14] Kablar N.A., ”Lyapunov and Asymptotic Stability ofSingularly Impulsive Dynamical Systems,” Proc. IEEE Conf.Dec. Contr., USA, 2003b.

[15] Kablar N.A., ”Finite-Time Stability of Singularly Im-pulsive Dynamical Systems,” IEEE Conf. Decision and Con-trol, Atlanta, USA, 2010.

[16] Kablar N.A., ”Robust Stability Analyse of SingularlyImpulsive Dynamical Systems,” Proc. Amer. Contr. Conf.,USA, 2006.

[17] Lakshmikantham V., D. D. Bainov, and P. S. Simeonov,Theory of Impulsive Differential Equations, Singapore: WorldScientic, 1989.

[18] Lakshmikantham V. and X. Liu, ”On quasi stability forimpulsive differential systems,” Non. Anal. Theory, Methodsand Applications, Vol. 13, pp. 819–828, 1989.

[19] Lakshmikantham V., S. Leela, and S. Kaul, ”Compari-son principle for impulsive differential equations with variabletimes and stability theory,” Non. Anal. Theory, Methods andApplications, Vol. 22, pp. 499–503, 1994.

[20] Leonessa A., W. M. Haddad, and V. Chellaboina,Hierarchical Nonlinear Switching Control Design with Ap-plications to Propulsion Systems, London: Springer- Verlag,2000.

[21] Liu X., ”Stability results for impulsive differential sys-tems with applications to population growth models,” DynamicStability Systems, Vol. 9, pp. 163–174, 1994.

[22] Lygeros J., D. N. Godbole, and S. Sastry, ”Verifiedhybrid controllers for automated vehicles,” IEEE Transactionson Automatic Control, Vol. 43, pp. 522–539, 1998.

[23] Passino K.M., A. N. Michel, and P. J. Antsaklis,”Lyapunov stability of a class of discrete event systems,” IEEE

Transactions on Automatic Control, Vol. 39, pp. 269–279,1994.

[24] Raibert M. H, Legged Robots that Balance, MIT Press,Cambridge, MA, 1986.

[25] Samoilenko A. M. and N.A. Perestyuk, ImpulsiveDifferential Equations. World Scientific, 1995.

[26] Ye H., A.N. Michel, and L. Hou, ”Stability Analysis ofSystems with Impulsive Effects,” IEEE Trans. Autom. Contr.,vol. 43, pp. 1719–1723, 1998.

975