Further Results on Stability of Singular Time Delay Systems in the Sense of Non-Lyapunov: A New Dela...

Dragutin Lj. Debeljkovic, Sreten B. Stojanovic, Goran V. Simeunovic, Nebojsa J. Dimitrijevic

  Open Access OPEN ACCESS  Peer Reviewed PEER-REVIEWED

Further Results on Stability of Singular Time Delay Systems in the Sense of Non-Lyapunov: A New Delay Dependent Conditions

Dragutin Lj. Debeljkovic1,, Sreten B. Stojanovic2, Goran V. Simeunovic3, Nebojsa J. Dimitrijevic1

1Department of Control Eng., University of Belgrade, School of Mechanical Engineering, Belgrade, Serbia

2Faculty of Technology, University of Nis, Serbia

3University of Belgrade, School of Mechanical Engineering, Innovation Centre, Belgrade, Serbia

Abstract

In this paper, we consider the problem of finite-time stability of a class of linear singular continuous time delay systems. By using Lyapunov-like functional with time-delay, new delay-dependent stability condition has been derived in terms of matrix inequality such that the system under consideration is regular, impulse free and finite time stable. In the proposed stability criterion, Drazin inverse of a singular matrix is used.

Cite this article:

  • Debeljkovic, Dragutin Lj., et al. "Further Results on Stability of Singular Time Delay Systems in the Sense of Non-Lyapunov: A New Delay Dependent Conditions." Automatic Control and Information Sciences 2.1 (2014): 13-19.
  • Debeljkovic, D. L. , Stojanovic, S. B. , Simeunovic, G. V. , & Dimitrijevic, N. J. (2014). Further Results on Stability of Singular Time Delay Systems in the Sense of Non-Lyapunov: A New Delay Dependent Conditions. Automatic Control and Information Sciences, 2(1), 13-19.
  • Debeljkovic, Dragutin Lj., Sreten B. Stojanovic, Goran V. Simeunovic, and Nebojsa J. Dimitrijevic. "Further Results on Stability of Singular Time Delay Systems in the Sense of Non-Lyapunov: A New Delay Dependent Conditions." Automatic Control and Information Sciences 2, no. 1 (2014): 13-19.

Import into BibTeX Import into EndNote Import into RefMan Import into RefWorks

1. Introduction

It was noticed that the characteristics of the dynamic and static state should be considered at the same time for some systems. Singular systems (also referred to as degenerate, descriptor, generalized, differential-algebraic or semi-state systems) are systems whose dynamic is governed by the complexity of algebraic and differential equations. Recently, many researchers have paid much attention to singular systems and they have accomplished numerous interesting conclusions. The complex nature of singular systems generates many difficulties in the analytical and numerical solution of such systems, particularly, when there is a need for their control.

Recently, the singular systems have been one of the major research fields of control theory. During the past three decades singular systems have attracted much attention due to the comprehensive applications in economics, as the Leontief dynamic model, in electrical applications using the theory described in [1], in mechanical models as in [2], etc. Singular systems in control theory have been initially discussed in [3] and [4].

The investigation of time delay systems has been carried out over many years. Time delay is very often encountered in various technical systems, such as electric, pneumatic and hydraulic networks, chemical processes, long transmission lines, etc.

It has been observed that variety of singular systems is characterized by the phenomena of time delay. Such systems are called singular differential systems with time delay. These systems have many special characteristics. In order to mathematically describe those systems more accurately, and to control them more effectively, the effort must be put to investigate this specific class of the singular systems. In this article, the new approach to the stability of the singular time delay systems is presented.

2. Stability Concepts

Classical stability concepts (e.g. Lyapunov stability, BIBO stability) are deal with systems operating over an infinite interval of time. These concepts require that state variables be bounded, whereby the values of the bounds are not prescribed. However, often asymptotic stability is not enough for practical applications, because there are some cases where large values of the state are not acceptable. For example, for the chemical processes (temperature, humidity, pressure. ..), rockets, airplanes and space vehicles, it is expected that their state variables will have been controlled within certain bounds over a finite time interval. In these cases, we need to check that these unacceptable values are not attained by the state. For this purposes, the concepts of the finite-time stability (FTS) and practical stability has been used. A system is said to be FTS if, once a time interval is fixed, its state does not exceed some bounds during this time interval.

