In this paper, we analyze the dissipativity for descriptor systems with impulsive behavior based on image space analysis. First, a new image space is used to characterize state responses for descriptor systems. Based on such characterization and an integral property of delta function, a new necessary and sufficient condition for the dissipativity of descriptor systems is derived using the linear matrix inequality (LMI) approach. Also, some of the earlier related results on dissipativity for linear systems are investigated in the framework proposed in this paper. Finally, two examples are given to show the validity of the derived results.

1. Introduction

Since the notion of dissipative dynamical system was proposed by Willems in [1], it has played an important role in system analysis and synthesis of various control systems, such as in circuits, power systems, and mechanical systems [1, 2]. In fact, this concept is an extension of passivity (or positive realness) and performance and is heavily used in stability analysis of nonlinear systems [3, 4]. As we know, the concept of dissipativity in control systems generalizes several important results including the passivity theorem, bounded real lemma, Kalman-Yakubovich lemma, and the circle criterion [4, 5].

As to the importance of dissipativity, dissipative control for normal systems has attracted much attention [610]. With mild assumptions, the strict quadratic dissipativity of continuous/discrete normal systems is equivalent to their performance problem. Based on this observation, the existence conditions of feedback controllers to achieve asymptotic stability and strict dissipativity are derived, respectively, for continuous/discrete normal systems in [6, 7]. In [8], the stability and strict dissipativity conditions for normal delay systems are investigated. In [9], the dissipativity conditions for symmetric normal systems are given. In [10], the optimal controller design is addressed for a class of normal systems which are dissipative with respect to a quadratic “power function.”

There has been a growing research interest in descriptor systems in control community, since such systems can provide accurate representations for interconnected large-scale systems, economic systems, electrical networks, power systems, and mechanical systems [11, 12]. Many important results for descriptor systems have been obtained in the last two decades, such as controllability and observability [13], control [1416], positive realness [17, 18], and passive control [19] Dissipative control for descriptor systems has also attracted particular interest for its various applications in the literature [2026]. In [20, 23], some necessary and sufficient conditions are given, respectively, to make continuous/discrete descriptor systems admissible and strictly dissipative. In [21], matrix inequalities are used to characterize necessary and sufficient conditions for dissipativity of descriptor systems. Based on results in [21], design of output feedback controllers to achieve dissipativity of the closed-loop system is investigated in [22]. The dissipativity analysis for Takagi-Sugeno (T-S) fuzzy descriptor systems with time-delay is studied in [24]. In [25], the fuzzy controller and the fuzzy observer are given, which guarantees the closed loop T-S fuzzy descriptor system to be admissibility and strict dissipativity. In [26], the problem of delay-dependent -dissipativity analysis is investigated for a general class of descriptor systems with Markovian jump parameters and mode-dependent mixed time-delays.

In fact, dissipative systems theory is linked to Lyapunov stability theory. There exist some tools from the dissipativity approach that can be used to construct some Lyapunov functions, which are related to control, positive realness, and so forth. So far, in [2025], the dissipative analysis for descriptor systems is only for impulse-free systems. It is known that impulsive behavior is one main feature of descriptor systems being different from normal systems. In fact, these results are essentially the mild generalization of dissipativity theorems for normal systems, which do not reveal the nature of descriptor systems significantly. In [18], a new method of image space is proposed, and a necessary and sufficient condition for passivity and positive realness of descriptor system is given. As motivated by [18], we also give a new image space expression to characterize the state responses of descriptor systems with impulsive behavior. Though the idea is similar, the derived condition in this paper is much more explicit with expression of smaller matrix of lower dimensions. Also, we solve the dissipativity problem here instead of the positive realness problem addressed in [18].

This image space presents a new approach for the expression of descriptor systems. As impulsive behavior is involved in the system, we deal with the delta function as an approximation of a series of normal functions for mathematical simplicity. As such, the integrability of a supply function is considered for descriptor systems with impulsive behavior. One can find that there are some constraints for the supply function in this case, which are different from the existing results. Then, a design approach which ensures the integrability of a supply function is constructed. Consequently, a necessary and sufficient condition for dissipativity of descriptor systems is derived in terms of LMIs. This result is valid regardless of the existence of impulsive behavior, which is significantly different from the existing results. Thirdly, an algorithm on how to effectively solve these nonstrict LMIs is presented; meanwhile, the earlier related results are discussed with obtained results. Finally, one practical example and one numerical example are given to demonstrate the effectiveness of the results in this paper.

