- Research Article
- Open Access
Control of Oscillating Systems with a Single Delay
Advances in Difference Equations volume 2010, Article number: 108218 (2010)
Systems are considered related to the control of processes described by oscillating second-order systems of differential equations with a single delay. An explicit representation of solutions with the aid of special matrix functions called a delayed matrix sine and a delayed matrix cosine is used to develop the conditions of relative controllability and to construct a specific control function solving the relative controllability problem of transferring an initial function to a prescribed point in the phase space.
The problem of controllability of linear first-order autonomous systems without delay
should be fulfilled where
A proof is based on two important results. The first is the formula for an integral representation of a solution of a Cauchy problem for the nonhomogeneous system
is the matrix exponential (throughout this paper, stands for an unit matrix). The second is the Cayley-Hamilton theorem saying that any power , of matrix can be represented by a linear combination of powers , [4, 5]. We remark that the problem regarding the construction of a control function has a nonunique solution.
For control systems with delay, a solution to the controllability problem is considerably more complicated. The control function is a functional of a previous phase state. First results related to controllability of linear systems with constant coefficients and a constant delay have been formulated in [6, 7] and, for linear systems with variable coefficients and a variable delay, in . Problems of optimal control of systems with delay are considered in [9, 10]. Recent results on controllability of systems with delay are collected in [11–14].
In this paper, we investigate systems related to control of processes, described by oscillating second-order systems of differential equations with a single delay, in the following form:
where , , is an constant regular matrix, , , and .
One way to investigate such problem is to define additional dependent variables and, transforming initial system (1.6) into a system of first-order linear differential equations with constant coefficients and a constant delay, to get controllability criteria using the results in the above-mentioned sources. However, then the dimension of the auxiliary system equals and the essential feature of the situation is that we lose an explicit form of influence of the matrix when a control function is designed.
In the paper, special matrix functions, called a delayed matrix cosine and a delayed matrix sine, are utilized. As a motivation for the terminology used calling the analyzed systems "oscillating" served the formal similarity with the partial sums of the defining series for the usual matrix sine and matrix cosine together with the formal parallel between (1.6) and systems of ordinary differential equations describing oscillating processes ((1.6) with ).
The main result is the construction of a control function (in terms of these matrix functions), solving the problem of a transferring of an initial function to a prescribed point in the phase space.
For a solution to the control problem, we need formulas to represent the solutions of an oscillating system with a single delay. First we discuss a linear nonhomogeneous differential system with a single delay
where the meaning of , , and is the same as in (1.6), and . Below we use the symbols and . The symbol stands for an zero matrix and the symbol stands for the vector .
In , system (2.1) was investigated and a representation of its solutions was derived using special matrix functions called a delayed matrix sine and a delayed matrix cosine. With their help, it was possible to derive a representation of the solutions of Cauchy problems. We state the basic definitions, formulated in , needed for a solution of the control problem described in Part 3.
The matrix function , continuous on , and defined as
is called a delayed matrix cosine.
The matrix function , continuous on , and defined as
is called a delayed matrix sine.
With the use of the above-defined special matrices, a solution of the Cauchy problem for nonhomogeneous system with a single delay can be written in an integral form. We recall the rules for computing the derivatives necessary for our investigation of and . We remark that, in Definitions 2.1 and 2.2 as well as in formulas (2.4), (2.5) below, the matrix can even be singular.
The following formulas are true for a delayed matrix cosine and a delayed matrix sine:
The following theorem can be proved directly using formulas (2.4) and (2.5). A particular case of this result (when ) is given in . Therefore, we omit the proof.
Let be continuously differentiable vector functions and a locally integrable vector function. Then the solution of the Cauchy problem
for the nonhomogeneous system (2.1) has the form
3. Control of Oscillating Systems
In this part, we investigate the control problem and give the construction of a control function for oscillating systems with a single delay (1.6) within the meaning of the following definition. Since (1.6) is a second-order system, an initial Cauchy problem, in general, should fix independent initial one-dimensional functions. For this reason, in the formulation of an initial Cauchy problem below, we prescribe initial vectors for the solution and its first derivative.
System (1.6) is relatively controllable if for any continuously differentiable initial vector functions , any finite terminal conditions , and any sufficiently large terminal point , there exists a control such that the system (1.6) with the input , that is, the system
has a solution such that
To investigate the problem (3.1)–(3.5), we need some auxiliary notions given below.
We call the pair controllable if where
Let a positive number be given. We define the class of all uniformly bounded and piecewise-continuous functions on , (called a control set ) as
where and is a solution of (1.6) corresponding to the fixed initial conditions
and to an arbitrary control , is called a domain of reachability (reachable set) with respect to the time and the functions , .
We introduce a -dimensional auxiliary vector :
and -dimensional auxiliary vectors
Before formulating the results on a relative controllability of (1.6), we present some auxiliary propositions.
Let the pair be controllable. Then, on an arbitrary interval with , the coordinates of the vector function are linearly independent, that is, there is no nonzero constant vector
for every .
Suppose, on the contrary, that there exists a nonzero vector (3.14) such that (3.15) holds for every , that is,
We will analyse the identity (3.16). Using Definition 2.1 of a delayed matrix cosine and Definition 2.2 of a delayed matrix sine, we obtain
Considering identities (3.17) for and taking into account the fact that the left-hand side of (3.17) is, on every interval , , a polynomial in having only a finite number of zero points, we conclude that identity (3.17) is only true in the case of polynomials having all their coefficients equal to zero. In other words, we get the conditions
The homogeneous systems (3.18), (3.19) have a nonzero solution if and only if their determinants are equal to zero, that is, or . This contradicts the assumption of controllability of the pair .
If a vector function consists of linearly independent elements on the interval where , then
The statement is a consequence of the fact that the symmetric matrix
is positively definite and thus regular.
Note that it is easy to see that the matrix is (unlike the matrix (3.21)) singular for every .
Now we are able to present a result on the relative controllability of system (1.6), and give an inequality for the value , mentioned in Definition 3.1.
System (1.6) is relatively controllable if and only if and the pair is controllable.
Let the system (1.6) be relatively controllable within the meaning of Definition 3.1. We use the representation formula for a solution of the Cauchy problem for nonhomogeneous equation in the form (2.7) for the control (i.e. ) and time . We obtain
Equation (3.22) and (3.23) can be rewritten as a system of the two following equations:
where , are defined by (3.12) and (3.13).
We will investigate the system (3.24). Let, for an integer , . We use the representation of a delayed matrix sine and, after putting , the left-hand side of (3.24) equals
Using (3.27) and the regularity of the matrix , we rewrite the system (3.24) in the form
Now we go on analysing the system (3.25). Let, as in the previous case, for an integer , . We use the representation of a delayed matrix cosine and, after putting , we obtain
Using (3.30) and the regularity of the matrix , we rewrite the system (3.25) in the form
It was assumed that the system (1.6) is relatively controllable. Consequently, systems (3.28) and (3.31) have solutions for arbitrary vectors , . If or and , then both systems are overdetermined and the existence of a solution is not guaranteed.Therefore, for (1.6) to be relatively controllable, it is necessary that and, if , then , that is,
A simple consequence of Cayley-Hamilton theorem (e.g. ) is that an arbitrary degree , of the matrix can be represented as a linear combination of matrices
Then, for , both systems (3.28) and (3.31) can be replaced by the systems
where , are some new functions depending on . If systems (3.34) and (3.35) have solutions
for an arbitrary choice of , , then , that is, the pair is controllable. The necessity is proved.
Sufficiency. The proof almost fully copies a known proof of sufficiency for linear systems without delay. Due to the linearity of the problem considered, we can assume, without loss of generality, that the initial functions are zero vector-functions, that is,
In addition to this, and the controllability of is assumed. We prove that the system (1.6), is relatively controllable.
First we prove that the domain of reachability has a dimension of if . Let, on the contrary, . Then, there exists a fixed vector ,
such that, for an arbitrary , for the relevant solution of (1.6) we have
Since the initial functions are zero vector-functions, condition (3.39) turns, due to formula (2.7) with , into
Because (3.40) is satisfied for an arbitrary function , we deduce, by the fundamental lemma of the calculus of variations, that
or, after putting , we have
This contradicts the statement of Lemma 3.5 with . Thus, the assumption that the dimension of is smaller than is false.
Since the domain of reachability together with a point corresponding to a control also contains a point (corresponding to a control ), we conclude that is symmetric. Due to the linearity of the problem considered, it is also a convex domain. Consequently, it contains a ball with a radius of .
Obviously, if we consider the control set instead of and , then , that is, . Simultaneously, it says that, for every point , there exists a control such that the solution of (3.1) satisfies (3.2)–(3.5).
This conclusion remains valid even in the case of any nonidentically zero initial functions. Indeed, a simple transformation where is a new dependent function and is a solution of a homogeneous problem
leads to the same problem with respect to with zero initial vector-functions. Thus, the system (1.6) is relatively controllable.
Now we give the formula for a relevant control function. An advantage of the result obtained is an explicit dependence of the control function on the delayed matrix cosine and delayed matrix sine.
Let and let the pair be controllable. Then, a control function relevant to the problem (3.1)–(3.5) can be thought of as having the form
where ,and arethe solutions of a system of linear nonhomogeneous algebraic equations
where matrices , are defined as
and vectors , are defined by (3.13).
Let . Since the pair is controllable, the vectors
are linearly independent. From the integral representation (2.7), it follows that the terminal values of a solution of system (1.6) at satisfying initial conditions (3.2) and (3.3) have the form (3.22) and (3.23). Therefore, a suitable control function should satisfy the system of integral equations (3.24) and (3.25). Let us try to find the control function in the form of a linear combination
where and are unknown constant vectors. We apply representation (3.48) to (3.24), (3.25). Then, we get
with the above defined matrices , . The determinant of the system (3.50) can be written in the form
Using a transformation in the integral and the denotation (3.11), we get
By Lemma 3.5, the coordinates of are linearly independent on where . Then, by Lemma 3.6 (with ), . Consequently, the system (3.50) has a unique solution , and the control (3.48) coincides with (3.44).
4. Conclusions and Future Directions
The paper studied the problem of the relative controllability of oscillating systems (1.6) within the meaning of Definition 3.1. An explicit representation of solutions of (1.6) with the aid of special matrix functions called a delayed matrix sine and a delayed matrix cosine was used to solve this problem. The necessary and sufficient conditions of relative controllability were derived and a specific control function was constructed in terms of these matrix functions, solving the relative controllability problem of transferring an initial function to a prescribed point in the phase space. Some previous results of investigating the controllability problems using special matrix functions were derived for linear delayed systems with a single delay in  (the case of continuous systems) and in  (the case of discrete systems) where representations of solutions of linear discrete systems [18, 19] are used. It is an open problem how to extend the results derived to systems of discrete equations with a single delay
where is an independent variable, is a positive integer, and (4.1) is a discrete analogy of (1.6). Another open problem is how to extend the results derived to fractional systems (see, e.g., ).
Kalman RE: On the general theory of control systems. Proceedings of the 1st International Congress of IFAC, 1961, Moscow, Russia 2: Izd. AN SSSR
Kalman RE, Falb PL, Arbib MA: Topics in Mathematical System Theory, Pure and Applied Mathematics. McGraw-Hill, New York, NY, USA; 1969:xiv+358.
Athans M, Falb PL: Optimal Control. An Introduction to the Theory and Its Applications, Electrical and Electronik Engineering Series. McGraw-Hill, New York, NY, USA; 1966:xiv+879.
Bernstein DS: Matrix Mathematics. Princeton University Press, Princeton, NJ, USA; 2005:xxxviii+726.
Gantmacher FP: The Theory of Matrices. Volume 1. AMS Chelsea Publishing, Providence, RI, USA; 2002.
Kirillova FM, Churakova SV: On the problem of controllability of linear systems with aftereffect. Differencial'nye Uravnenija 1967, 3: 436-445. English translation in Differential Equations, vol. 3, no. 3, pp. 221–225, 1967
Kirillova FM, Churakova SV: Relative controllability of linear dynamic sytems with lag. Doklady Akademii Nauk SSSR 1967, 174: 1260-1263. English translation in Soviet Mathematics-Doklady, vol. 8, no. 3, pp. 748–7581, 1967
Kirillova FM: Relative controllability of linear systems with variable and distributed time lags. Differencial'nye Uravnenija 1966,5(6):1068-1075.
Gabasov R, Churakova SV: An optimal control in systems with aftereffect. Differencial'nye Uravnenija 1966,2(10):1286-1299. English translation in Differential Equations, An optimal control in systems with aftereffect, vol. 3, no. 3, pp. 668–672, 1966
Gabasov R, Kirillova FM: The Qualitative Theory of Optimal Control. Marcel Dekker, New York, NY, USA; 1976.
Boukas E-K, Liu Z-K: Deterministic and Stochastic Time Delay Systems. Birkhäuser, Boston, Mass, USA; 2002.
Chiasson J: Applications of Time Delay Systems, Lecture Notes in Control and Information Sciences. Volume 352. Springer, Berlin, Germany; 2007:xii+358.
Chukwu EN: Stability and Time-Optimal Control of Hereditary Systems, Series on Advances in Mathematics for Applied Sciences. Volume 60. 2nd edition. World Scientific Publishing, River Edge, NJ, USA; 2001:xx+495.
Michiels W, Niculescu S-L: Stability and Stabilization of Time-Delay Systems, Advances in Design and Control. Volume 12. SIAM, Philadelphia, Pa, USA; 2007:xxii+378.
Khusainov DYa, Diblík J, Růžičková M, Lukáčová J: A representation of the solution of the Cauchy problem for an oscillatory system with pure delay. Nelinijni Kolyvannya 2008,11(2):261-270. English translation in Nonlinear Oscillations, Representation of a solution of the Cauchy problem for an oscillating system with pure delay, vol. 11, no. 2, pp. 276–285, 2008
Khusainov DYa, Shuklin GV: On relative controllability in systems with pure delay. Prikladnaya Mekhanika 2005,41(2):118-130. translation in International Applied Mechanics, vol. 41, no. 2, pp. 210–221, 2005
Diblík J, Khusainov DYa, Růžičková M: Controllability of linear discrete systems with constant coefficients and pure delay. SIAM Journal on Control and Optimization 2008,47(3):1140-1149. 10.1137/070689085
Diblík J, Khusainov DYa:Representation of solutions of discrete delayed system with commutative matrices. Journal of Mathematical Analysis and Applications 2006,318(1):63-76. 10.1016/j.jmaa.2005.05.021
Diblík J, Khusainov DYa: Representation of solutions of linear discrete systems with constant coefficients and pure delay. Advances in Difference Equations 2006, 2006:-13.
Ahmed HM: Boundary Controllability of nonlinear fractional integrodifferential systems. to appear in Advances in Difference Equations
J. Diblik was supported by Grant 201/08/0469 of Czech Grant Agency (Prague) and by the Councils of Czech Government MSM 00216 30503, MSM 00216 30519 and MSM 00216 30529. D. Ya. Khusainov was supported by project M/34-2008 MOH Ukraine since 27.03.2008. J. Lukáčová was supported by project APVV-0700-07 of Slovak Research and Development Agency and by Grant no.1/0090/09 of the Grant Agency of Slovak Republic (VEGA). M. Růžičková was supported by project APVV-0700-07 of Slovak Research and Development Agency and by Grant no.1/0090/09 of the Grant Agency of Slovak Republic (VEGA).
About this article
Cite this article
Diblík, J., Khusainov, D., Lukáčová, J. et al. Control of Oscillating Systems with a Single Delay. Adv Differ Equ 2010, 108218 (2010). https://doi.org/10.1155/2010/108218
- Cauchy Problem
- Control Function
- Matrix Function
- Initial Function
- Relative Controllability