Realizing this fact, numerous definitions of the so-called technical and practical stability have been introduced. Generally speaking, these definitions are essentially based on the predefined boundaries for the perturbation of initial conditions and the allowable perturbation of the system response. In the engineering applications of control systems, this fact becomes very important and sometimes crucial for the purpose of characterizing in advance in a quantitative manner including possible deviations of the system response. Thus, the analysis of these particular bound properties of the solutions is an important step, which precedes the design of control signals, when finite time or practical stability control is taken into account.

In this article the singular time delay systems have been considered. The various notations of stability over a finite time interval for continual-time systems and constant set trajectory bounds were introduced in [5, 6, 7].

3. Review of Previous Results

In the following short overview a few important results for the continuous linear systems in the area of the non-Lyapunov stability have been presented.

3.1. Finite Time Stability – Singular Systems Layout

In the context of practical stability for linear continuous singular systems, various results were presented in [8]. The further extensions of these results were presented in [9] for both regular and irregular singular systems. Namely, these papers have examined some practically important boundedness and associated unboundedness properties of the response of linear singular systems. For the first time the finite time stability of singular systems operating under perturbing forces has been investigated in papers [10, 11, 12] using the Coppel’s inequality and matrix measure approach. The concept of finite time and practical stability applied to the class of time varying singular systems were presented in [13].

Necessary and sufficient conditions for the linear singular systems stability operating over a finite time interval have been derived in [14].

Furthermore, the reciprocal problem of the instability of the same class of systems has been solved in [15].

The initial work, where the Bellman-Gronwall approach was applied in the study of linear singular systems, was presented in [16]. The modified extension of the practical stability to general singular systems was introduced in [17]. A novel approach in time domain, based on the fundamental matrix of singular systems, has been applied in [18].

In the [19], the practical stabilization and controllability of singular systems have been examined using the modified extension approach. The finite-time control of linear singular systems with parametric uncertainness and disturbances was analyzed in the [20].

3.2. Finite Time Stability – Time Delay Systems

In the context of finite or practical stability for a particular class of the nonlinear singularly perturbed multiple time delay systems various results were presented in [21]. The authors presented stability definitions based on [6, 7] adopted for time delay systems. Various results for finite time and practical stability for linear continuous time delay systems were first introduced in [22, 23, 24]. In these papers some basic results from the finite time and practical stability were extended to the particular class of linear continuous time delay systems. The matrix measure approach was applied to the analysis of the practical and finite time stability of linear time delayed systems in [10] and [25, 26].

Based on the Coppel’s inequality, introducing the matrix measure approach the work provided simple delay-dependent sufficient conditions of the practical and finite time stability with no need for time delay fundamental matrix calculations. The collection of all previous results and contributions were presented in [27, 28] with the overall comments and modified Bellman–Gronwall approach.

Finally, the modified Bellman–Gronwall principle has been extended to the particular class of continuous non-autonomous time delayed systems operating over the finite time interval, [29].

3.3. Finite Time Stability – Singular Time Delay Systems

In [30] the idea of practical stability with time delays in terms of two measurements has been introduced. The work represented the first attempts to apply the non-Lyapunov concept to this specific class of control systems. The paper also shows the difficulty to calculate the time derivatives along the systems trajectory using the classical aggregate (Lyapunov) function for singular time delayed system.

4. Notations and Preliminaries

In this article, we have presented a novel approach to stability of singular time delay systems. The results have been directly expressed in terms of matrices E, A0 and A1 naturally occurring in the system model. In this approach there is no need to introduce any canonical form in the statement of the theorems. The geometric theory of consistency leads to the natural class of positive definite quadratic forms on the subspace containing all solutions. This fact makes the construction of the Lyapunov and non- Lyapunov stability theory possible even for the linear continuous singular time-delay systems (LCSTDS). Moreover, the attractive property is equivalent to the existence of symmetric positive definite solutions of a weak form of the Lyapunov matrix equation, incorporating conditions which refer to the boundedness of solutions.

