Abstract

Techniques for stabilization of linear descriptor systems by state-derivative feedback are proposed. The methods are based on Linear Matrix Inequalities (LMIs) and assume that the plant is a controllable system with poles different from zero. They can include design constraints such as: decay rate, bounds on output peak and bounds on the state-derivative feedback matrix , and can be applied in a class of uncertain systems subject to structural failures. These designs consider a broader class of plants than the related results available in the literature. The LMI can be efficiently solved using convex programming techniques. Numerical examples illustrate the efficiency of the proposed methods.

1. Introduction

The Linear Matrix Inequalities (LMIs) formulation has emerged recently as a useful tool for solving a great number of practical control problems [110]. Furthermore, LMI can be solved with polynomial convergence time, by convex optimization algorithms [1, 1113].

Recently, LMI has been used for the study of descriptor systems [1417]. Descriptor systems can be found in various applications, for instance, in electrical systems, or in robotics [18]. The proportional and derivative feedback (, where is the plant state vector) has been studied by many authors to design controllers in the following problems: stabilization and regularizability of linear descriptor systems [19, 20], feedback control of singular systems [21], nonlinear control with exact feedback linearization [22], -control of continuous-time systems with state delay [23], and design of PD observers [24]. In [18, 25] some properties of this type of feedback and its applications to pole placement were presented.

There exist few researches using only derivative feedback (). In some practical problems the state-derivative signals are easier to obtain than the state signals, for instance, in the following applications: suppression of vibration in mechanical systems [26], control of car wheel suspension systems [27], vibration control of bridge cables [28], and vibration control of landing gear components [29]. The main sensors used in these problems are accelerometers. In this case, from the signals of the accelerometers it is possible to reconstruct the velocities with a good precision but not the displacements [26]. Defining the velocities and displacement as the state variables, then one has available for feedback only the state-derivative signals. Procedures for solving the pole-placement problem for linear systems using state-derivative feedback were proposed in [26, 30, 31]. In [28, 32] a Linear Quadratic Regulator (LQR) controller design scheme for standard state space systems was presented. The results were obtained in Reciprocal State Space (RSS) framework. Robust state-derivative feedback LMI-based designs for linear time-invariant systems were recently proposed in [33, 34]. These results considered only standard linear systems, and they can be applied to uncertain systems, with or without, structural failures.

Structural failures appear naturally in systems, for physical wear of the equipment, or for short circuit of electronic components. Recent researches on structural failures (or faults), have been presented in LMI framework [3538].

In this paper, we will show that it is possible to extend the presented results in [33], for applications in a class of descriptor systems, subject to structural failures in the plant. The procedure can include some specifications: decay rate, bounds on output peak and bounds on the state-derivative feedback matrix , which can make easier the practical implementation of the controllers. These methods allow new specifications, and also to consider a broader class of plants that the related results are available in the literature [19, 25, 31, 39]. Two examples illustrate the efficiency of the proposed method.

2. Statement of the Problem

Consider a controllable linear descriptor system described by

where ,  ,  ,   and . It is known that the stability problem for descriptor systems is more complicated than for standard systems, because it requires considering not only stability, but also regularity [15, 25]. In the next sections, LMI conditions for asymptotic stability of descriptor system (2.1) using state-derivative feedback, are proposed. The problem is defined as follows.

Problem 1. Find a constant matrix , such that the following conditions hold: (1) has a full rank; (2)the closed-loop system (2.1) with the state-derivative feedback control is regular and asymptotically stable (in this work, a descriptor system is regular if it has uniqueness in the solutions and avoid impulsive responses).

Remark 2.1. In [25, 39] the authors assure that has a full rank (nonsingular matrix) only if the following equation holds:
Unfortunately, there exist several practical problems that not satisfy (2.3). In that way, the input control (2.2) can only be applied in descriptor systems (2.1), when (2.3) holds. Some authors have been using the state-derivative and state feedback to solve (2.1), when (2.3) does not hold [18, 20]. However, usually these designs are more complex than the design procedures with only state or state-derivative feedback.

Assuming that has a full rank, then from (2.2) it follows that (2.1) can be rewrite such as a standard linear system, given by

3. LMI-Based Stability Conditions for State-Derivative Feedback

Necessary and sufficient conditions for asymptotic stability of standard linear system (2.4) are proposed in the next theorems.

Theorem 3.1. Assuming that (2.3) holds, the necessary and sufficient condition for the solution of Problem 1 is the existence of matrices ,   and , such that, Furthermore, when (3.1) and (3.2) hold, then a state-derivative feedback matrix that solves Problem 1 can be given by