The layout of this paper is organized as below. We will present some preliminary results on characterization of descriptor systems based on image space in Section 2. The dissipativity analysis is presented in Section 3. The relationship with typical previous results is investigated in Section 4. Some illustrative examples are given in Section 5 and the final conclusions are made in Section 6.

For convenience of presentation, we first give the following notations used in this paper.

Notations. Let , , and denote the sets of real, nonnegative real, and complex numbers, respectively. The notation denotes the set of matrices with real elements. Let and be matrices. The notation col denotes the matrix obtained by stacking over . The image of is denoted by im and kernel of by ker . The determinant of is denoted by and rank of by . Let be a square matrix; it is said to be symmetric if . We say that (necessarily symmetric) is positive semidefinite if for all vectors . We write by meaning that is positive semidefinite. Negative semidefiniteness is defined in a similar fashion. The notation is the degree of a polynomial. For a symmetric matrix represented blockwise, offdiagonal blocks are abbreviated with ; that is, The notation with being a vector space stands for for all . Let , , and denote, respectively, the sets of absolutely continuous, smooth, and times piecewise continuously differentiable functions.

2. Preliminaries

Consider the following descriptor system: where is the state, is the input, is the output, the matrices are of appropriate sizes, and . The following concepts for descriptor systems are essential and will be used throughout this paper.

Definition 1 (see [11]). System (2a) and (2b) is said to be regular if is not identically zero. It is said to be impulse-free if .

As we know from [11], only when system (2a) and (2b) is regular, it has unique solution. Usually this regularity condition is required for all control problems of descriptor systems. In this case, there exist two invertible matrices and such that where , , and , and . is nilpotent; that is, for some integer . Then the restricted equivalent form of system (2a) and (2b) can be, respectively, expressed as which is called the Weierstrass canonical form. In fact, the invertible matrices and may be not unique and the transformed system is unique in this canonical form.

Throughout the paper, we are interested in the solutions of system (2a) and (2b) at an initial value . Then, any trajectory of (2a) and (2b) is given by (see [27]) where

One can see that if , this system will have impulsive behavior for nonzero initial values , , and discontinuity . Meanwhile, we know there are no impulsive terms in substate when . For simplicity, we assume consistent initial values in this paper; that is, and . In this case, the main impulsive nature of the system is characterized by in (5b). That indicates that if has a discontinuity point at , will have impulsive behavior. In fact, when , the system will have no impulsive behavior and the initial jump may appear as discussed in [28].

In order to investigate the solution of systems (2a) and (2b) from a new perspective, we follow the technique in [18] and define the following two sets:

One can see that . Further we have the following results.

Lemma 2. For system (2a) and (2b), there exist matrices , , and with and such that the following statements hold.(i)If is a solution, (ii)If , there exists a smooth solution such that where

Proof. This proof is similar to Lemma 3.2 in [18]. We omit them here.

Remark 3. The above lemma describes descriptor systems with impulsive behavior in terms of an image space. The image space can include all impulsive solutions of system (2a) and (2b) with consistent initial values. If we take into (24), we can obtain Lemma 3.2 in [18]. In terms of the expression formulae, Lemma 2 in this paper is more explicit than description of Lemma 3.2 in [18]. In detail, the matrices involved in Lemma 2 have lower dimensions and thus are more computationally efficient. One can see from the main results of this paper in next section that this new characterization is more powerful in solving the dissipativity problem for descriptor systems. Instead, [18] is only concerned with the passivity problem, which is a special case of this paper.

The next two lemmas will be used in the proof of main results in next section.

Lemma 4 (see [29]). Given a nilpotent matrix and a symmetric matrix , . If there exists a symmetric matrix , such that and then

Definition 5. A state space model is a realization of a transfer function if . A realization of a transfer function is said to be minimal if no other realization of has smaller dimension.

In order to investigate the dissipativity of descriptor systems, we need one integral property of delta function. As we know, delta function is a generalized function and its properties can be investigated along the generalized function theory as in [30]. For mathematical simplicity and rigorousness, we treat this problem from engineering intuition by taking the delta function as an approximation of a series of normal functions as was done in [31]. We will investigate its generic correctness in the future.

Lemma 6 (see [31]). If the Dirac delta function is defined as a limit of the following as goes to zero, then it is not square integrable.