Another approach is based on a classical theory mostly used in deriving sufficient delay independent conditions of the finite time stability. In the former case a new definition has been introduced based on the attractivity properties of the system solution which can be treated as analogous to the quasi-contractive stability as in [6, 7].

The following notation has been used:

: Real vector space

: Complex vector space

: Identity matrix

FT: Transpose of matrix F

F > 0: Positive definite matrix

F ≥ 0: Positive semi definite matrix

ℜ(F): Range of matrix F

ℵ(F): Null space (kernel) of matrix F

λ(F): Eigenvalue of matrix F

: Euclidean matrix norm of F

The general expression of singular control systems with time delay can be written in its differential form as:

(1)

where is a state vector, is a control vector, is a singular matrix, φ is an admissible initial state functional, is the Banach space of continuous functions mapping the interval [-τ, 0] into with topology of uniform convergence.

The vector function satisfies:

(2)

and it is assumed to be smooth enough to assure the existence and uniqueness of solutions over a time interval:

(3)

as well as the continuous dependence of the solutions denoted by with respect to and the initial data.

Quantity T may be either a positive real number or the symbol, so that the finite time stability and practical stability can be treated simultaneously, respectively.

In general, it is not required that

(4)

for an autonomous system, which means that the origin of the state space is not necessarily required to be an equilibrium state.

Let denote the state space of a system given by (1) and the Euclidean norm.

Let , be the tentative aggregate function, so that is bounded and for which is also bounded.

Define the Eulerian derivative of along the trajectory of the system (2), with

(5)

For time-invariant sets it is assumed: is a bounded open set.

The closure and boundary of are denoted by and, respectively, so:.

Let be a given set of all allowable states of the system.

Set , denotes the set of all allowable initial states and corresponds with the set of allowable disturbances.

Sets , are connected and a priori known. λ ( ) denotes the eigenvalues of matrix ( ).

and are the maximum and minimum eigenvalues, respectively. denotes the matrix singular values.

5. Some Necessary Definitions

Consider a linear continuous singular system with state delay, described by

(6)

with a known compatible vector valued function of the initial conditions

(6a)

where and are the constant matrices of appropriate dimensions.

Moreover, we shall assume that.

Definition 1. Matrix pair is said to be regular if is not identically zero, [31].

Definition 2. The matrix pair is said to be impulsive free if , [31].

The linear continuous singular time delay system (1) may have an impulsive solution. However, the regularity and the absence of impulses of the matrix pair (E, A0) ensure the existence and uniqueness of an impulse-free solution of the system. The existence of such solutions is defined in the following Lemma.

Lemma 1. Suppose that the matrix pair is regular and impulsive free, then the solution to (6.a) exists and is impulse-free and unique on [0, ∞], [31].

As a necessity for the system stability investigation there is a need for establishing a proper stability definition. Therefore, the following definition can be established.

Definition 3. LCSTDS (6) is said to be regular and impulsive free, if the matrix pair is regular and impulsive free. (b) LCSTDS (6) is said to be stable, if for any there exists a scalar such that, for any compatible initial conditions, the solution of system (2) satisfies .Moreover, if , the system is said to be asymptotically stable, [31].

In the further analysis the following case has been considered: the subspace of consistent initial conditions for singular time delay and singular non-delay systems coincides.

Remark 1. The singularity of matrix will ensure that solutions of (6) exist only for special choices of , .

In [32] the subspace of of consistent initial is shown to be the limit of the nested subspace algorithm

(7)

Moreover, if , then and is invertible for some λ∈ (condition for uniqueness), then .

Remark 2. Note that here , where is arbitrarily matrix.

Note, also, that implies that:

(8)

is norm on .

Remark 3. We will also need the following definitions of the smallest, respectively the largest eigenvalues of matrix , with respect to subspace of consistent initial conditions and matrix

Proposition 1. If is quadratic form on then it follows that there exist numbers and satisfying such that:

(9)

with matrix and corresponding eigenvalues:

(10)
(11)

Note that if .

Before starting our results, the concept of finite-time stability for the time-delay system (1) is introduced. This concept can be formalized through the following definition.

Definition 4. Singular time delayed system (6) is regular, impulsive free and finite-time stable with respect to , if , satisfying

(12)

implies

(13)

