# General Solution and Observability of Singular Differential  Systems with Delay

Authors: Jiang Wei
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

We study singular differential systems with delay. A general description for the
solutions of singular differential systems with delay is given and a necessary and sufficient condition for exact observability of
singular differential systems with delay is derived.


---

## Body

## 1. Introduction

In many practical systems, such as economic systems, power systems, biological systems, ecosystems, and so on, due to the transmission of information need time span, usually there are the phenomena of delay. Up to now, many authors have paid much attention to the study for delay, and many excellent results have been given [1–5]. We notice that in some systems we must consider their character of dynamic state and static state synchronously, these result in many good consequences for singular systems that have been obtained recently [6–9].We must emphasize that there are a lot of systems in which there exist the phenomena of delay and singular simultaneously, we call such systems as the singular differential systems with delay. These systems have many special characters. If we want to describe them more exactly, more accurately design them, and more effectively control them, we must pay tremendous endeavor to investigate them, but that is obviously very difficult. In [3, 10–19], authors have discussed such systems, and got some consequences. But in the study for such systems, there are still many problems to be considered.Generally, the singular differential control systems with delay can be written as(1)Ex˙(t)=F(x(t),x(t-τ),u(t),t),t≥0,x(t)=φ(t),-τ≤t≤0,
wherex(t)∈Rn is a state vector, u(t)∈Rl is a control vector, E∈Rn×n is a singular matrix, φ∈C=C([-τ,0],Rn) is an admissible initial state functional, C=C([-τ,0],Rn) is the Banach space of continuous functions mapping the interval [-τ,0] into Rn with the topology of uniform convergence, the norm of an element φ in C can be designated as |φ|=supθ∈[-τ,0]|φ(θ)|, and F∈C1(Rn×Rn×Rl×R,Rn).The autonomous linear form of (1) can be written as
(2)Ex˙(t)=Ax(t)+Bx(t-τ)+Du(t)+f(t),t≥0,x(t)=φ(t),-τ≤t≤0,
where x(t)∈Rn is a state vector [6, 7], u(t)∈Rl is a control vector [6, 7], E∈Rn×n is a singular matrix, A,B∈Rn×n, andD∈Rn×l are constant matrix, f(t)∈Rn is a sufficiently smooth function, and φ(t) is the initial state function.Usually, the output functions of (2) can be written as:
(3)y(t)=Cx(t)+Hu(t),
where y(t)∈Rm is an output vector [6, 7], x(t)∈Rn is a state vector, u(t)∈Rl is a control vector, and C∈Rm×n and H∈Rm×l are constant matrices.Definition 1.
Singular differential control systems with delay (2) and (3) are observable on [t1,t2] if the initial function φ(t) in [-τ,0] can be uniquely determined from the knowledge of the control u(·) and observation y(·) over [t1,t2].Remark 2.
The observability concept in Definition1 comes from [4], which is sometimes called exact observability.Recently, many authors have discussed the observability of singular differential control systems without delay [6–8], but for such systems the discussion is much easier than that for singular differential control systems with delay. This is because singular differential control systems without delay can be changed as two autocephalous systems [7, 8] as follows:
(4)z˙1(t)=A1z1(t)+G1u(t)+f1(t),Nz˙2(t)=z2(t)+Bu(t)+f2(t),
and they can be discussed, respectively. But for singular differential systems with delay (2), the canonical forms are
(5)x˙1(t)=A1x1(t)+B11x1(t-τ)+B12x2(t-τ)+C1u(t)+f1(t),t≥0,Nx˙2(t)=x2(t)+B21x1(t-τ)+B22x2(t-τ)+C2u(t)+f2(t),t≥0,x1(t)=φ1(t),-τ≤t≤0,x2(t)=φ2(t),-τ≤t≤0,
which generally cannot be discussed, respectively.In papers [10, 16], we have had some results about the controllability of singular control systems with control-delay and the controllability of singular control systems with state-delay, respectively. As the corresponding concept of controllability, observability is obviously and important concept. As we know, up to now, there exists hardly any discussion on the observability of singular differential systems with delay.In this paper, we study singular differential systems with delay. Firstly, for the singular differential systems with delay, the general solutions will be given. Then, for the observability of singular differential systems with delay, we will give criterion.