Proof. As is defined as the limit of the following as goes to zero, then, for any continuous function , one has the following properties: where is the function at and One can prove easily that as goes to zero, will satisfy the above properties and it can approximate the Dirac delta function. This function is integrable, and the integral of this function is 1 which is independent of the value of . In fact, this integral can be computed explicitly (noting the integral symmetry) as Now, we can compute the integral of the square of this function as follows (again, noting the symmetry of this function): In the limit as , the integral of the square of this function approaches infinity. Thus, the Dirac delta function is not square integrable. This completes the proof.

There are different types of approximations for delta function by using different normal functions. Another typical one is using Gaussian function [32]. In fact, Lemma 6 is also true for the case of Gaussian approximation. With the approximation technique, we can obtain the following corollary.

Corollary 7. If is a constant variable, and the function with defined as a limit of is Lebesgue integrable, then we have .

With the above property, we can prove the following lemma, which will play an important role in the proof of our main result in next section.

Lemma 8. If the function is Lebesgue integrable on for , where then we have

Proof. Because is Lebesgue integrable on for all , we can specially choose to meet that , are the Lebesgue integrable functions and . By Corollary 7, we can obtain . Then, we can specially choose iteratively such that , are the Lebesgue integrable functions and . We will have . Iteratively, we can prove that , . This completes the proof.

3. Dissipativity Analysis

Following the intuition of dissipativity for a dynamic system given in [1], one can see that dissipativity of a dynamic implies that the internal energy storage of a system never exceeds the energy storage supplied to the system. In this paper, we formulate the notion of dissipativity for the system (2a) and (2b) via the so-called dissipativity inequality.

Definition 9. System (2a) and (2b) with supply rate which is locally Lebesgue integrable independently of the input and the initial conditions is said to be dissipative if there exists a nonnegative function (called the storage function) such that for all , with and the solution of system (2a) and (2b). If the above inequality is strict, then the system is said to be strictly dissipative.

Furthermore, the energy supply function of systems (2a) and (2b) is usually defined as where , , and are real matrices with and being symmetric. In this case, the dissipative system (2a) and (2b) is said to be dissipative. In practice, the following assumptions are usually put on for the study of dissipativity.

Assumption 10. Consider .

Remark 11. From Definition 9, we know that the above strict dissipativity includes performance and passivity as special cases. For example, if , , and , (20) reduces to an performance index. If , , and , (20) corresponds to the passivity or positive realness for systems as discussed in [18].

One can see from the above remark that dissipativity analysis is more general in comparison to performance, positive realness, and passivity analysis. Though there are some results on other problems for descriptor systems with impulsive behavior, to the best of our knowledge, the analysis for dissipativity is still not available in the existing literature.

In order to give the main result in the following theorem, we use the following notations for simplicity:

3.1. Design Energy Supply Function

In order to investigate the impulsive behavior for system (2a) and (2b), we need to discuss the integrability of supply function . There is a significant difference for descriptor systems with or without impulsive behavior. First, we give the following theorem based on Lemma 8.

Theorem 12. The supply function of system (2a) and (2b) is Lebesgue integrable for all if and only if

Proof. To prove this theorem, we rewrite
Sufficiency. From (23)-(24) and , we have
And and are locally integrable Lebesgue functions, so the supply function is Lebesgue integrable.
Necessity. Assume that the supply function of system (2a) and (2b) is Lebesgue integrable for all , and then we have that is Lebesgue integrable, where By Lemma 8, we can have Recall that ; we can obtain With similar reasoning, we can derive that is Lebesgue integrable. Then, we can obtain This completes the proof.

Remark 13. One can see from the above proof that if the descriptor system is impulse-free (i.e., ), the supply function is always Lebesgue integrable. Otherwise, the selection of parameters and has some restrictions as stated in the above theorem. However, if the descriptor system (2a) and (2b) is output impulsive-free (i.e., ), the selection for parameters would be very flexible. If the delta function is in general case, we can put these constraints as a requirement to eliminate impulse in the storage function.

Based on the observations from previous sections, we can state our main results in this paper.

3.2. Dissipativity Analysis

Theorem 14. Consider system (2a) and (2b); the following statements are equivalent.(1)System (2a) and (2b) is dissipative.(2)The following LMIs, have a common solution , where .

Proof. .
Suppose that system (2a) and (2b) is dissipative with the storage function given below: where , . Let . From the dissipativity inequality, we can obtain for all . Since all involved functions are smooth, we can derive Let
Then, we can have for . Substituting , we obtain It follows from the claim (ii) of Lemma 2 that is a solution to the LMIs in (33)-(34).
Suppose that the LMIs (33)-(34) admit a solution . From the claim (i) of Lemma 2; we can derive the following: whenever . Clearly, this yields By integrating (42) from to , we obtain the dissipativity inequality. The proof is completed.