where is a subspace of consistent initial conditions, [31].

6. Some Previous Results

In the further analysis the following case has been considered: the subspace of consistent initial conditions for singular time delay and singular non-delay systems coincides.

Theorem 1. Singular time delayed system (6) is finite time stable in the sense of Definition 5, with respect to , , if there exists a positive real number , , [33], such that:

(14)

and if the following condition is satisfied:

(15)

where

(16)

[34].

Theorem 2. Singular time delayed system (6) is regular, impulse free and finite-time stable with respect to if there exists a positive real number such that the following conditions are satisfied:

(17)
(18)
(19)
(20)
(21)
(22)

where is a subspace of consistent initial conditions, [31].

Lemma 2. For any real constant and any symmetric, positive definite matrix the following condition is satisfied:

(23)

[33, 35].

Theorem 3. Time delayed system (6) is regular, impulse free and finite time stable with respect to , if there exist positive real numbers and , such that the following condition is satisfied :

(24)
(25)
(26)
(27)

where is a subspace of consistent initial conditions, [31, 36].

Theorem 4. Singular time delayed system (6) is regular, impulse free and finite time stable with respect to , if there exist a positive scalar and two positive definite matrices , , and matrix such that the following conditions hold:

(28)
(29)
(30)

and:

(31)

[31]

7. Main Result

Theorem 5. A singular time delayed system (6) is regular, impulse free and finite-time stable with respect to if the following conditions are satisfied:

(32)
(33)
(34)

where is Drazin inverse of matrix and

(35)
(36)

Proof. A tentative aggregation function is defined as:

(37)

Total derivative along the trajectories of the system is:

(38)
(39)

or

(40)

Further

(41)

Preceding equation allows us to write

(42)

Integrating (42) from to , leads to

(43)

Then

(44)

based on Definition 4.

So one can write

(45)

On the other hand

(46)

Using, finally (35), it is easy to show

(47)

what completes the proof.

8. Conclusion

Generally, this paper extends some of the basic results in the area of the non-Lyapunov stability to the class of LCSTDS. Furthermore, part of this result is a geometric counterpart of the algebraic theory in [1] supplemented with appropriate criteria to cover the need for system stability in the presence of actual time delay terms. A novel sufficient delay-dependent criterion for the finite-time stability of linear continuous singular time-delay system has been presented.

Acknowledgement

This work has been supported by The Ministry of Science and Technological Development of Serbia under the Project ON 174 001.

References

[1]  Campbell, S. L., “Singular Systems of Differential Equations”, Pitman, Marshfield, MA, 1980.
In article      
 
[2]  Müller, P.C., “Stability of Linear Mechanical Systems with Holonomic Constraints”, Applied Mechanics Review, 46 (11). 160-164. 1993.
In article      CrossRef
 
[3]  Campbell, S.L., Meyer, C.D., Rose, N.J. “Application of Drazin Inverse to Linear Systems of Differential Equations”, SIAM J. Appl. Math., 31. 411-425. 1976.
In article      CrossRef
 
[4]  Luenberger, D.G., “Dynamic Equations in Descriptor Form”, IEEE Trans. Automat. Cont., 22 (3). 312-321. 1977.
In article      CrossRef
 
[5]  La Salle, Lefschet, S., “Stability by Lyapunov’s Direct Method”, Academic Press, New York, 1961.
In article      
 
[6]  Weiss, L., Infante, E.F., “On the Stability of Systems Defined over a Finite Time Interval”, Proc. National Acad. Sci., 54. 44-48. 1965.
In article      CrossRef
 
[7]  Weiss, L., Infante, E.F., “Finite Time Stability under Perturbing Forces and on Product Spaces”, IEEE Trans. Automat. Cont., 12. 54-59. 1967.
In article      CrossRef
 
[8]  Debeljkovic, D., Owens, H., “On practical stability of singular systems”, Proc. MELECON Conf. 85, Madrid, Spain, 103-105. 1985.
In article      
 
[9]  Debeljkovic, D.Lj., Bajic, V.B., Gajic, Z., Petrovic, B., “Boundedness and existence of solutions of regular and irregular singular systems", Publications of the Faculty of Electrical Eng, Belgrade, Automatic Control, 1. 69-78. 1993.
In article      
 