## 2.  General Solutions of Singular Differential Systems with Delay

In the study of the observability of singular differential systems with delay, we will use some concepts and conclusions. Now, we give some of them, and specially give the general solutions of singular differential systems with delay (2).Definition 3.
LetE be a square matrix, if there exists a matrix Ed satisfy 10EEd=EdE,20EdEEd=Ed,30(I-EdE)El=0, we call Ed the Drazin inverse matrix of matrix E, simply D-inverse matrix. Where l is the index of matrix E; it is the smallest nonnegative integer which makes rank(El+1)=rank(El) be true.From [3] or [7], we have the following.Lemma 4.
For any square matrixE, its Drazin inverse matrix Ed is existent and unique. If the Jordan normalized form of E is E=T(J100J0)T-1, then Ed=T(J1-1000)T-1. Here, J0 is a nilpotent matrix, J1 and T are invertible matrices.
Consider the following systems(6)Ex˙(t)=Ax(t)+Bx(t-τ),t≥0,x(t)=φ(t),-τ≤t≤0,
and systems:
(7)Ex˙(t)=Ax(t)+Bx(t-τ)+Du(t)+f(t),t≥0,x(t)≡0,-τ≤t≤0.
It is not difficult to prove the following.Lemma 5.
Ifx-(t) and x^(t) are, respectively, the solution to (6) and (7), then x(t)=x-(t)+x^(t) is the solution to (2).Definition 6.
LetX(t)∈Rn×n, X(t) is called as the first class foundation solution of singular differential systems with delay, if it satisfies matrix equations the following:
(8)EX˙(t)=AX(t)+BX(t-τ),t≥0,X(t)={EEd,t=0,0,-τ≤t<0.Definition 7.
LetY(t)∈Rn×n, Y(t) is called as the second class foundation solution of singular differential systems with delay, if it satisfies matrix equations the following:
(9)EY˙(t)=AY(t)+BY(t-τ)+(I-EEd)δ(t),t≥0,Y(t)={I-EEd,t=0,0,-τ≤t<0,
where δ(t) is a delta function or impulse function (see [3] or [7]).Lemma 8.
For delta functionδ(t), one has
(10)∫0t‍δ(t-s)f(s)ds=f(t).
This Lemma is well known. The proof will be omitted.Lemma 9.
For any square matrixE, one has:
(11)(E+I)(I-EEd)(I+E(I-EEd))-1=I-EEd.Proof .
LetI be an identity matrix with appropriate dimension, and
(12)E=T(J100J0)T-1,
from Lemma 4, we have
(13)Ed=T(J1-1000)T-1.
ForJ0 is a nilpotent matrix, J0+I is invertible. Consider the following
(14)I-EEd=T(I00I)T-1-T(J100J0)T-1T(J1-1000)T-1=T(I00I)T-1-T(I000)T-1=T(000I)T-1,(E+I)(I-EEd)=T(J1+I00J0+I)T-1T(000I)T-1=T(000J0+I)T-1,I+E(I-EEd)=T(I00I)T-1+T(J100J0)T-1T(000I)T-1=T(I00J0+I)T-1,I-EEd=T(000I)T-1=T(000J0+I)T-1T(I00J0+I)-1T-1=(E+I)(I-EEd)(I+E(I-EEd))-1.
That means (11) is true.Definition 10.
Ifdet(λE-A)≢0, we call matrix couple (E,A) regular. If (A,E) is regular, we call system (2) regular.Remark 11.
Using the method of [3], we can prove that if (E,A) is regular, systems (2) (for any consistent initial state function φ(t)), (8), and (9) are solvable.Theorem 12.
Suppose that matrix couple(A,E) is regular, x-(t) is the solution of (6); then when t≥τ,
(15)x-(t)=[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τ0‍[(I+E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ,
when 0≤t≤τ,
(16)x-(t)=[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τt-τ‍[(I+E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ,
where X(t) is the first class of foundation solution of singular differential systems with delay, Y(t) is the second class of foundation solution of singular differential systems with delay.
To prove Theorem12, we can partition homogeneous singular differential systems with delay (6) into two classes of systems as follows:
(17)Ex˙(t)=Ax(t)+Bx(t-τ),t≥τ,Ex˙(t)=Ax(t)+EEdBφ(t-τ),0≤t≤τ,x(t)=EEdφ(t),-τ≤t≤0,(18)Ex˙(t)=Ax(t)+Bx(t-τ),t≥τ,Ex˙(t)=Ax(t)+(I-EEd)Bφ(t-τ),0≤t≤τ,x(t)=(I-EEd)φ(t),-τ≤t≤0.
We can easily prove the following.Lemma 13.
Ifx1(t), and x2(t)are respectively the solution of (17) and (18), then x-(t)=x1(t)+x2(t) is the solution of (6).Lemma 14.
Suppose that matrix couple(A,E) is regular, then the solution of (17) can be written as
(19)x1(t)={X(t)φ(0)+∫-τ0‍X(t-θ-τ)EdBφ(θ)dθ,t≥τ,X(t)φ(0)+∫0t‍X(t-θ)EdBφ(θ-τ)dθ,0≤t≤τ,
where X(t) is the first class of foundation solution of singular differential systems with delay.Proof .
SinceX(t) is the first class of foundation solution of singular differential systems with delay, X(t) satisfies matrix equations (8). Take Laplace transform for (8), we have
(20)∫0∞‍e-λt(EX˙(t))dt=E∫0∞‍e-λtX˙(t)dt=Eλ∫0∞‍e-λtX(t)dt-EX(0)=λEL(X(t))-EEEd,∫0∞‍e-λt(AX(t)+BX(t-τ))dt=A∫0∞‍e-λtX(t)dt+B∫0∞‍e-λtX(t-τ)dt=AL(X(t))+B∫-τ∞‍e-λt-λτX(t)dt=AL(X(t))+Be-λτ∫0∞‍e-λtX(t)dt=(A+Be-λτ)L(X(t)).
That is,(21)λEL(X(t))-EEEd=(A+Be-λτ)L(X(t)).
Because(E,A)is regular, for real(λ)large enough, λE-A-Be-λτ is invertible, so we have
(22)L(X(t))=(λE-A-Be-λτ)-1EEEd.
Ifx1(t) is the solution of (17), we have
(23)∫0∞‍e-λt(Ex˙1(t))dt=E∫0∞‍e-λtx˙1(t)dt=Eλ∫0∞‍e-λtx1(t)dt-Ex1(0)=λEL(x1(t))-EEEdφ(0),∫0∞‍e-λt(Ex˙1(t))dt=∫0τ‍e-λt(Ex˙1(t))dt+∫τ∞‍e-λt(Ex˙1(t))dt=A∫0τ‍e-λtx1(t)dt+∫0τ‍EEdBe-λtφ(t-τ)dt+A∫τ∞‍e-λtx1(t)dt+B∫τ∞‍e-λtx1(t-τ)dt=A∫0∞‍e-λtx1(t)dt+Be-λτ∫0∞‍e-λtx1(t)dt+∫0τ‍EEdBe-λtφ(t-τ)dt=AL(x1(t))+Be-λτL(x1(t))+∫0τ‍EEdBe-λtφ(t-τ)dt.
That is,
(24)(λE-A-Be-λτ)L(x1(t))=EEEdφ(0)+∫0τ‍EEdBe-λtφ(t-τ)dt.
Since Ed=EEdEd, from (22), we can see that
(25)L(x1(t))=(λE-A-Be-λτ)-1EEEdφ(0)+∫0τ‍(λE-A-Be-λτ)-1×EEEdEdBe-λtφ(t-τ)dt=L(X(t))φ(0)+∫0τ‍L(X(t))EdBe-λsφ(s-τ)ds.
Define an auxiliary functionω:[-τ,∞)→[0,1] as follows:
(26)ω(t)={0,t≥0,1,t<0,
we have
(27)∫0τ‍L(X(t))EdBe-λsφ(s-τ)ds=L(X(t))∫0τ‍e-λtEdBφ(t-τ)dt=L(X(t))∫0∞‍e-λtEdBφ(t-τ)ω(t-τ)dt=L(X(t))L(EdBφ(t-τ)ω(t-τ))=L(∫0t‍X(t-θ)EdBφ(θ-τ)ω(θ-τ)dθ).
Then, we have
(28)x1(t)=X(t)φ(0)+∫0t‍X(t-θ)EdBφ(θ-τ)ω(θ-τ)dθ.
When t≥τ,
(29)x1(t)=X(t)φ(0)+∫-τ0‍X(t-θ-τ)EdBφ(θ)dθ,
when 0≤t≤τ,
(30)x1(t)=X(t)φ(0)+∫0t‍X(t-θ)EdBφ(θ-τ)dθ.
The proof of Theorem 12 is completed.Lemma 15.
Suppose that matrix couple(A,E) is regular, then the solution of (18) can be written as
(31)x2(t)={Y(t)(I+E(I-EEd))-1φ(0)+∫-τ0‍Y(t-θ-τ)(I+E(I-EEd))-1×Bφ(θ)dθ,t≥τ,Y(t)(I+E(I-EEd))-1φ(0)+∫0t‍Y(t-θ)(I+E(I-EEd))-1×Bφ(θ-τ)dθ,0≤t≤τ,
where Y(t) is the second class of foundation solution of singular differential systems with delay.Proof.
SinceY(t) is the second class of foundation solution of singular differential systems with delay, Y(t) satisfies matrix equations (9). Take Laplace transform for (9), we have
(32)∫0∞‍e-λt(EY˙(t))dt=E∫0∞‍e-λtY˙(t)dt=Eλ∫0∞‍e-λtY(t)dt-EY(0)=λEL(X(t))-E(I-EEd),∫0∞‍e-λt(AY(t)+BY(t-τ)+(I-EEd)δ(t))dt=A∫0∞‍e-λtY(t)dt+B∫0∞‍e-λtY(t-τ)dt+(I-EEd)=AL(Y(t))+B∫-τ∞‍e-λt-λτY(t)dt+(I-EEd)=AL(Y(t))+Be-λτ∫0∞‍e-λtY(t)dt+(I-EEd)=(A+Be-λτ)L(Y(t))+(I-EEd).
That is
(33)λEL(Y(t))-E(I-EEd)=(A+Be-λτ)L(Y(t))+(I-EEd).
Because (E,A) is regular, for real(λ)large enough, λE-A-Be-λτ is invertible, so, we have
(34)L(Y(t))=(λE-A-Be-λτ)-1(I+E)(I-EEd).
If x2(t) is the solution of (18), we have
(35)∫0∞‍e-λt(Ex˙2(t))dt=E∫0∞‍e-λtx˙2(t)dt=Eλ∫0∞‍e-λtx2(t)dt-Ex2(0)=λEL(x2(t))-E(I-EEd)φ(0),∫0∞‍e-λt(Ex˙2(t))dt=∫0τ‍e-λt(Ex˙2(t))dt+∫τ∞‍e-λt(Ex˙2(t))dt=A∫0τ‍e-λtx2(t)dt+∫0τ‍(I-EEd)Be-λtφ(t-τ)dt+A∫τ∞‍e-λtx2(t)dt+B∫τ∞‍e-λtx2(t-τ)dt=A∫0∞‍e-λtx2(t)dt+Be-λτ∫0∞‍e-λtx2(t)dt+∫0τ‍(I-EEd)Be-λtφ(t-τ)dt=AL(x2(t))+Be-λτL(x2(t))+∫0τ‍(I-EEd)Be-λtφ(t-τ)dt.
That is,
(36)(λE-A-Be-λτ)L(x2(t))=(I-EEd)Eφ(0)+∫0τ‍(I-EEd)Be-λtφ(t-τ)dt.
Then,
(37)L(x2(t))=(λE-A-Be-λτ)-1(I-EEd)Eφ(0)+∫0τ‍(λE-A-Be-λτ)-1×(I-EEd)Be-λtφ(t-τ)dt.
From Lemma 9, we have
(38)L(x2(t))=(λE-A-Be-λτ)-1(E+I)(I-EEd)×(I+E(I-EEd))-1Eφ(0)+∫0τ‍(λE-A-Be-λτ)-1(E+I)×(I-EEd)(I+E(I-EEd))-1×Be-λtφ(t-τ)dt.
from (34) and (38), we know
(39)L(x2(t))=L(Y(t))(I+E(I-EEd))-1Eφ(0)+∫0τ‍L(Y(t))(I+E(I-EEd))-1×Be-λθφ(θ-τ)dθ.
Use auxiliary function ω:[-τ,∞)→[0,1] as above, we have
(40)∫0τ‍L(Y(t))(I+E(I-EEd))-1Be-λθφ(θ-τ)dθ=L(Y(t))×∫0τ‍e-λθ(I+E(I-EEd))-1Bφ(θ-τ)dθ=L(Y(t))×∫0∞‍e-λθ(I+E(I-EEd))-1×Bφ(θ-τ)ω(θ-τ)dθ=L(Y(t))L((I+E(I-EEd))-1×Bφ(t-τ)ω(t-τ)(I+E(I-EEd))-1)=L(∫0t‍Y(t-θ)(I+E(I-EEd))-1×Bφ(θ-τ)ω(θ-τ)dθ∫0t‍).
Then, we have
(41)x2(t)=Y(t)(I+E(I-EEd))-1Eφ(0)+∫0t‍Y(t-θ)(I+E(I-EEd))-1×Bφ(θ-τ)ω(θ-τ)dθ.
When t≥τ,
(42)x2(t)=Y(t)(I+E(I-EEd))-1Eφ(0)+∫-τ0‍Y(t-θ-τ)(I+E(I-EEd))-1×Bφ(θ)dθ,
when 0≤t≤τ,
(43)x2(t)=Y(t)(I+E(I-EEd))-1Eφ(0)+∫0t‍Y(t-θ)(I+E(I-EEd))-1Bφ(θ-τ)dθ.
This will complete the proof of Lemma 15.From Lemma13, 14 and 15 we can easily see that Theorem 12 is true.Just as the proof of Theorem12, we can prove that.Theorem 16.
Suppose that matrix couple(A,E) is regular, then the solution of (7) can be written as
(44)x^(t)=∫0t‍X(t-θ)Ed[Du(θ)+f(θ)]dθ+∫0t‍Y(t-θ)(I+E(I-EEd))-1×[Du(θ)+f(θ)]dθ,
where X(t) is the first class of foundation solution of singular differential systems with delay and Y(t) is the second class of foundation solution of singular differential systems with delay.From Lemma5 and Theorems 12 and 16, we have the following.Theorem 17.
Suppose that matrix couple(A,E) is regular, then x(t) is the solution of (2), when t≥τ,
(45)x(t)=[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τ0‍[X(I+E(I-EEd))-1(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ+∫0t‍[(I+E(I-EEd))-1X(t-θ)Ed+Y(t-θ)×(I+E(I-EEd))-1][Du(θ)+f(θ)]dθ,
when 0≤t≤τ,
(46)x(t)=[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫0t‍[(I+E(I-EEd))-1X(t-θ)EdB+Y(t-θ)×(I+E(I-EEd))-1B]φ(θ-τ)dθ+∫0t‍[(I+E(I-EEd))-1X(t-θ)Ed+Y(t-θ)×(I+E(I-EEd))-1][Du(θ)+f(θ)]dθ,
where X(t) is the first class of foundation solution of singular differential systems with delay and Y(t) is the second class of foundation solution of singular differential systems with delay.Remark 18.
As the illustration in Section2, if (E,A) is regular, by the method of step by step, we can prove that both (8) and (9) are uniquely solvable. We can see that for any consistent initial function φ(t), Theorem 17 will be true. Such expression of general solution of (2) will be very useful in the study of the characteristic of (2), such as the observability, the controllability, the optimal control, and so on.


## 3. Observability of Singular Differential Systems with Delay

Now, let us discuss observability of singular differential systems with delay (2) and (3). We work over two cases: t≥τ and 0≤t<τ.Case 1 (t≥τ).
From (3) and Theorem 17, we have
(47)y(t)=C[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τ0‍C[(E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ+∫0t‍C[(E(I-EEd))-1X(t-θ)Ed+Y(t-θ)×(I+E(I-EEd))-1]×[Du(θ)+f(θ)]dθ+Hu(t).
That is,
(48)C[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τ0‍C[(I+E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ=y(t)-∫0t‍C[(E(I-EEd))-1X(t-θ)Ed+Y(t-θ)×(I+E(I-EEd))-1]×[Du(θ)+f(θ)]dθ-Hu(t).
From that, we can see that the problem of system observability can be addressed when u(·) and f(·) are identically zero. Thus, we can assume, with no loss of generality, that u(·)≡0,f(·)≡0 and study the observability of systems (6) and(49)y(t)=Cx(t).
Then, we have
(50)y(t)=C[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τ0‍C[(I+E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ.
From Lemma 8, we have
(51)∫0l‍C[(I+E(I-EEd))-1X(t-θ+τ)+Y(t-θ+τ)×(I+E(I-EEd))-1E]φ(θ-τ)δ(l-θ)dθ=C[(I+E(I-EEd))-1X(t-l+τ)+Y(t-l+τ)×(I+E(I-EEd))-1E]φ(l-τ).
Let l=τ; then
(52)∫0τ‍C[(I+E(I-EEd))-1X(t-θ+τ)+Y(t-θ+τ)×(I+E(I-EEd))-1E]φ(θ-τ)δ(τ-θ)dθ=C[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0),
that is,
(53)C[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)=∫-τ0‍C[(I+E(I-EEd))-1X(t-θ)+Y(t-θ)×(I+E(I-EEd))-1E]δ(-θ)φ(θ)dθ.
Taking it into (50), we have
(54)y(t)=∫-τ0‍C[(I+E(I-EEd))-1X(t-θ)+Y(t-θ)×(I+E(I-EEd))-1E]δ(-θ)φ(θ)dθ+∫-τ0‍C[(I+E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ=∫-τ0‍C[[(I+E(I-EEd))-1X(t-θ)+Y(t-θ)×(I+E(I-EEd))-1E]δ(-θ)+X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B[(I+E(I-EEd))-1X(t-θ)+Y(t-θ)]φ(θ)dθ.
Let
(55)W(t,θ)=[(I+E(I-EEd))-1X(t-θ)+Y(t-θ)×(I+E(I-EEd))-1E]δ(-θ)+X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B.
Then,
(56)y(t)=∫-τ0‍CW(t,θ)φ(θ)dθ.
So, we have
(57)∫-τ0‍WT(t,s)CTy(t)ds=∫-τ0‍[∫-τ0‍WT(t,s)CTCW(t,θ)φ(θ)dθ]ds=∫-τ0‍[∫-τ0‍WT(t,s)CTCW(t,θ)φ(θ)ds]dθ=∫-τ0‍[∫-τ0‍WT(t,θ)CTCW(t,s)φ(s)dθ]ds=∫-τ0‍[∫-τ0‍WT(t,θ)CTCW(t,s)dθ]φ(s)ds.
That is,
(58)∫-τ0‍[∫τt1‍WT(t,s)CTy(t)dt]ds=∫-τ0‍[∫τt1‍[∫-τ0‍WT(t,θ)CTCW(t,s)dθ]dt]φ(s)ds.
Let
(59)Q(t1,s)=∫τt1‍[∫-τ0‍WT(t,θ)CTCW(t,s)dθ]dt.
Then,
(60)∫-τ0‍[∫τt1‍WT(t,s)CTy(t)dt]ds=∫-τ0‍Q(t1,s)φ(s)ds.
From that, we have the main result of this paper as follows.Theorem 19.
Singular differential system with delay (6) and (49) is observable in [τ,t1] if the observability matrix
(61)Q(t1,s)=∫τt1‍[∫-τ0‍WT(t,θ)CTCW(t,s)dθ]dt
has rankn for all s∈[-τ,0]. Where
(62)W(t,θ)=[(I+E(I-EEd))-1X(t-θ)+Y(t-θ)×(I+E(I-EEd))-1E]δ(-θ)+X(t-θ-τ)EdB+Y(t-θ-τ)(I+E(I-EEd))-1B,
where X(t) is the first class of foundation solution of singular differential system with delay and Y(t) is the second class of foundation solution of singular differential system with delay.Proof .
If the observability matrix(63)Q(t1,s)=∫τt1‍[∫-τ0‍WT(t,θ)CTCW(t,s)dθ]dt
has rank n for all s∈[-τ,0], then Q-1(t1,s) exists, and from (60), we can take
(64)φ(s)=Q-1(t1,s)∫τt1‍WT(t,s)CTy(t)dt,
the singular differential system with delay (6) and (49) is observable in [τ,t1].Theorem 20.
If there exists1,s2∈[-τ,0], and s1<s2 such that when s∈(s1,s2), the observability matrix Q(t1,s), rankQ(t1,s)<n, then singular differential system with delay (6) and (49) is unobservable.Proof.
ForrankQ(t1,s)<n (s∈(s1,s2)), there exists α(s)∈Rn, α(s)≠0, such that Q(t1,s)α(s)=0.
Letφ1(s) satisfy (60) for any y(t), and
(65)φ2(s)={φ1(s),s∉(s1,s2),φ1(s)+α(s),s∈(s1,s2).
Obviously, fors∈[-τ,0], φ1(s)≠φ2(s), and
(66)∫-τ0‍Q(t1,s)φ2(s)ds=∫-τ0‍Q(t1,s)φ1(s)ds+∫s1s2‍Q(t1,s)α(s)ds=∫-τ0‍Q(t1,s)φ1(s)ds=∫-τ0‍[∫τt1‍WT(t,s)CTy(t)dt]ds.
That is for any y(t), we can have more than one φ(s) in (60), so singular differential system with delay (6) and (49) is unobservable.Case 2 (0≤t<τ).
From (3) and Theorem 17, we have
(67)y(t)=C[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τt-τ‍C[(I+E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)(I+E(I-EEd))-1B]×φ(θ)dθ+∫0t‍C[(I+E(I-EEd))-1X(t-θ)Ed+Y(t-θ)(I+E(I-EEd))-1]×[Du(θ)+f(θ)]dθ+Hu(t).
That is,
(68)C[X(t)+Y(t)(I+E(I-EEd))-1E]φ(0)+∫-τt-τ‍C[(I+E(I-EEd))-1X(t-θ-τ)EdB+Y(t-θ-τ)×(I+E(I-EEd))-1B]φ(θ)dθ=y(t)-∫0t‍C[(I+E(I-EEd))-1X(t-θ)Ed+Y(t-θ)×(I+E(I-EEd))-1]×[Du(θ)+f(θ)]dθ-Hu(t).
From (68), we can easily find that when θ∈(t-τ,0), we cannot get any information about φ(θ). That is, the state initial function φ(t) in [-τ,0] cannot be uniquely determined from the knowledge of the control u(·) and observation y(·) over [0,τ), singular differential control systems with delay (2) and (3) are not observable on [0,τ).


## 4. Conclusion

In this paper, we study linear singular differential systems with delay in the state equations. We give a general description of the solutions and as the use of such result, we derive a necessary and sufficient condition for exact observability in finite time.In [7], the problem, finding general solutions of singular systems with delay, was presented for the first time. But the result and the approach of our paper are brand-new, which may have significant advantages in comparison with the results of [7]. For example, it can be easily used to study the observability of singular control systems with delay.For the observability of singular control systems with delay, we study it in two cases. Whent≥τ, we give a necessary and sufficient condition. When 0≤t<τ, we point out that singular differential control systems with delay (2) and (3) are not observable. These will be very useful in the study of singular control systems with delay, and that could also be regarded as the example of the use of the general description of the solutions of singular differential systems with delay.



---

*Source: 512465-2013-11-17.xml*