Remark 15. It should be mentioned that Theorem 14 is valid for descriptor system with impulsive behavior. Furthermore, those LMIs conditions aim to seek symmetric solutions, which is different from the typical lower triangular matrix solutions for dissipativity of descriptor systems without impulsive behavior as reported in [21].

Remark 16. We can also consider the stability of system (2a) and (2b) by using our approach. If , we can obtain . In this case, (8) will change to the following: Then, we can choose the Lyapunov function with By this way, we can obtain the stability condition of system (2a) and (2b) as follows: This is a known stability result for descriptor systems as reported in [29].

Next, we discuss a parametrization form for all possible solutions of the LMIs (33)-(34).

Theorem 17. If the LMIs (33)-(34) are solvable, all possible solutions must be given by where and are with the following requirements.(1) is a solution to the following LMIs: (2) is a solution of

Proof. Suppose that the LMIs (33)-(34) admit a solution . Let be a symmetric positive semidefinite matrix and partitioned as
It can be verified that the following equation holds: where
Suppose that (51) is negative semidefinite; we will have . Since is nilpotent matrix, , and , we can obtain ; that is, . By Lemma 4, we obtain With simple manipulations, we can see that and . Since , it follows from matrix theory that all the elements on the corresponding row and column blocks must be zero. In other words, Then, we can derive that
Finally, the right-hand side of (51) with combination of (33)-(34) will give the following conclusion: We can see that is a solution to LMIs (48). This completes the proof.

Remark 18. By Theorem 17, we can obtain

So, storage function of system (2a) and (2b) can be divided into two parts: storage function of slow subsystem (4a) and storage function of fast subsystems (4b). This conclusion is in agreement with actual states; that is, the overall descriptor system is dissipative can be regarded as two subsystems are dissipative, respectively.

Since and are absolutely continuous functions, is absolutely continuous function and satisfies This reveals that (42) is Lebesgue integrable. By the above discussion and Theorem 12, if suitable matrices are chosen according to these theorems, the impulsive behavior does not display out the influence in the running process of the system, and the descriptor system is dissipative. That implies that the impulses have to be eliminated from (some parts of) the signals related to the storage function.

One will see that the main result in this paper is quite different from the existing results.

4. Comparison with Existing Results

In this section, we will compare the obtained results in the last section with some important existing results.

First, we compare with the results for normal systems. If , one can verify the following equation easily: This will lead to the following result.

Corollary 19. The continuous normal system is dissipative if and only if there exists with such that the following LMI is satisfied:

Proof. When , by using Theorem 14 and (59), we have Corollary 19 is proved.

Remark 20. If , our theorems become necessary and sufficient conditions for dissipativity of continuous normal systems. In fact, Corollary 19 is equivalent to the dissipative lemma reported in [10].

Next, we compare with some results for descriptor systems. First, we derive the following results, which are actually new for descriptor systems.

Corollary 21. System (2a) and (2b) is dissipative if there exists such that the following LMIs are satisfied:

Proof. When system (2a) and (2b) is dissipative, by taking and using , we can obtain the following: From Theorem 14, one can see that Corollary 21 is proved.

Similarly, by taking and , we can obtain the following results.

Corollary 22. System (2a) and (2b) is dissipative if there exists symmetric matrix such that the following LMIs are satisfied:

Though the LMIs (33) and (34) are investigated in general in the last section, we will give a special case in the next corollary, which can be used easily in practical computation.

Corollary 23. Suppose that(1) is dissipative;(2) is minimal;(3) is given in the Weierstrass form, and .Then, the LMIs (33)-(34) are solvable and all the solutions can be given by with the following requirements:(1) is a solution to the following LMIs: where (2) is the unique solution of .

Proof. By (2)-(3), we have
Let be a symmetric positive semidefinite matrix and partitioned as where , , , and . By Theorem 14, we have Then, straightforward calculations yield
Due to minimality, must be full row rank. Hence, is the unique solution of .

Remark 24. By particularly choosing , , and , we can obtain corresponding results for Corollaries 2123 and they are in fact the Theorems 6.4(1), 6.4(2), and 5.4 in [18].

Before we conclude this section, we discuss how to effectively solve the nonstrict LMIs (33)-(34). We can see that they are given with an image space and not the conventional strict LMIs. By (34), we know that for all . This implies that LMI (34) is equivalent to