[10]  Debeljkovic, D.Lj., Lazarevic, M.P., Koruga, Đ., Tomasevic, S., “Finite time stability of singular systems operating under perturbing forces: Matrix measure approach”, Proc. AMSE Conference, Melbourne Australia, 447-450. October 29-31. 1997.
In article      
 
[11]  Kablar, N.A., Debeljkovic, D.Lj., “Non - Lyapunov stability of linear singular systems: Matrix measure approach”, MNTS - Mathematical Theory of Networks and Systems, Presented lecture, also in Proc. of Ext. Abstracts, TM7, Padova, Italy, July 6-10, 1998.
In article      
 
[12]  Kablar, N.A., Debeljkovic, D.Lj., “Non - Lyapunov stability of linear singular systems: Matrix measure approach”, Preprints 5th IFAC Symposium on Low Cost Automation, Shenyang, China, September 8-10, TS13. 16-20, 1998.
In article      
 
[13]  Kablar, N.A., Debeljkovic, D.Lj., “Finite time stability of time varying singular systems”, Proc. IEEE CDC 98, Florida, USA, pp.3831-3836, December 10-12, 1998.
In article      
 
[14]  Debeljkovic, D.Lj., Kablar, N.A., “On necessary and sufficient conditions of linear singular systems stability operating on finite time interval”, Proc. XII CBA, Uberlandia, Brazil, IV. 1241-1246. September 14 -18. 1998.
In article      
 
[15]  Kablar, N.A., Debeljkovic, D.Lj., “Finite time instability of time varying linear singular systems”, Proc. IEEE ACC 99, San Diego, USA, 1796-1800. June 2-4. 1999.
In article      
 
[16]  Debeljkovic, D.Lj., Kablar, N.A., “Finite time stability of linear singular systems: Bellman-Gronwall approach”, Proc. ACC 99, San Diego, USA, 1803-1806. June 2-4. 1999.
In article      
 
[17]  Yang, C.Y., Zhang, Q.L., Lin, Y.P., “Practical Stability of Descriptor Systems“, Dynamics of Continuous, Discrete and Impulsive Systems, Series B: 12.b. 44-57. 2005.
In article      
 
[18]  Nie, Y.Y., Debeljkovic, D.Lj., “Non–Lyapunov Stability of Linear Singular Systems: A Quite new Approach in Time Domain”, Dynamics of Continuous, Discrete and Impulsive Systems, Vol.11, Series A: Math. Analysis, No. 5-6, pp.751-760., 2004.
In article      
 
[19]  Yang, C.Y., Zhang, Q.L., Zhou, L., “Practical Stabilization and Controllability of Descriptor Systems“, International Journal of Information and System Science, 1 (3-4). 455-466. 2005.
In article      
 
[20]  Jun-E, F., Zhen, W., Jia-Bing, S., “Finite-Time Control of Linear Singular Systems with Parametric Uncertainties and Disturbances”, Acta Automatica Sinica, 31(4). 634-637. 2005
In article      
 
[21]  Feng, H.H., Hunsarg, J., “Stabilization of Nonlinear Singularly Perturbed Multiple Time Delay Systems by Dither”, Trans. ASME J. of Dynamic Systems, Measurement and Control, 118 (3). 177-181. 1996.
In article      
 
[22]  Debeljkovic, D.Lj., Nenadic, Z..Lj., Milinkovic, S.A., Jovanovic, M.B., “On Practical and Finite-Time Stability of Time-Delay Systems”, Proc. ECC 97, Brussels, Belgium, 307-311. July 2-6. 1997.
In article      
 
[23]  Debeljkovic, D.Lj., Nenadic, Z.Lj., Milinkovic, S.A., Jovanovic, M.B. “On the Stability of Linear Systems with Delayed State Defined over Finite Time Interval”, Proc. IEEE CDC 97, San Diego, California, USA, 2771-2772. December 21-23. 1997.
In article      
 
[24]  Nenadic, Z.Lj., Debeljkovic, D.Lj., Milinkovic, S.A., “On Practical Stability of Time Delay Systems”, Proc. IEEE American Control Conference, Albuquerque, USA, 3235-3235. June 4-6. 1997.
In article      
 
