Complexity

Complexity / 2017 / Article

Research Article | Open Access

Volume 2017 |Article ID 1027909 | https://doi.org/10.1155/2017/1027909

Mourad Kchaou, Saleh Al Ahmadi, "Robust Control for Nonlinear Uncertain Switched Descriptor Systems with Time Delay and Nonlinear Input: A Sliding Mode Approach", Complexity, vol. 2017, Article ID 1027909, 14 pages, 2017. https://doi.org/10.1155/2017/1027909

Robust Control for Nonlinear Uncertain Switched Descriptor Systems with Time Delay and Nonlinear Input: A Sliding Mode Approach

Academic Editor: Sigurdur F. Hafstein
Received13 Nov 2016
Revised19 Feb 2017
Accepted26 Feb 2017
Published13 Jun 2017

Abstract

This paper addresses the problem of sliding mode control (SMC) design for a class of uncertain switched descriptor systems with state delay and nonlinear input. An integral sliding function is designed and an adaptive sliding mode controller for the reaching motion is then synthesised such that the trajectories of the resulting closed-loop system can be driven onto a prescribed sliding surface and maintained there for all subsequent times. Moreover, based on a new Lyapunov-Krasovskii functional, a delay-dependent sufficient condition is established such that the admissibility as well as the performance requirement of the sliding mode dynamics can be guaranteed in the presence of time delay, external disturbances, and nonlinear input which comprises dead-zones and/or sector nonlinearities. The major contributions of this paper of this approach include (i) the closed-loop system exhibiting strong robustness against nonlinear dynamics and (ii) the control scheme enjoying the chattering-free characteristic. Finally, two representative examples are given to illustrate the theoretical developments.

1. Introduction

A switched system is known as one important class of hybrid systems which consists of a family of continuous-time or discrete-time subsystems and a switching rule that orchestrates switching between them. Due to their capability to model a wide variety of complex dynamic systems, such as chemical processes, power electronic, and automatic highway systems, switched systems have been attracting considerable attention in recent years. A great number of interesting results related to switched systems have been reported in the literatures, such as [1] where the authors dealt with the problem of disturbance tolerance and rejection for discrete switched systems with time-varying delay and saturating actuator. The issue of -stability with performance for switched positive linear systems has been addressed in [2]. In [3], the adaptive fuzzy control design for a class of uncertain switched nonlinear systems with mismatched uncertainties and external disturbances has been studied. Based on the switched systems and the tracking state feedback control with a reference model, Lghani et al. have developed robust switched controllers for a lateral vehicle control in [4].

To deal with problems of stability and stabilization for discrete and continuous switched systems, many efficient methods have been developed. The multiple Lyapunov functions were employed in [5]. For slow switching systems, the average dwell time technique was suggested in several papers (see [6, 7] and the references therein) to cope with the stability problem. The mode-dependent average dwell time was investigated in [8, 9].

In practice, there always exists a class of systems involving intrinsically time delays, such as chemistry and biological processes, electric power, and network control systems. Time delays, either constant or time-varying, can be the main cause of instability and performance degradation. The research on switched systems with delays is motivated by the following considerations: various practical engineering systems exhibit fundamental characteristics of switching and delay between different system structures and multicontroller switching is considered as an effective mechanism to cope with complex systems. Consequently, the study of switched delayed systems has gained much research attention and many relevant results have been reported [1012].

As far as we know, many real-word processes always exhibit both dynamic and static constraints in their dynamic behaviour [13, 14]. These systems, called descriptor systems (also referred to as singular systems, differential-algebraic systems, or semistate systems), provide a more convenient and natural representation than standard state-space ones. It should be pointed that the class of switched descriptor system with time delay has been adopted to characterize systems in which their structure and parameters exhibit abrupt changes.

Based on the aforementioned approaches, numerous recent research works such as the stability analysis and the control of switched singular systems have been developed in [15, 16]. The study of the problem of reliable dissipative control for a class of discrete-time switched singular systems with stochastic actuator failures has been presented in [17]. In [18], the passive control of switched singular systems via output feedback has been studied.

On the other hand, (SMC) theory has been recognized as one of the most effective tools for coping with model uncertainties and nonlinearities by taking advantage of the concepts of sliding mode surface design and equivalent control. This strategy uses a discontinuous control to force the system state trajectories to some prespecified sliding surfaces on which the system has desired properties such as stability and robustness. The key feature and advantages of (SMC) approach include insensitivity to variations of uncertainties, disturbance rejection capability, and tracking ability. During the past decades, various (SMC) approaches have been successfully applied for solving many practical control problems (see, e.g., [1923]).