Proof. Observe that for any nonsymmetric matrix (), , if , then has a full rank. Now, defining and , the following equations are equivalents: From (3.4) one has the matrix has full rank, and so, also has a full rank, as required in Problem 1, and (3.5) was obtained after premultiplying by and posmultiplying by in both sides of (3.4).
System (2.4) is globally asymptotically stable only if there exists (that is equivalent to ) such that (3.4) or (3.5) holds.

Remark 3.2. Note that from (3.4) it follows that matrix must have a full rank, and so, all its eigenvalues are different from zero. This condition was also considered in other papers [26, 28, 33] for linear systems.

Equations (3.1) and (3.2) are LMI. When (3.1) and (3.2) are feasible, they can be easily solved using available software, such as LMISol [40], that is a free software, or MATLAB [11]. The algorithms have polynomial time convergence.

Usually, only the stability of the control systems is insufficient to obtain a suitable performance. In the design of control systems, the specification of the decay rate can also be very useful.

3.1. Decay Rate in State-Derivative Feedback

Consider, for instance, the controlled system (2.4). According to [1], the decay rate is defined as the largest real constant , , such that,

holds, for all trajectories , .

Theorem 3.3. Assuming that (2.3) holds, the closed-loop system given by (2.4), in Problem 1, has decay rate greater or equal to if there exist matrices and , where and , such that: Furthermore, when (3.7) and (3.8) hold, then a state-derivative feedback matrix can be given by:

Proof. Stability corresponds to positive decay rate, . One can use the quadratic Lyapunov function to impose a lower bound on the decay rate with , as described in [1]. Note that, from (2.4), Then, from it follows that, or After premultiplying by and posmultiplying by in both sides of (3.12), observe that (3.12) holds if and only if and so Now, using the Schur complement [1], the equation above is equivalent to Therefore, defining and , then it follows the expression (3.7). If then , as specified in (3.8). So, when (3.7) and (3.8) hold, a state-derivative feedback matrix is given by (3.9).

The next section shows that it is possible to extend the presented results, for the case where there exist polytopic uncertainties or structural failures in the plant. A fault-tolerant design is proposed.

4. Robust Stability Condition for State-Derivative Feedback

In this work, structural failure is defined as a permanent interruption of the system's ability to perform a required function under specified operating conditions [41]. Systems subject to structural failures can be described by uncertain polytopic systems.

Consider the linear time-invariant uncertain polytopic descriptor system, with or without structural failures, described as convex combinations of the polytope vertices:

where , and are the numbers of polytope vertices of , and , respectively. In (4.2), and , are constant and unknown real numbers for all index . The next theorem solves Problem 1, replacing system (2.1) by the uncertain system (4.1).

Theorem 4.1. A sufficient condition for the solution of Problem 1 for the uncertain system (4.1) is the existence of matrices and , where and , such that, where , and . Furthermore, when (4.3) and (4.4) hold, then a state-derivative feedback matrix can be given by,

Proof. From (4.2) and (4.3) it follows that Therefore, condition (3.1) of Theorem 3.1 holds for the uncertain system (4.1), where and . Now, conditions (4.4) and (4.5) are equivalent to conditions (3.2) and (3.3). Finally, from Theorem 3.1, the existence of matrices and such that (4.3) and (4.4) hold is a sufficient condition for the solution of Problem 1.

Theorem 4.2. A sufficient condition for the decay rate of the robust closed-loop system given by (2.2) and (4.1) to be greater or equal to is the existence of matrices and , , , such that: Furthermore, when (4.7) hold, then a robust state-derivative feedback matrix can be given by

Proof. It follows directly from the proofs of Theorems 3.3 and 4.1.

Due to limitations imposed in the practical applications of control systems, many times it should be considered output constraints in the design.

5. Bounds on Output Peak

Consider that the output of the system (2.1) is given by

where and . Assume that the initial condition of (2.1) and (5.1) is . If the feedback system (2.1), (2.2), and (5.1) is asymptotically stable, one can specify bounds on output peak as described in:

for , where is a known positive constant. From [1], (5.2) is satisfied when the following LMI holds:

and the LMI that guarantees stability (Theorem 3.1 or Theorem 4.1), or stability and decay rate (Theorem 3.3 or Theorem 4.2).

An interesting method for specification of bounds on the state-derivative feedback matrix was recently proposed in [33]. The result is presented below.