According to the discussion above, LMIs (33) and (73) are also not the standard LMIs which can be solved by the LMI toolbox in MATLAB directly. Luckily, LMIs in (33) and (73) problem are still a semidefinite programming (SDP) problem. So, we can use MATLAB toolbox YALMIP [33] which was initially developed to model SDP and solved by interfacing external solver-SeDuMi [34]. YALMIP toolbox solves optimization problems in general and can be used for control oriented SDP problems. Next, we will give an algorithm for solving the nonstrict LMIs (33) and (73) in detail.

Step 1. Find two invertible matrices and , and change system (2a) and (2b) into Weierstrass canonical forms.

Step 2. Compute the matrices , , , and .

Step 3. Solve LMIs (33) and (73) as follows. Define decision variable and constraints And let Then, solve problem and .

5. Illustrative Examples

In this section, we will present two examples to demonstrate the effectiveness and the merits of the proposed results.

Example 1 (see [30]). Consider a mechanical system shown in Figure 1. This system consists of two one-mass oscillators connected by a dashpot element, which is described by where is the displacement vector, is the vector of known input forces, is the vector of Lagrangian multipliers, is the inertial matrix, which is usually symmetric and positive definite, is the damping and gyroscopic matrix, is the stiffness and circulator matrix, is the force distribution matrix, is the Jacobian of the constraint equation, and and are the coefficient matrices of the constraint equation. All matrices in (76) are known and constant with appropriate dimensions.

Assume that a linear combination of displacements and velocities is measurable; that is, the output equation is of the form

By further choosing the state vector and the input vector as respectively, we can rewrite the above (76)-(77) in the following descriptor system form. Let , , , , and . Thus, we obtain a descriptor system with the following parameters: where

One can verify that , so this descriptor system is not impulse-free. If we choose , , and in the energy supply function, one solution to the LMIs of Theorem 14 is as follows: Therefore, this system is dissipative although it is not impulse-free.

Remark 25. In the above example, we know that this descriptor system consists of the physical equations with a constraint equation . After substituting the constraint equation into the physical equations while ignoring its initial conditions, we can obtain the following system: This becomes a normal system. According to [2], we know that this normal system is dissipative with energy function since where the force and the velocity . Therefore, the original descriptor system is dissipative. This is consistent with Theorem 14.

The above example shows that a dynamic system can be modeled with different models/equations with different simplification requirements. The results obtained in this paper can be used to investigate the dissipativity problem for descriptor system in (76)-(77), while the existing results cannot be used due to the impulsive behavior. When we use the model (76)-(77), in fact we ignored the impulsive behavior due to the inconsistent initial conditions.

Next, we will demonstrate how to appropriately choose to ensure that the supply function is integrable.

Example 2. Consider a descriptor system where According to (3), its solution is given by which gives

In this system, impulsive behavior may also appear in the state response, although the input function is continuous. And such behavior appears due to the discontinuous property in input derivatives. If we choose which satisfy the condition of Theorem 12, then we can obtain Because is a continuous function, is Lebesgue integrable. However, if we choose they will not satisfy conditions in Theorem 12. In this case, we can verify that is not Lebesgue integrable as it will contain which is not integrable.

Example 2 verifies the validity of Theorem 12. When a descriptor system has impulsive behavior, the supply function unlike impulse-free system is not always Lebesgue integrable. In this case, we need to choose the parameters carefully in order to guarantee dissipativity.

6. Conclusions

In this paper, we investigate the dissipativity problem for continuous descriptor systems. A new image space is used to characterize the state responses of descriptor systems with impulsive behavior. Following it, we give a dissipativity theorem for descriptor systems in general. This result is valid regardless of the impulsive behavior, which is different from the existing results. The integrability of a supply function and the parametrization form of all solutions for the proposed LMIs are discussed. Meanwhile, our results include some previous ones as special cases. Finally, some examples are given to show validity of the results obtained in this paper.

The results in this paper are mainly based on analysis. It should be pointed out that the image space approach can also be used to solve control/synthesis problems for descriptor systems. Some related problems are under our current investigation.

Another significant issue in this paper is the choice of delta function using the limit of a series of normal functions. It is our task in the future to fill this gap by using the generalized function theory though we believe all the results derived in Lemma 8 and Theorem 12 are true in general.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.


The authors thank all the reviewers and the Associate Editor for their constructive comments as the quality of this paper is improved significantly after significant revision based on their comments. This work was supported by National Natural Science Foundation of China (61273008, 60974004, and 61104003).