CC BY
20
MSC 65L80, 65L05, 65L06, 65L20
D01:10.14529/mmpl80409
CONSISTENCY AND LYAPUNOV STABILITY OF LINEAR SINGULAR
TIME DELAY SYSTEMS: A GEOMETRIC APPROACH
D.Lj. Debeljkovic1, I.M. Buzurovic2, G.V. Simeunovic3
1 Megatrend University, Belgrade, Serbia
2
3University of Belgrade, Belgrade, Serbia
E-mails: [email protected], [email protected],
gsimeunovic@mas. bg. ac. rs
When we consider the control design of practical systems (chemical engineering systems, lossless transmission lines, large-scale electric network control, aircraft attitude control, flexible arm control of robots, etc.), time-delay often appears in many situations. Singular time delayed systems are the dynamic systems described by a mixture of algebraic and differential equations with retarded argument. This paper investigates the geometric description of initial conditions that generate smooth solutions to such problems and the construction of the Lyapunov stability theory to bound the rates of decay of such solutions. The new delay dependent conditions for asymptotic stability for the class of systems under consideration were derived. Moreover, the result is expressed in terms of only systems matrices that naturally occur in the model, therefore avoiding the need to introduce algebraic transformations into the statement of the main theorem.
Keywords: singular time delayed systems; stability in the sense of Lyapunov; consistent initial conditions.
Dedicated, to Professor Viktor Chistyakov on the occasion of his 70th birthday.
Introduction
It is well-known that in some systems we should consider their dynamics and statics simultaneously. Singular systems (also referred to degenerate, descriptor, generalized, differential-algebraic or semi-state systems) are systems which dynamic is governed by the complexity of algebraic and differential equations. Recently, many researchers have paid much attention to singular systems so they have accomplished numerous interesting conclusions. The complex nature of singular systems generates many difficulties in their analytical and numerical solution, particularly, when we deal with control problems. Recently, time delay singular systems have been one of the major research fields of the control theory. During the past three decades singular systems have attracted much attention due to the comprehensive applications in economics (e.g. the Leontief dynamic model), in electrical applications using the theory described in [1], in mechanical models [2], etc. Singular systems in control theory were initially discussed in [3] and [4]. Such systems are represented by the combination of the differential and algebraic equations using the state-space formalism. Due to the existence of the algebraic equations (constraints to the system), the investigation of singular systems is more complicated than the study of regular systems. The survey of updated results for singular systems and the broad bibliography can be found in [1,5-11] and in the two special issues Circuits, Systems and Signal Procesing [12,13].
Possibilities of existence, uniqueness and the number of linear continuous singular solutions
A specific nature of singular systems is well documented in the figure. Models in this form have some important advantages in comparison with the models in the normal form, e.g. when E = I. These models preserve the sparsity of the system matrices (many entries of system matrices are equal to zero). There is a tight connection between the system physical variables and the variables in the model. The structure of the physical system is well reflected in the model. These equations are easily derived and it is not required to eliminate the unwanted (redundant) variables, as there is no need for the formulation of the state variables. By now. the scientific community have comprehensively investigated time delay systems. The engineering practice required some practical solutions, including stability investigations in various technical systems, such as the electric, pneumatic and hydro-electrical complex systems, processes in chemical industries, complex transmission systems, etc. Time delays present in the system state variables or in the control signals can be the cause of undesirable system performances including inadequate transient response or instability. Consequently, stability analysis of such systems became one of the major topics in many research studies. Generally speaking, the existence of time lag and its corresponding components makes the investigations more demanding in adopting the adequate mathematical tools.
Investigation of the systems with time delay includes mainly two approaches. The first one implies finding the condition for the system stability that does not incorporate
any knowledge related to the time delay The second method utilizes the system delay (lag, latency) that is incorporated in the conditions for system stability The first group of mathematical equations is usually referred as the delay-independent criteria, and it generally provides algebraic conditions that can be applied in calculations without additional complications. When we consider the control design of practical systems (chemical engineering systems, lossless transmission lines, large-scale electric network control, aircraft attitude control, flexible arm control of robots, etc.), time-delay often appears in many situations. When time delay is small, it can be ignored. If it is large, however, it may cause instability in the system. We should emphasize that many systems have the phenomena of time delay and singularity simultaneously. We call such systems singular time delay differential systems. Such systems have many special characteristics, and their investigation is not a trivial task. In this paper we will discuss the recent advances in this area and present some new results.
1. Nomenclature and Preliminaries
Many research papers have addressed the Lyapunov stability of particular classes of linear singular time delay systems. They usually employ the LMI approach [14-16].
In this paper, our results are based on the second Lyapunov method and the geometric approach. In that sense, these results can be treated as the further extension of the papers [17-22] providing contributions in the form of the weak Lyapunov algebraic matrix equation with some additional constraints. We suggest a new approach to the stability of
E
A^d A\ naturally occurring in the system model. In this approach there is no need to introduce any canonical form in the statement of theorems. The geometric consistency theory provides a natural class of positive definite quadratic forms on the subspace containing all solutions. This fact makes the construction of the Lyapunov stability theory possible even for the linear continuous singular time-delay systems. Moreover, the attractive property is equivalent to the existence of symmetric positive definite solutions of a weak form to the Lyapunov matrix equation, incorporating conditions which refer to the boundedness of solutions.
The following denotations are used in this study: Rn denotes the n-dimensional Euclidean space, Cn is a complex vector space and Rnxm is the set of all real matrices of dimension (n x m). Superscript T stands for the matrix trans position. X > 0 means that X is a real symmetric and positive definite. I stands for the identity matrix. If dimensions of matrices are not explicitly stated, they are assumed to be appropriate for algebraic operations.
Consider the generalized equation for the time delay singular control systems in its differential form:
E (t) X (t) = f (t, x (t) , x (t - t) , u (t)) , t > 0,
x (t) = 0 (t) , -t < t < 0, U
where x (t) E Rn is a state vector, u (t) E is a control vector, E (t) E Rnxn is a singular matrix, 0 E C ([-t, 0], Rn) is an admissible initial state functional, C ([-t, 0], Rn) is the Banach space of continuous functions mapping the interval [—t,0] into Rn with topology
of uniform convergence. The state vector function satisfies:
f (•) : I x Rn x Rn x Rm ^ Rn, (2)
and it is assumed to be smooth to guarantee the existence and uniqueness of solutions over an infinite time interval.
The same vector function has the continuous dependence of the solutions denoted by x (t,t0, x0) with respect to t and the initial data. Rn is the state space of system (1) and || • || is the Euclidean norm. V : I x Rn ^ Rn is the tentative aggregate function, so that V (t, x (t)) is limited and for which || x (t) || is limited as well.
The Eulerian derivative of V (t, x (t)) along with the trajectory of (1) is defined as:
V (t, x (t)) = gV (tdtx (t)) + [grad V (t, x (t))]T tf f (•), (3)
where matrix tf is the solution of following matrix equation [23]:
[grad V (t, x (t))]T = [grad V (t, x (t))]T tf E. (4)
In this study we focus our attention on the linear continuous time delay singular systems:
E x(t) = Aox (t) + Aix (t - t), (5)
where the compatible vector valued function of the initial conditions is known and has the form
x (t) = ( (t) , -t < t < 0, (6)
A0 A1 rank E = r < n.
In the further analysis we consider the case when the subspace of consistent initial conditions for a singular time delay system coincides with that of the singular non-delay system.
E
values of ( (t) £ W*ont Vt £ [-t, 0].
It was shown in [24] for the singular system (5) without delay that the subspace of consistent initial conditions Wl is the limit of the nested subspace algorithm:
Wo = Rn
^ (7)
Wj+1) = A-1 (EWij)Ai=0Q, j > 0
Moreover, if ((t) £ W*ont Vt £ [-t, 0] then x (t) £W*k Vt > t and (AE - Ao) is invertible for some A £ C (condition for uniqueness), then Wk H K (E) = {0}.
2. Necessary Definitions and Lemmas
Definition 1. [26] The matrix pair (E, A) is said to be regular if det (sE — A0) is not identically zero.
Definition 2. [26] The matrix pair (E, A0) is said to be impulse free if deg (det (sE — A0)) = rank E.
Definition 3. The linear continuous singular time delay system (5) is said to be regular-arid impulse free, if the matrix pair (E, A0) is regular and impulse free.
The linear continuous singular time delay system (5) 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 to the system under consideration, which is defined in the following Lemma.
Lemma 1. [26] Suppose that the matrix pair (E, A0) is regular and impulse free and unique on [0, .
In the next section, we use stability definitions to derive the main result of this study
3. Stability Definitions and Main Results
Stability plays a central role in the theory of systems and control engineering. There are different kinds of stability problems that arise in the study of dynamic systems, such as Lyapunov stability, finite time stability, practical stability, technical stability and BIBO stability. The first part of this section deals with the asymptotic stability of the equilibrium points of linear continuous singular systems. Since we consider linear systems, the latter one is equivalent to the study of the stability of systems.
The Lyapunov direct method (LDM) is widely covered in a number of very well-known references. Here we present some different and interesting approaches to this problem, mostly based on the contributions of the authors of this paper.
Definition 4. The linear continuous singular time delay system (5) is said to be stable, if for any £ > 0 there exists a scalar 5 (e) > 0, such that for any compatible initial conditions 0 (t), satisfying sup || 0 (t) || < 5 (e), solution x (t) to the system under
—t < t < 0
consideration fulfills ||x (t)|| < e Vt > 0. Moreover if lim ||x (t)|| ^ 0, system (5) is said to be asymptotically stable [26].
Due to the system structure and complicated solution, the regularity of the systems is the condition to make the solution to singular control systems exist and be unique. Moreover, if the consistent initial conditions are applied, then the closed form of solutions can be established.
The new result presented here is based mostly on the result given in [24] and [35]. For some other important details, used in paper, [31-35].
Lemma 2. Let there be given control system (5). Scalar aggregate function V (y (t)) is defined as:
V (y (t)) = V (y* (t)) = yT (t) P y (t) = y*T (t) ETP E y* (t) , (8)
where vector y (t) has the form:
y (t) = E y * (t), y * (t) = x (t) + ] H (9) x (t - 9) d9,
o
* (+\ — i?,^ (i T? u (a\ ^ (+ a\ ao — (9)
y (t) = E y * (t) = Ex (t) + E/ H (9) x (t - 9) d9
o
E (x(t) + JH (9) x(t - 9) d9^j
where
1) H (9) is a continuous and differentiable (n x n)-matrix over time interval [0,t] satisfying following differential matrix equation
E H (ft) = (Ao + EH (0)) H (ft), ti £ [0, T] (10)
with initial condition
EH (T) = A1; (11)
2) P is a symmetric positive definite matrix, eg. P = PT > 0.
Then, the Euler derivatives of V (y * (t)) along the trajectories of (5) are given as:
V>(y * (t)) = y *T (t)n y * (t), (12)
where
n = ETP (Ao + PEH (0)) + (Ao + PEH (0))T PE. (13)
Proof. Based on the definition of V (y (t)), it follows that its derivative with respect to t has the form:
V (y (t)) = yT (t) Py(t) + yT (t) p y (t) =
E± (i) + ddtE j H (9) x (t - 9) d9^ P |ex (t) + E j H (n) x (t - n)dri\ + + \E^{t) + E j H (9) x (t - 9) d9 j P |ex (t) + j H (n) x (t - ) drj
Eit + E I I H(9) x (t - 9) d9 - H (t) x (t - t) + H (0) x (t) II x ^
o
T
xP |Ex ( t)+EoH (n) x (t-n) dnj + ^x1 (t) E1 + ^ j x (t - 9) H1 (9) d9jEi | x
xP |exx (t) + E | j H(n) x (t - n) dn - H (t) x (t - t) + H (0) x (t) whence it immediately follows that
V (y (t))= ^(t) ET + ^/ xT (t - 9) HT (9) ET - xT (t - T) Ят (т) ET+ +xT (t) HT (0) ET) x T ^Ex (t) + E J H (n) x (t - n) d^ + + ^xT (t) ET + Q xT (t - 9) HT (9) d9^J E^ x x P (^Ex (t) + E (J H(n) x (t - n) dn - H (т) x (t - т) + H (0) x (t)
(15)
Since
we have:
Ex (t) = Aox (t) + Aix (t - т), xT (t) ET = xT (t) AT + xT (t - т) ATT, E H )tf) = (Ao + EH (0)) H (tf), tf G [0, т] , (16)
(E H (tf))T = HTET (tf) = HT (tf) (Ao + EH (0))T , EH (т) = Ai, HT (т) ET = AT,
V/ (y (t)) = | xT (t) ET + [ J xT (t - 9) HT (9) d9\ ET - xT (t - т) HT (т) ET+
т
+xT (t) HT (0) ET) x P [ex (t) + E H (n) x (t - n) dn\ +
o
+ ^xT (t) ET + Q xT (t - 9) HT (9) d^ E^ x xP | E±(t) + E ^ j H(n) x (t - n) dn - H (т) x (t - т) + H (0) x (i)
^(y (t)) =
(xT (u) AT + xT (t - т) ATT) + ( / xT (t - 9) HT (tf) (Ao + EH (0))T d9 \ -
or:
- xT (t - т) HT (т) ET + xT (t) HT (0) ET) x P [Ex (t) + E J H (n) x (t - n) dn \ + + | xT (t) ET + [ jxT (t - 9) HT (9) d9 | ET | xP((A^ + Aix(i-r)) +
+ [ J (Ao + EH (0)) H (n) x (t - n) dn - A ix (t - т) + EH (0) x (t)
o
If we introduce:
V (y (t)) = Vi (y (t)) + V2 (y (t)), (17)
Вестник ЮУрГУ. Серия «Математическое моделирование 129
и программирование» (Вестник ЮУрГУ ММП). 2018. Т. 11, № 4. С. 123-135
т
then, to make it easier to calculate, one can get
V2(y(t)) = ^xT(t)ETP + ^o xT(t - 9)QT(9)d9 ) ETP ) x ( Aox(t) +
ETP^J x ^
+A1x(t - t) + /(Ao + EH(0))H(n)x(t - n)dn - A^x(t - t) + EH(0)x(t)
(18)
(
V (y (t)) /
x
T
(t) ATPEx (t) + xT (t - t) ATPEx (t) +
\
+ / xT (t - 9) HT (ft) (Ao + EH (0))T PE x (t) d9-
x
\-xT (t - t) HT (t) ETP Ex (t) + xT (t) HT (0) ETPEx (t)/
x
x
T
(t) ATP x EfH (n) x (t - n) dn+
\
+ xT (t - t) ATP x EfH (n) x (t - n) dn x EfH (n) x (t - n) dn+
T o oT
+ / xT (t - 9) HT (9) (Ao + EH (0))T Pd9 x E ] H (n) x (t - n) dn-
oo
-xT (t - t) HT (t) ETP x E ] H (n) x (t - n) dn+
o
T
V
+xT (t) HT (0) ETP x EfH (n) x (t - n) dn
(19)
After some rearrangement it leads to:
V>(y * (t))=y*T (t)n y * (t) = = y *T (t) ETP ((Ao + PEH (0)))+ ((Ao + PEH (0))T) PE y * (t).
(20)
□
Now, we are in the position to present our main result. The theorem below presents the stability result for the singular time delayed system, described by (1), and is the result of application of the second Lyapunov method.
Theorem 1. Let the regular singular time delay system be described as in (1):
(a) E x(t) = A ox (t) + A 1x (t - t),
(b) x (t) = ((t), -t < t < 0, (21)
(c) xo £ Wk\{0}.
Under the assumption that algebraic system of equations in (21a) is purely algebraic, e.g. without delays, the system, given by (21.a) and accompanied by (21b, 21c), is asymptotically stable, if and only if:
Ao
P
ETP ((Ao + PEH (0))) + ((Ao + PEH (0))T) PE = -Q, where Q is symmetric, positive definite in the sense that
y *T (t) Q y * (t) > 0 for all x (t) £ Wk\ {0} ,
(22) (23)
and for t G [0 т] the matrix H (т) satisfies
E H (tf) = (Ao + EH (0)) H (tf), tf G [0, т] (24)
with initial condition: , s , ч
EH (т) = Ai (25)
and , s , ч
H (т) = 0 (26)
H (0)
EDE - I^JH (0) = 0, E = (XE - Ao)_i, for some X G R. (27)
Proof. To prove sufficiency, note that [24]
Wk П N (E) = {0} , (28)
so
V (y* (t))= y*T (t) ETPE y* (t) (29)
is a positive definite quadratic form on Wk.
Under the condition given by (28), xo is a consistent initial condition, iff xo G Wk. Moreover, xo generates a unique solution x (t) GW k* (t > 0), which is real analytical on (t, t > 0), [24]. Therefore, all smooth solutions x (t) belong to Wk*, and V (y* (t)) can be used as the Lypunov function. To prove necessity, note that
x (t) GW k* (t > 0), (30)
if
EEo - I) xo = 0, (31)
where the superscript "D" denotes the Drazin inverse and by applying the results of [1], we get
y*T (t) Q y* (t) > 0
for all x (t) G Wk\ {0^, because QQ is positive definite and satisfies
E TP + PE = Q, (32)
where
Д = Eo + e(EDEo - I),
£ > 0, (33)
Eo = A-E,
and P is a symmetric positive definite solution to the above equation.
□
Remark 2. If we have a time delay system only (cf. [25]), we have to solve a very complicated nonlinear transcendental matrix equation:
e(A 0+H(o))TH (0) = A i (34)
H (0)
In original paper [25], a crucial mistake was made when solving (3) and using no
representative matrix for system stability testing in the corresponding Lyapunov matrix equation. The paper [20] gave an adequate counterexample the basic theorem and it was demonstrated that their statement is incorrect. To eliminate this error, we was proposed a new theorem formulation and showed how to correct the example given there.
H (0)
demand for consistent initial conditions to avoid impulsive solutions:
Therefore, there is no need to solve a nonlinear transcendental matrix algebraic equation.
Conclusion
Generally, this paper extends some of the basic results in the area of the Lyapunov stability to linear continuous singular time delay systems. A part of these results is hence a geometric counterpart of algebraic theory of [1] enhanced with the appropriate criteria to cover the need for asymptotic system stability under the presence of the actual time delay term. We consider the geometric description of consistent initial conditions that generate tractable and smooth solutions to such problems and analyze the construction of Lyapunov stability for this class of systems. Testing the definiteness of the particular quadratic form on subspace of consistent initial conditions can be a very complicated numerical task, but it can be addressed by the approach based on the controllability and observability test of systems matrices, first time presented in [2]. Some other aspects of singular time delay systems, including different stability concepts, can be found in [27-31].
Acknowledgement. This research was partially supported by the Ministry of Sciences and Technology of Republic of Serbia - Mathematical Institute SANU Belgrade Grant 01 174001: "Dynamics of hybrid systems with complex structures - Mechanics of materials" University of Belgrade, School of Mechanical Engineering.
References
1. Campbell S.L. Singular Systems of Differential Equations. Marshfield, Pitman, 1980.
2. Miiller P.C. Stability of Linear Mechanical Systems with Holonomic Constraint. Applied Mechanics Review, 1993, vol. 46, pp. 160-164.
3. Campbell S.L., Meyer C.D., Rose N.J., Application of Drazin Inverse to Linear Systems of Differential Equations. SIAM Journal on Applied Mathematics, 1976, vol. 31, pp. 411-425.
4. Luenberger D.G. Dynamic Equations in Descriptor Form. IEEE Transactions on Automatic Control, 1977, vol. 22, no. 3, pp. 312-321.
5. Bajic V.B. lyapunov's Direct Method in the Analysis of Singular Systems and Networks. Hillcrest, Shades Technical Publications, 1992.
6. Campbell S.L. Singular Systems of Differential Equations II. Marshfield, Pitman, 1982.
(35)
where
E = (AE - Ao) 1, for some A £ R.
(36)
7. Campbell S.L. Consistent Initial Conditions for Singular and Nonlinear Systems. Circuits, Systems and Signal Processing, 1983, vol. 2, pp. 45-55.
8. Lewis F.L. A Survey of Linear Singular Systems. Circuits, Systems and Signal Processing, 1986, vol. 5, pp. 3-36.
9. Lewis F.L. Recent Work in Singular Systems. Proceedings of Symposium on Electromagnetic Compatibility, Atlanta, 1987, pp. 20-24.
10. Debeljkovic D.Lj., Milinkovic S.A., Jovanovic M.B. Application of Singular Systems Theory in Chemical Engineering. MAPRET Lecture Monograph, 12th International Congress of Chemical and Process Engineering, 1996.
11. Pjescic R M., Chistyakov V., Debeljkovic D.Lj. On Dynamical Analysis of Particular Class of Linear Singular Time Delayed Systems: Stabilty and Robusteness, Belgrade, Faculty of Mechanical Engineering, 2008. (in Serbian)
12. Circuits, Systems and Signal Processing, Special Issue on Semi State Systems, 1986, vol. 5, no. 1.
13. Circuits, Systems and Signal Processing, Special Issue: Recent Advances in Singular Systems, 1989, vol. 8, no. 3.
14. Zhu S., Zhang C., Cheng Z., Feng J. Delay-Dependent Robust Stability Criteria for Two Classes of Uncertain Singular Time-Delay Systems. IEEE Transactions on Automatic Control, 2007, vol. 52, no. 5, pp. 880-885.
15. Xu S., Lam J., Zou Y. An Improved Characterization of Bounded Realness for Singular Delay Systems and Its Applications. International Journal of Robust and Nonlinear Control, 2008, vol. 18, no. 3, pp. 263-277.
16. Sun X., Zhang Q., Yang C., Su Z., Shao Y. An Improved Approach to Delay-Dependent Robust Stabilization for Uncertain Singular Time-Delay Systems. International Journal of Automation and Computing, 2010, vol. 7, no. 2, pp. 205-212.
17. Debeljkovic D.Lj., Stojanovic S.B., Jovanovic M.B., Milinkovic S.A. Singular Time Delayed System Stabilty Theory: Approach in the Sense of Lyapunov. Preprints of IFAC Workshop on Time Delay Systems, Leuven, 2004, Article ID: 9886174, 19 p.
18. Debeljkovic D.Lj., Stojanovic S.B., Jovanovic M.B., Milinkovic S.A. Further Results on Singular Time Delayed System Stability. Proceedings of IEEE ACC 2005, Oregon, 2005, Article ID: 8573603, 23 p.
19. Debeljkovic D.Lj., Stojanovic S.B., Jovanovic M.B., Milinkovic S.A. Further Results on Descriptor Time Delayed System Stability Theory in the Sense of Lyapunov: Pandolfi Based Approach. The Fifth International Conference on Control and Automation, Budapest, 2005, pp. 353-358.
20. Debeljkovic D.Lj., Stojanovic S.B., Jovanovic M.B., Milinkovic S.A. Further Results on Descriptor Time Delayed System Stability Theory in the Sense of Lyapunov: Pandolfi Based Approach. International Journal of Information and System Science, 2006, vol. 2, no. 1, pp. 1-11.
21. Debeljkovic D.Lj., Stojanovic S.B., Visnjic N.S., Milinkovic S.A. Singular Time Delayed System Stability Theory in the Sense of Lyapunov: A Quite New Approach. American Control Conference, N.Y., 2007, pp. 21-29.
22. Debeljkovic D.Lj., Stojanovic S.B., Milinkovic S.A., Jacic A., Visnjic N., Pjescic M. Stability in the Sense of Lyapunov of Generalized State Space Time Delayed Systems: A Geometric Approach. International Journal of Information and System Science, 2008, vol. 4, no. 2, pp. 278-300.
23. Pandolfi L. Controllability and Stabilization for Linear Systems of Algebraic and Differential Equations. Journal of Optimization Theory and Applications, 1980, vol. 30, no. 4, pp. 601-620. DOI: 10.1007/BF01686724
24. Owens D.H., Debeljkovic D.Lj. Consistency and Lyapunov Stability of Linear Descriptor Systems: A Geometric Approach. Journal on Mathematical Control and Information, 1985, vol. 2, pp. 139-151. DOI: 10.1093/imamci/2.2.139
25. Lee T.N., Diant S. Stability of Time-Delay Systems. IEEE Transactions on Automatic Control, 1981, vol. 26, no. 4, pp. 951-953. DOI: 10.1109/TAC.1981.1102755
26. Xu S., Dooren P.V., Stefan R., Lam J. Robust Stability and Stabilization for Singular Systems with State Delay and Parameter Uncertainty. IEEE Transactions on Automatic Control, 2002, vol. 47, pp. 122-128.
27. Debeljkovic D.Lj. Singular Control Systems. Dynamics of Continuous, Discrete and Impulsive Systems, 2004, vol. 11, pp. 697-706.
28. Debeljkovic D.Lj. Time Delay Systems. Vienna, Intechopen, 2011.
29. Debeljkovic D.Lj., Stojanovic S.B. Asymptotic Stability Analysis of Linear Time Delay Systems: Delay Dependent Approach. Systems Structure and Control, 2008, pp. 29-60.
30. Debeljkovic D.Lj., Nestorovic T. Time Delay Systems. Stability of Linear Continuous Singular and Discrete Descriptor Systems over Infinite and Finite Time Interval. Systems Structure and Control, 2011, pp. 15-30.
31. Debeljkovic D.Lj., Nestorovic T. Time Delay Systems. Stability of Linear Continuous Singular and Discrete Descriptor Time Delayed Systems. Systems Structure and Control, 2011, pp. 31-74.
32. Stojanovic S.B., Debeljkovic D.Lj. Necessary and Sufficient Conditions for Delay Dependent Asymptotic Stability of Linear Continuous Large Scale Time Delay Autonomous Systems. Asian Journal of Control, 2005, vol. 7, no. 4, pp. 414-418. DOI: 10.1111/j.l934-6093.2005.tb00403.x
33. Debeljkovic D.Lj., Stojanovic S.B., Milinkovic S.A., Jacic Lj.A., Visnjic N.S., Pjescic M.R. Stability in the Sense of Lyapunov of Generalized State Space Time Delayed Systems: A Geometric Approach. International Journal of Information and System Science, 2008, vol. 4, no. 2, pp. 278-300.
34. Debeljkovic D.Lj., Buzurovic I.M. Lyapunov Stability of Linear Continuous Singular Systems: An Overview. International Journal of Information and System Science, 2011, vol. 7, no. 2, pp. 247-268.
35. Debeljkovic D.Lj., Stojanovic S.B., Jovanovic A.M. Finite Time Stability of Continuous Time Delay Systems: Lypunov - Like Approach with Jensens and Coppels Inequality. Acta Polytechnica Hungarica, 2013, vol. 10, no. 7, pp. 135-150.
Received August 8, 2018
УДК 517.962.2
Б01:10.14529/ттр180409
СОВМЕСТНОСТЬ И УСТОЙЧИВОСТЬ ПО ЛЯПУНОВУ ЛИНЕЙНЫХ ВЫРОЖДЕННЫХ СИСТЕМ С ЗАПАЗДЫВАНИЕМ: ГЕОМЕТРИЧЕСКИЙ ПОДХОД
Д.Л. Дебелъкович1, И.М. Бузурович2, Г.В. Симеунович3
1 Университет Мегатренд, г. Белград, Сербия
2
3Университет Белграда, г. Белград, Сербия
На практике при рассмотрении различных систем с управлением (химические инженерные системы, линии передачи без потерь, крупномасштабное управление электрической сетью, управление ориентацией самолета, гибкое управление руками роботов и т.д.) часто во многих ситуациях мы можем наблюдать наличие временного запаздывания. Вырожденные системы с запаздыванием являются динамическими системами, описываемыми взаимосвязанными алгебраическими и дифференциальными уравнениями. В данной работе исследуются геометрические представления начальных данных, которые обеспечивают гладкость решений рассматриваемых задач. Также изучается построение теории устойчивости Ляпунова для ограничения скорости убывания решений. Для одного класса изучаемых систем получены новые условия асимптотической устойчивости, зависящие от запаздывания. Более того, результат выражается в терминах матриц, которые задают систему и естественным образом возникают при моделировании, однако при этом отсутствует необходимость введения алгебраических преобразований в утверждение основной теоремы.
Ключевые слова: вырожденные системы с запаздыванием; устойчивость по Ляпунову; совместные начальные условия.
Драгутии Дебелькович, профессор, Университет Мегатренд (г. Белград, Сербия), [email protected].
Иван Бузурович, профессор, Гарвардская медицинская школа (г. Бостон, Соеди-не н ныв Штаты Америки), [email protected].
Горан Симеунович, Университет Белграда (г. Белград, Сербия), [email protected]. ас. ге.
Поступила в редакцию 8 августа 2018 г.