Lemma 5.1. Given a constant , then the specification of bounds on the state-derivative feedback matrix can be described finding the minimum of , , such that . The optimal value of can be obtained by the solution of the following optimization problem: where the Set of LMI can be equal to (3.1), (3.2) or (3.7), (3.8) or (4.3), (4.4) or (4.7), with or without the LMI (5.3).

Proof. See [33].

In the following section, Example 6.1 illustrates the efficiency of this optimization procedure that can reduce the practical difficulties in the implementation of the controllers.

6. Examples

The effectiveness of the proposed LMI designs is demonstrated by simulation results.

Example 6.1. A simple electrical circuit, can be represented by the linear descriptor system below [25]: where is the current and the is the potential of the capacitor.
Suppose the output of the system is given by So it is a Single-Input/Single-Output (SISO) system, with , and . Consider as specification an output peak bound and an initial condition equal to . Then, using the package “LMI control toolbox” from MATLAB [11] to solve the LMI (3.1) and (3.2) from Theorem 3.1, and (5.3), one feasible solution was obtained
A state-derivative feedback matrix was calculated using (3.3)
Note that, as discussed before, the obtained solution is such that det (it is equal to ).
For the initial condition given above, the simulation results of the controlled system are presented in Figure 1. From Figure 1, the settling time of the controlled system is approximately  seconds and is equal to . The specification for the controlled system was satisfied using the designed controller. Note by Figure 1 that only the stability of the controlled system can be insufficient to obtain a suitable performance. Specifying a lower bound for the decay rate equal , to obtain a faster transient response and using the LMI (3.7) and (3.8) from Theorem 3.3, and (5.3) from Section 5, one feasible solution was obtained A state-derivative feedback matrix was calculated using (3.9) For the solution (6.5) one has , and the simulation result of the controlled system for the same initial condition , is presented in Figure 2. Note that in Figure 2, the settling time was approximately equal to  second and is equal to . Then, the specifications were satisfied by using the designed controller. To facilitate the implementation of the controller, the specification of bounds on the state-derivative feedback matrix can be done using the optimization procedure stated in Lemma 5.1, with . The optimal values, obtained with the “LMI control toolbox” are given in Table 1.
Note that the absolute values of the entries of are smaller than the obtained without optimization method, given in (6.3) and (6.5), respectively.
This procedure can also be applied to the control design of uncertain systems subject to failures.

Example 6.2. Consider the linear uncertain descriptor system represented by matrices: where and .
A fail in the actuator is described by:
where without fail, or with fail of the actuator. Then, the vertices of the polytope are given by triple: , , , , , , , where
And the example was solved considering stability with decay rate. It was specified a lower bound for the decay rate equal to , an output peak bound and an initial condition . Using LMI control toolbox for solving the set of LMI (4.7) from Theorem 4.2 with (5.3), a feasible solution was the following:
A robust state-derivative feedback matrix is obtained using (4.8) The locations in the -plane of the eigenvalues, for the vertices , of the robust controlled system, are plotted in Figure 3. There exist eight vertices, and four eigenvalues for each vertice. Considering that the output system is the responses of the controlled system with parameter , and for uncertain matrices and respectively, are showed in Figure 4. Note that with (dotted line) or without (solid line) fail of the actuator the controlled system has fast transient responses. Now, solving the optimization procedure stated in Lemma 5.1, with LMI (4.7), (5.3), and , the optimal values, obtained with the “LMI control toolbox” were the following: Note that some absolute values of the entries of in (6.13) are greater than the obtained in first design, given in (6.10). However, the norm of matrix obtained in first design is and one obtained from optimization procedure is . Therefore the optimization procedure was able to control problem with a smaller norm of the state-derivative feedback matrix .

7. Conclusions

Necessary and sufficient stability conditions based on LMI for state-derivative feedback of linear descriptor systems, were proposed. We can include in the LMI-based control design, the specification of the decay rate, bounds on output peak, and bound on the state-derivative feedback matrix . The plant can be linear time-invariant SISO or MIMO, and can also have polytopic uncertainties in its parameters or be subject to structural failures. In this case, one obtains a fault-tolerant design. Therefore, the new design methods allow a broader class of plants and performance specifications, than the related results available in the literature, for instance in [19, 25, 39]. The proposed methods are LMI-based designs that, when feasible, can be efficiently solved by convex programming techniques. Theoretical analysis and numerical simulations illustrate these results.

Acknowledgments

The authors gratefully acknowledge the financial support by CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior), FAPESP (Fundação de Amparo à Pesquisa do Estado de São Paulo) and CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico) from Brazil.