Abstract
A method is proposed for stabilization, using static state feedback, of systems subject to time-varying delays in both the states and their derivatives (i.e., neutral systems), in the presence of saturating actuators. Delay-dependent conditions are given to determine stabilizing state-feedback controllers with large domain of attraction, expressed as linear matrix inequalities, readily implementable using available numerical tools and with tuning parameters that make possible to select the most adequate solution. These conditions are derived by using a Lyapunov-Krasovskii functional on the vertices of the polytopic description of the actuator saturations. Numerical examples demonstrate the effectiveness of the proposed technique.
1. Introduction
Systems with time delays constitute basic mathematical models of many real phenomena in circuits theory, economics, mechanics, and so forth, so they have been extensively studied in the literature: see, for example, [1–4] and references therein for several theoretical studies on this subject. An aspect that has not been frequently taken into account is the fact that, in many of these systems, the actuators have strict limitations. Thus, stabilization of time-delay systems with actuator saturation is an important issue, already addressed by several authors [5–9]. From those, we can emphasize [9], where a delay-independent condition was obtained, but for systems with no uncertainty and with known time-invariant delays, situation which is not frequent in practice. Generally speaking, the delay-independent scheme for control design does not use any information on the magnitude of the delay, whereas the delay-dependent approach employs such information. Moreover, when the delay is not big, delay-independent criteria tend to be conservative, so a delay-dependent approach is considered in this paper. In this context, we can cite [6], where a delay-dependent stabilization problem has been introduced for time-delay systems with actuators constraints and control. The methodology followed in this paper follows the frequent approach of using Lyapunov-Krasovskii functionals, providing a set of LMIs that can be easily solved using dedicated solvers [10].
This paper concentrates on the specific class of neutral systems, that is, delayed systems in which both the state and its derivative are affected by time delays. Specific examples of these neutral systems appear in population ecology, transmission lines, and other practical systems [11]. These neutral systems are difficult to handle, so although the control design problem has been studied [12], it is not yet completely solved [13]. In particular, neutral systems are particularly sensitive to delays and can be easily destabilized [14]. Stabilization of neutral systems has already been studied in the literature [13, 15–17]. For example, in [18], the stabilizing controller is given for local stability but without giving the domain of initial condition. In any case, stabilization is not yet fully explored for the general class studied in this paper of constrained systems: as it has been mentioned, this situation appears frequently in practical applications, including neutral systems [19].
The proposed methodology is developed in this paper as follows: results are provided that guarantee the local stability of the closed loop system when the initial states are taken within a given region of attraction, by using a method based on the Lyapunov-Krasovskii (L-K) approach. When the proposed stability conditions are derived, a specific method is followed to avoid cross products of the state and delayed state. Moreover, to reduce conservatism, some free matrices are used (only one of them restricted to be positive definite). This introduction of free matrices can be viewed as an extension of the model description introduced in [6], or similar to the slack variables used in [1, 3], albeit in a different context. Finally, a LMI optimization approach is proposed to design the state feedback gain that maximizes the size of the estimated domain of attraction. It is shown for these systems that the proposed results are less conservative than those in the literature.
Notation.The following notations will be used throughout the paper: denotes the set of real numbers, denotes the dimensional Euclidean space, and denotes the set of all real matrices. The notation (resp., ), where and are symmetric matrices, means that is positive semidefinite (resp., positive definite). The symbol * stands for symmetric block in matrix inequalities. and denote, respectively, the maximal and minimal eigenvalues of a matrix . refers to either the Euclidean vector norm, or the induced matrix 2-norm. The symbol denotes the Banach space of continuous vector functions mapping the interval into . denotes the identity matrix of appropriate dimensions. For a matrix , the th row of is denoted by . For any vector , the saturation function is defined by , where , with given bounds . The convex hull of a set is the minimal convex set containing it. Thus, for a set of points , its convex hull is .
2. Problem Formulation and Definitions
Consider the following state-space linear system, with time-varying delays in the state and its derivative: where is the state, is the control input, , and are known real constant matrices.
It must be noticed that throughout the paper, following [15–17], the delays and are assumed to be unknown but bounded functions of time, continuously differentiable, with their respective rates of change bounded as follows: where , , and are given positive constants (these bounds are strictly smaller than one to ensure causality: see [20]). The initial condition of system (1) is given by where and is a vector of differentiable functions of initial values (i.e., ).
Now, suppose that the solution is asymptotically stable, for all delays satisfying (2), then the domain of attraction of the origin is The exact determination of is generally difficult. Consequently, it is useful to search for an estimate of the domain of attraction, where and the stability radius is a scalar to be determined.
Throughout this paper, we assume the following.
A1. All the eigenvalues of matrix are inside the unit circle.
Controllers in this paper are linear state feedback of the form For a given gain matrix , we define the polyhedron of states that do not cause saturation as follows: A similar approach as the one proposed in [5] is used to represent the saturated system by a polytopic model. Denote by the set of all diagonal matrices in with diagonal elements that are 1 or 0. Thus, there are elements in , and the matrix is also an element of .
Lemma 1 (see [5]). Given and in , then for all that satisfy , .
Therefore, if we consider any compact set , for any and in such that , then the closed loop system of (1) and (6) may be written as follows: where , and .
The following L-K functional candidate will be used throughout the paper: where and .
Finally, for a positive scalar and a positive definite symmetric matrix , the ellipsoid is defined as follows:
3. Main Results
This section presents sufficient conditions that guarantee the convergence to the origin of all the trajectories of system (1), starting from the domain , that is included in the ellipsoid (11). First the main results are derived, which are later extended to neutral systems, and a practical algorithm is presented to design controllers that enlarge the size of the domain of initial conditions.
3.1. Neutral Systems with Time-Varying Delays
Theorem 2. The system described by (9) is asymptotically stable if there exist , and appropriately dimensioned matrices such that the following condition holds: where
Proof of Theorem 2. Calculating the time derivative of the proposed Lyapunov function (10) along the trajectory of the system (9) gives
From (2), it is clear that the following is true:
Also, from the Leibniz-Newton formula and using (9), we can write the first term of (15) as follows:
where and .
Since , substituting (17) into (15) gives
where .
Using Jensen’s inequality [21], the last term in (18) can be bounded as follows:
Therefore, we get
By simple manipulation, the inequality (20) can be rewritten as:
and defined in (12). Therefore, if the condition (13) holds, then is negative definite, which ensures the asymptotic stability of the polytopic system (9) [22].
This result gives a general solution for testing stability. We present now the following result that permits to calculate a stabilizing controller.
Theorem 3. The system (1)–(3) is asymptotically stabilized by feedback law , with inside the domain of attraction if there exist , , , and positive scalars and , satisfying the following conditions: where and denotes the maximum eigenvalue of the corresponding matrix. The corresponding gain matrix that stabilizes the system is given by
Proof of Theorem 3. From the requirement that , if condition (12) is satisfied, then must be negative definite. Thus, it follows that is nonsingular, where
Then, multiplying (12) on the left by , on the right by , introducing the following changes of variables:
and then using the Schur complement [10], some conditions are obtained that are bilinear due to cross products of with , and . To avoid such terms, first we select , which leads towith .
This condition (29) cannot be solved directly, due to the presence of the cross products in and . To overcome this, we select
where and are decision variables. Substituting (30) into (29), the condition in (22) is obtained (which can be solved using the procedure presented in Remark 3).
Moreover, the satisfaction of LMIs (23) guarantee that , . This can be proven in the same manner as in [5, 9].
Furthermore, following [2], the Lyapunov functional defined in (10) satisfies
with and
From , it follows that , and, therefore,
Then, the inequality (25) guarantees that the trajectories of remain within for all initial functions ; moreover, along the trajectories of (9), which implies that , completing the proof.
Remark 1. The result of Theorem 3 is derived by using Theorem 2, when is fixed to be zero, in order to simplify the numerical solution: although this makes the solution only slightly more conservative, it reduces significantly the computational cost.
3.2. Practical Algorithms
In this section, we give as remarks some practical procedures to design controllers using the results derived in this paper.
Remark 2. Theorem 3 provides a condition allowing us to compute both a control law and a domain of attraction in which the closed loop neutral system is asymptotically stable. It would be interesting to develop a methodology to estimate the largest possible domain of initial conditions that ensure stability of the system. Unfortunately, this is very difficult, due to the nonlinearity in the system. An interesting solution consists in imposing conditions on the maximal eigenvalues of , and and constructs a feasibility problem, for given , as follows. If the above problem has a solution for a given , then there exists a controller that guarantees stability of the saturated neutral system (1)–(3).
Remark 3. When the scalar parameters and are fixed, the condition (22) of Theorem 3 becomes LMI. However, choosing arbitrary and does not lead to the best result. In the following, a tuning procedure for the parameters and is proposed to enlarge the bound on the time varying delay. If we select as optimization parameters and and choose a cost function , with , where is defined in (22), then if there exists a combination of parameters and that gives a negative , these parameters give a feasible solution of the conditions in Theorem 3 (finding this combination can be carried out by solving the corresponding feasibility problem). Finally, applying a numerical optimization algorithm, it is possible to obtain a locally convergent solution to the problem (using, e.g., fminsearch in the Optimization Toolbox [23]). If the resulting minimum value of the cost function is negative, then a combination of tuning parameters that solves the problem is found.
Thus, this procedure to look for a feasible solution of the conditions in Theorem 3 can be summarized as follows.
Algorithm (maximization of ). Step 1. Fix initial values , , and , where must be small enough to have a feasible solution, and set a step variation .Step 2. Solve the following problem:
and obtain new values of and .Step 3. If , the previous values of and give the largest domain of attraction; otherwise (), to improve the solution, set and repeat from Step 2.
4. Numerical Examples
This section provides some numerical examples to illustrate that the proposed method is less conservative than previous results in the literature.
Example 1. Consider a neutral system described by (1)–(3), with the following parameters:
It can be seen that this system is unstable, so, for stabilization, a controller was designed based on Theorem 3. In particular, using the algorithm proposed in Section 3.2 to enlarge the bound on the state delay, it was found that, when and , the system is stabilizable for all state delays , when the state feedback gain is . For this case, the stability radius is , obtained when and .
To check the stability and the corresponding time responses, the closed-loop system was simulated, starting from different initial values inside the domain of attraction given by (5). To check the closed-loop stability, we show in Figure 1 some trajectories of the saturated closed-loop system, together with the ellipsoid .
Example 2. Consider the system of Example 1, in which we set . This example gives the system studied in [5, 6, 19], where upper bounds and maximum radius were calculated for which a state feedback control stabilizes (36). Their results are listed in Table 1 along with the results obtained by Theorem 3 (with and , selected following the algorithm provided in Section 3.2).
Note that, in [19] the search of the values of and is achieved by using an iterative algorithm, while, in this paper, we adopt an optimization procedure which leads to less conservative results.
In order to compare with the results of [5, 6, 19], we take . Theorem 3 yields the stability radius of (when , , and ), whereas the results of [5, 6, 19] give, respectively, , , and . It is clear that our method gives the largest stability radius. This confirms that the stabilization conditions in this note are less conservative than those of [5, 6, 19].
Figure 2 shows some trajectories of the closed-loop system and the domain of attraction with this controller. The outer ellipsoid is , and the inner ellipsoid is the stability circle of radius .
Example 3. Consider the example studied in [5, 6, 9], where the plant can be described by (1)–(3), where
(i.e., the system is nonneutral with constant delays). In [9] stabilization via state feedback was achieved for all initial conditions in with , when the origin of the saturated system is requested to be asymptotically stable and the unsaturated system be -stable with . If we only require that the saturated system be asymptotically stable (i.e., ), it is found that . In [5], stabilization by a saturated memoryless state feedback law was obtained for all initial conditions in with a . Following [6], this domain can be still enlarged, with stability radius , in [7], is 79.54, and in [8], is 83.55.
The application of Theorem 3 in the present paper gives a larger stability region: when , , , the stability radius is when the state feedback gain is
It is clear that this estimation is less conservative than previous results in [5–9].
5. Conclusions
This paper has presented a new approach for delay-dependent stabilization of neutral systems with saturating actuators, under time-varying delays. This was accomplished by combining the Lyapunov-Krasovskii technique and the transformation of a system with actuator saturation into a convex polytope of linear systems. An estimation of the domain of attraction is proposed that can be numerically solved using linear matrix inequalities.
The derived conditions depend on the tuning parameters and that can be used to enlarge the domain of attraction. A simple iterative procedure based on numerical optimization has been proposed to obtain adequate values for these parameters. This procedure has been illustrated using an example. Finally, additional examples have shown that the particularization of the results for standard delayed systems gives less conservative results than previous results proposed in the literature.
Acknowledgment
This work has been funded by AECI Projects A/024215/09, AECI A/030426/10, and MiCInn DPI2010-21589-c05.