[25]  Debeljkovic, D.Lj., Koruga, Đ., Milinkovic, S.A., Jovanovic, M. B., Jacic, Lj. “Further Results on Non-Lyapunov Stability of Time Delay Systems”, Proc. MELECON 98, Tel-Aviv, Israel, 1. 509-512. May 18-20. 1998.
In article      
 
[26]  Debeljkovic, D.Lj., Lazarevic, M.P., Milinkovic, S.A., Jovanovic, M.B., “Finite Time Stability Analysis of Linear Time Delay Systems: Bellman-Gronwall Approach”, Proc. 1st IFAC Workshop on Linear Time Delay Systems, Grenoble, France, 171-175. July 6-7. 1998.
In article      
 
[27]  Debeljkovic, D.Lj., Lazarevic, M.P., Nenadic, Z.Lj., Milinkovic, S.A., “Finite Time Stability of Time Delay Systems” IMA J. Math. Control and Info., 16 (3). 101-109. 1999.
In article      
 
[28]  Debeljkovic, D.Lj., Visnjic, N.S., Pjescic, M., “The Stability of Linear Continuous Singular Systems over the Finite Time Interval: An Overview”, International Journal of Information & System Science, 4 (4). 560-584. 2008.
In article      
 
[29]  Debeljkovic, D.Lj., Lazarevic, M.P., Koruga, Đ., Milinkovic, S.A., Jovanovic, M.B., “Further results on the stability of linear nonautonomous systems with delayed state defined over finite time interval”, Proc. IEEE ACC 2000, Chicago, Illinois, USA, 1450-1451. June 28-30. 2000.
In article      
 
[30]  Yang, C., Zhang, Q., Lin, Y., Zhou, L., “Practical stability of descriptor systems with time-delay in terms of two measurements”, Journal of the Franklin Institute, 343 (6). 635-646. 2006.
In article      CrossRef
 
[31]  Debeljkovic, D.Lj, Stojanovic, S.B., Aleksendric, M.S., “Stability of Singular Time Delay Systems in the Sense of Non-Lyapunov: Classical and Modern Approach”, Hemijska Industrija, 61 (5). 193-202. 2013.
In article      CrossRef
 
[32]  Owens, D.H., Debeljkovic, D.Lj., “Consistency and Lyapunov Stability of Linear Descriptor Systems: a Geometric Analysis”, IMA Journal of Math. Control and Information, 2. 139-151. 1985.
In article      CrossRef
 
[33]  Su, J.H., “Further results on the robust stability of linear systems with single time delay”, Systems & Control Letters 23 (5). 375-379. 1994.
In article      CrossRef
 
[34]  Debeljkovic, D.Lj., Buzurovic, I.M., Nestorovic, T., Popov, D., “A New Approach to Stability of Singular Time Delay Systems in the sense of Non-Lyapunov: Delay Independent Conditions”, Proc. 2011 IEEE ICCA (International Conference on Control and Automation, Santiago (Chile), December 19-21. 312-317. 2011.
In article      
 
[35]  Xu, S. Dooren, P.V., Stefan, R., Lam, J., “Robust Stability and Stabilization for Singular Systems with State Delay and Parameter Uncertainty”, IEEE Trans. Automat. Control, 47 (7). 1122-1128. 2002.
In article      CrossRef
 
[36]  Debeljkovic, D.Lj., Buzurovic, I.M., Nestorovic, T., Popov, D.,“On Finite and Practical Stability of Time Delayed Systems: Lyapunov-Krassovski Approach: Delay Dependent Criteria”, Proc. The 23 rd, Chinese Control and Decision Conference CCDC 2011, Mianyang, (China), 23-25. 331-337. 2011.
In article      
 

Notes




12uT(t)v(t-τ)≤uT(t)∏-1u(t)+vT(t-τ)∏v(t-τ),∏=∏T>0

  • CiteULikeCiteULike
  • Digg ThisDigg
  • MendeleyMendeley
  • RedditReddit
  • Google+Google+
  • StumbleUponStumbleUpon
  • Add to DeliciousDelicious
  • FacebookFacebook
  • TwitterTwitter
  • LinkedInLinkedIn