Moreover, due to the physical limitation, the control input seems to have a nonlinear character, like sectors, saturation, dead-zone, and so on. These may naturally originate from actuators in system design in which the nonlinearities may deteriorate the system’s stability and performances. So, their effects cannot be ignored in analysis design. In recent years, much attention has been paid to the input nonlinearity [2429], but, to the best of our knowledge, the problems of (SMC) for switched descriptor systems subjected to time-varying delay and input nonlinearity have not been fully investigated and still remain open and challenging. This has motivated the present study compiled in this paper.

In light of the remarkable benefits previously mentioned, this paper will study the adaptive (SMC) problem for a class of uncertain switched descriptor systems with mismatched uncertainties, time-varying delays, and input nonlinearity. The main contributions of the paper lie in the following aspects:(i)Proposition of a new sliding function and establishment of a sufficient condition to ensure the robust admissibility as well as the performance of the corresponding sliding mode dynamics through the feasibility of a convex optimization problem,(ii)Design of a sliding mode controller for the reaching motion such that all trajectories of the resulting closed-loop system converge onto a prescribed sliding surface and maintain there for all subsequent times.

The remainder of this paper is organized as follows. System description and some preliminary knowledge are given in Section 2. The main results and (SMC) strategy are addressed in Section 3. Simulation results are developed in Section 4. The paper is concluded by some remarks and perspectives in Section 5.

Notations. The notations in this paper are quite standard except where otherwise stated. The superscript “” stands for matrix transposition; denotes the -dimensional Euclidean space, while refers to the set of all real matrices; (resp., ) means that matrix is real symmetric positive definite (resp., positive semidefinite); is the space of square summable vectors; and 0 represent the identity matrix and a zero matrix with appropriate dimension, respectively; stands for a block-diagonal matrix, stands for ; denotes the Euclidean norm of a vector and its induced norm of a matrix. In symmetric block matrices or long matrix expressions, we use a star to represent a term that is induced by symmetry. Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for algebraic operations.

2. System Description and Preliminaries

Consider a class of nonlinear switched descriptor systems with time-varying delay described bywhere is the state, is the control input, and is a nonlinear function of . is the external disturbance input and represents the system nonlinearity and any model uncertainties in the system including external disturbances. is the controlled output. Delay is time-varying and satisfieswhere and are constants representing the bounds of the delay and is a positive constant. is a compatible vector-valued initial function in representing the initial condition of the system. The system disturbance, , is assumed to belong to ; that is, . This implies that the disturbance has finite energy.

is the switching signal, which is a piecewise constant and right-continuous function. Matrix may be singular with . and are time-varying system matrices. Matrices , , , , , and are constant with appropriate dimensions. Assume that uncertainties and are of the formwhere , , and are known real constant matrices and is an unknown time-varying matrix function satisfying .

In addition, , , is the nonlinear input vector which can be described by the following mathematical model:

Remark 1. The nonlinear input model (4), which contains both dead-zones and sector nonlinearities, is considered as more general form. However, if the nonlinear input will be reduced to a special sector nonlinear function.

In dealing with this study, the following assumptions, definitions, and lemmas are necessary for further development.

Assumption 2. (1)The nonlinear input functions and applied to the system satisfywhere , , , and are positive constants which are called gain reduction tolerances.(2)Exogenous signal, , is bounded by upper bound :(3)Matched nonlinearity satisfies the inequalitywhere is a positive known vector-valued function.

Definition 3 (see [30]). System (or the pair ) is said to be (1)regular if is not identically zero;(2)impulse free if ;(3)admissible if it is regular, impulse free, and stable.

Lemma 4 (see [31]). For any constant matrix , any scalar and with , and vector function such that the integrals concerned as well defined then the following holds: with .

Lemma 5 (see [32]). Let and be real matrices of appropriate dimensions. Then, for any matrix satisfying and scalar ,

Lemma 6 (see [33]). For given real matrices , , and with appropriate dimensions, the following statements are equivalent: (1)is feasible in variable and .(2), , and satisfy

3. Main Results

In this section, an appropriate integral switching surface is designed such that the sliding mode dynamics restricted to the surface is admissible and satisfies the performance. Furthermore, a sliding mode control law is synthesised to guarantee that the system state trajectories are globally driven onto the predefined sliding surface and then are maintained there for all subsequent time.

3.1. Integral Sliding Mode Surface

Let us define the following switching function:where is defined for each asand is a real matrix to be designed and is a constant matrix satisfying being nonsingular.

According to the sliding mode control theory, when the system trajectories reach onto the switching surface, we have . Then the equivalent control law can be obtained as follows:Substituting (14) into (1), we obtain the following sliding mode dynamics:where

3.2. Sliding Mode Dynamics Analysis

In this subsection, we will develop a sufficient delay-dependent condition that ensures for sliding mode dynamics (15) to be robustly admissible with performance.

Theorem 7. Let , , and given positive scalars. The sliding mode dynamics of (15) is admissible with performance , if there exist matrices , , , , , , , and , , and scalars , such that the following inequalities hold:where

Proof. The proof of this theorem is divided into two parts. The first one is concerned with the regularity and the impulse-free characterizations, and the second one treats the stability property of system (15).
First we consider the nominal case of (15) (that is, and ).
Since , there always exist two nonsingular matrices and such thatThen can be characterized as , where is any nonsingular matrix.
We also defineIt follows from (17) thatwhere Before and after multiplying (21) by and its transpose, respectively, we obtainBefore and after multiplying (23) by and , respectively, and then using expressions (19) and (20) yieldsand is thus nonsingular. So, according to Definition 3, singular time delay system (15) is regular and impulse free for any time delay satisfying (2).
In the following, we will prove that system (15) is asymptotically stable. For this purpose, we construct a candidate Lyapunov functional as follows:where Evaluating the derivative of along the solutions of system (15), it yieldsFrom Lemma 4, one can obtainDefineFrom (15), the following equation holds for any matrices , , with the appropriate dimensions:Furthermore, noting , we can deduce thatCombining (27), (28), (30), and (31) yieldsHence, which implies that nominal singular system (15), with , is asymptotically stable.
Let us now analyse the performance of the system (15). Consider the following performance index:Note thatFor any zero initial condition, we havewhere Since , resulting from (17) by Schur complement, and , we get . Therefore, for any we haveConsider now the uncertain case. By following the same procedure as used above it is easy to verify thatThen, according to Lemma 5, inequality (17) holds using the Schur complement. This completes the proof.

3.3. Sliding Mode Dynamics Synthesis

Here, our goal is to design gains in (12) such that sliding mode dynamics (15) is robustly admissible with norm bound .

Based on Theorem 7, we suggest the following result.

Theorem 8. Let , , and be given positive scalars and given matrices with appropriate dimensions. The sliding mode dynamics of (15) is admissible with performance , if there exist matrices , , , , , , , , , and , , and scalars , such that the following inequalities hold:where , , and The gain matrices are given by

Proof. Under the conditions of Theorem 8, a feasible solution satisfies condition . This implies that is nonsingular.
By introducing auxiliary variables , sliding mode dynamics (15) can be written asApplying Theorem 7 to system (42) yieldswhere Set . According to Lemma 6 we getThen condition (39) holds by setting . This completes the proof.

Remark 9. To obtain the best performance, the minimum allowed satisfying the LMIs in Theorem 8 can be computed by solving the following optimization problem:

3.4. Adaptive SMC Law Synthesis

After establishing the appropriate switching surface (12), an adaptive SMC law will be designed to guarantee the reachability of the specified sliding surface even though uncertainties and input nonlinearity are present.

Let represent the estimate of . The adaptive SMC that achieves the control objective can be designed aswhere andand is a small constant.

The adaptive law is given bywith , where is a bounded positive initial value of and is a positive constant.

This proposed control scheme will drive the state to reach the sliding surface . This fact is stated in Theorem 10.

Theorem 10. If the adaptive control input is designed as (47), with adaptive law (49) then the trajectory of the system (15) converges to the sliding surface .

Proof. Consider the following Lyapunov function:where .
According to (12), we getWithout loss of generality, we can choose . So is nonsingular. By taking the derivative of we getConsidering (4) and (5), when for ,and when for ,From (53) and (54), we can obtainwhere .
Hence, for the overall sliding surfaceSubstituting (56) into (52), we obtainNoting that and , it is easy to verify thatThis means that the system trajectories converge to the predefined sliding surface and are restricted to the surface for all subsequent time, thereby completing the proof.

Remark 11. It is noted that the sliding mode controller (47) contains term which is ill-defined when . In order to avoid this problem and reduce the effect of chattering caused by the discontinuous controller, a sigmoid-like function can be introduced to replace . is a small positive scalar value.

4. Examples

Now, we demonstrate the applicability of the analysis by means exposing the main results from two simulation examples.

Example 1. Consider the switched systems (1) with two modes and parameters as follows:
(i) Subsystem  1(ii) Subsystem  2The time-varying delay is given as . A straightforward calculation gives , , and . Assume that the uncertain matrices are as follows: Our aim is to design an SMC in the form of (48) such that the sliding mode dynamics is robustly admissible with a guaranteed noise attenuation level.
In the simulation, the design parameters are chosen as By solving problem (46) we can obtain a feasible solution with the following parameters: The minimum allowed and the associate controller gains areThe existence of a feasible solution shows that there exists a desire sliding surface in (12) such that the resulting sliding mode dynamics in (15) is admissible with performance. The remaining task is to design a sliding mode controller such that the system trajectories can be driven onto the predefined sliding surface and maintained there for all subsequent time. For simulation purposes, we take exogenous input , uncertain matrix function , and The nonlinear model actuator is described byWith , , and