Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
3703.pdf
Скачиваний:
9
Добавлен:
15.11.2022
Размер:
11.37 Mб
Скачать

150Danial Senejohnny, Mohammadreza Faieghi and Hadi Delavari

1.Introduction

Among existing control methodologies, the sliding mode control method, first proposed in the early fifties, is one of the control design methods to dominate the uncertainties and disturbances (i.e., the so-called 'matched' disturbances) acting on the systems. The method has gained significant research attention since early sixties in the former USSR and in the modern world since the late seventies and has been widely applied in a variety of applications [1, 2].

In first order sliding mode controller design, the sliding surface is selected such that it has relative degree one with respect to the control input. That means the control input acts on the first derivative of the sliding surface. Higher-order sliding mode is the generalization of the first-order sliding mode and the control input is performed so that it acts on higher derivatives of the sliding surface. The chattering is due to the inclusion of the sign function in the switching term and it can cause the control input to start oscillating around the zero sliding surface, resulting in unwanted wear and tear of the actuators. In general two approaches have been proposed in the literature to solve the problem. The first is to smoothen the switching term as the sliding surface gets closer to zero (soft switching) by using the continuous approximations of the discontinuous sign function, and the second is to generate "higherorder sliding modes'', first introduced by Levant in 1987 [3, 4].

The second-order and higher-order sliding mode approaches have been actively developed over the last two decades for chattering attenuation and robust control of uncertain systems in variety of applications with relative degree two and higher respectively [3-12]. The second-order sliding mode control compared to first-order SMC has the advantage of providing a smooth control and better performance in the control implementation yielding less chattering and better convergence accuracy while preserving the robustness properties.

In recent years, numerous studies and applications of fractional-order systems in many areas of science and engineering have presented [13-16]. Fractional calculus, as old as the ordinary differential calculus, goes back to times when Leibniz and Newton invented differential calculus. Emergence of effective methods in differentiation and integration of non-integer order equations make fractional-order systems and controllers more and more attractive to the control engineers.

In most cases, researchers consider the fractional order controllers applied to the integer or fractional order plants to enhance the system control performance [17-25]. In [17] a new tuning method for fractional order proportional and derivative controller (FO-PD) is proposed for a class of typical second-order plants, existence of fractional adaptive controller based on high gain output feedback for linear, time-invariant, minimum phase, and single input single output systems of relative degree one is investigated in [18], several alternative methods for the control of power electronic buck converters applying fractional order control (FOC) [19], a fractional order disturbance observer for robust vibration suppression in [20], fractional order reference models in model-reference adaptive control investigated in [21], and various kind of fractional sliding mode control strategies with different fractional sliding surfaces in [2225].

In this paper, the objective is to construct a second-order sliding mode control based on a fractional PIDDα sliding surface with independent gain coefficients. Although the theme of 2- SMC is inherently proposed for high frequency chattering suppression, but an adaptive algorithm for of parameter estimation in switching surface is proposed to further suppress this phenomenon. As a way of illustrating the control scheme, simulations are carried out on interconnected twin tank system.

Complimentary Contributor Copy

Adaptive Second-Order Fractional Sliding Mode Control …

151

 

 

The rest of this paper is organized as follows, basic mathematical definitions of fractional calculus and problem statement are presented in Section 2. Second-order fractional sliding mode control strategy with fractional PIDDα sliding surface, widely investigated in section 3. Adaptive algorithm for estimating switching surface parameters is given in Section 4. In Section 5, simulation results are given to support the theoretical analysis of the proposed second order fractional sliding mode control and validate its usefulness. A summary of the present research is given in Section 6.

2. Preliminaries

2.1. Basic Definition of Fractional-Order Calculus

Fractional-order integration and differentiation are the generalization of the integer-order ones. Efforts to extend the specific definitions of the traditional integer-order to the more general arbitrary order context led to different definitions for fractional derivatives [13-16]. One of the most commonly used definitions is Caputo definition. In this paper, authors have

used Caputo fractional operators

 

 

c D

as a main tool. The Caputo fractional derivative of

 

 

 

 

t0 t

 

 

 

 

 

 

order of a continuous function

 

f (t) is defined as follows

 

 

 

 

 

 

1

 

t

f ( )

 

 

 

c

 

 

 

t

d ,

0 1

(1)

t0

Dt f (t)

 

 

 

 

( 1)

(t )

 

 

 

 

 

 

0

 

 

 

 

where t0 and t are the limits of operation, and is the Gamma function.

The initial conditions for the fractional order differential equations with the Caputo’s derivatives are in the same form as for the integer-order differential equations. The formula for

the Laplace transform of the Caputo’s fractional derivative for t0

0 has the form [13-16]:

0

0 t

 

 

 

e st

c D f (t) dt s F(s) s 1 f (0)

0 1

(2)

where s denotes the Laplace operator and F (s) is the Laplace transform of

f (t) . Laplace

transform of the Caputo derivative allows utilization of initial values of classical integer order derivatives. For zero initial conditions, Laplace transform of any fractional derivatives reduces to:

 

0

t

 

 

 

L

 

D f (t)

s F(s)

(3)

2.2. Problem Statement

Suppose a generalized nonlinear dynamic model can be described by a coupled secondorder nonlinear system of the form

Complimentary Contributor Copy

152

Danial Senejohnny, Mohammadreza Faieghi and Hadi Delavari

 

 

x2k 1 (t) x2k (t)

 

x2k (t) fk (x) bk uk (t) fk (x),

k 1,..., n

where fk (x) is the lumped model uncertainty, and x(t) is state vector

x(t) x1 (t), x2 (t), x3 (t),..., x2n (t) T R2n

(4)

(5)

also uk (t) R is a control action, bk (x) and

fk (x,t) , are the control gains and the nonlinear

dynamics of the system, respectively.

 

 

 

 

The desired state variables are defined as:

 

 

 

 

x

(t) xd

(t), xd (t), xd (t),..., xd

(t) T R2n

(6)

d

1

2

3

2n

 

 

The tracking error can be defined as:

e

1

(t) xd

 

(t) x

 

(t)

 

2k

2k 1

2k 1

 

(7)

e

 

(t) xd

(t) x

(t)

 

 

 

 

2k

 

2k

 

2k

 

 

 

Replacing (4) in (7) yields:

e

1

(t) e

(t) xd

 

(t) xd

 

(t)

 

 

 

 

2k

2k

 

2k 1

2k

 

 

 

 

(8)

 

 

(t) xd

(t) f

 

(x) b u

 

(t)

 

(t) f

 

e

 

k

k

k

k

(x),

2k

 

2k

 

 

k

 

 

 

 

The control objective is to steer the system’s states x(t) to the desired trajectory xd (t) . In

next section the theory of second order sliding mode control with fractional PIDDα sliding surface is studied.

3. Second Order Sliding Mode Control Strategy

In first order sliding mode controller design a desirable sliding surface, namely S , is selected and the feedback control law, acting discontinuously on S , aims to fulfill the constraint S 0 in finite time.

Provided that S, S, , S(r 1) are continuous functions and the rth order sliding set

S S S(r 1) 0 , the rth order sliding mode control objective is to steer to zero not only the sliding surface S in finite time, but also its (r-1) first successive time derivatives by defining a suitable discontinuous control function acting on the rth time derivative of S [9, 12].

In the particular case of the second-order sliding mode control, the control acting on the second derivative of the sliding variable, namely S , aims to steer to zero not only the sliding surface S , but also its first-order time derivative as S S 0 [11].

Complimentary Contributor Copy

Adaptive Second-Order Fractional Sliding Mode Control …

153

 

 

The idea of the proposed second-order sliding mode, designed for the special class of nonlinear systems (4), is based on the controller proposed in [10]. The selected sliding surface in this research is a fractional PIDDα function of error (section 3.1) and the switching controller parameters are estimated according to an adaptation law (section 4). The block diagram of the proposed control scheme is depicted in Figure 1

 

 

 

 

 

Equivalent

 

 

 

 

 

 

 

 

 

Controller

 

 

 

 

 

 

 

 

 

 

 

 

ueq

 

xd

 

e

Fractional

s

 

 

+

+

x

+

Switching

usw

Nonlinear

Sliding

 

_

 

 

Controller

 

 

System

 

 

 

Surface

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Adaptation

 

 

 

 

 

 

 

 

 

Law

 

 

 

 

 

Figure 1. Block diagram of second-order sliding mode controller with fractional sliding surface.

3.1. Second Order Fractional Slidng Surface Synthesis

The problem of interest in the present case is to generate a second-order sliding mode control on a chosen sliding surface S(t) . In the literature, some different sliding functions

were used in the derivation of sliding mode controllers such as, Terminal and fractional sliding surface [24, 26], fractional integral sliding surface [27], PD and fractional PDα sliding surface [25, 28]. In order to utilize the robustness properties of fractional order controller and

reduce the sliding surface settling time, we used the term c D e (t ) beside the term PID where

unanimously construct a robust fractional sliding surface PIDDα [22, 29].

The PIDDα fractional sliding surface with constant coefficients can be introduced as:

 

Sk (t) k Sk (t) kkPe2k 1 (t) kkDe2k 1 (t) kkFD D k e2k 1 (t) kkI 0t e2k 1 ( )d

(9)

where k P

, k D ,

k I and

k FD are the independent positive constants denoting proportional

k

k

k

k

 

 

derivative

and

fractional

derivative gains, respectively, k is the order

of fractional

derivative action, k 0,1 , k is also a positive constant, that determines

Sk (t) rate of

decay. Substituting (8) in (9) one obtains

 

 

Sk (t) k Sk (t) kkPe2k 1 (t) kkD e2k (t) x2dk 1 (t) x2dk (t) kkFD D k e2k 1(t) kkI 0t e2k 1( )d

(10)

Complimentary Contributor Copy

154

Danial Senejohnny, Mohammadreza Faieghi and Hadi Delavari

 

 

Taking time derivative from sliding surface given in (10) one gets

S (t) S (t) k Pe (t) k D e (t) xd (t) xd (t) k FD D k e (t) k I e (t) (11)

k k k k 2k 1 k 2k 2k 1 2k k 2k 1 k 2k 1

The control input can be given as uk ukeq uksw , where ukeq and uksw are the equivalent control and the switching control, respectively. The equivalent control, ukeq , proposed by Utkin [30] is based on the nominal (estimated) plant parameters (i.e. model uncertainty are not considered) and provides the main control action, while the switching control, uksw ,

ensures the discontinuity of the control law across sliding surface, supplying additional control to account for the presence of model uncertainty.

By substituting (8) into (11) and then equating Sk (t) to zero, the overall control signal become as:

uk

1

D

 

1

FD

 

I

P

e2k 1 (t) k Sk

d

 

sw

(t) bk

kk

 

kk

D e2k 1

(t) kk e2k 1

(t) kk

(t) fk (x) x2k 1

(t)

uk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

where uksw is the switching function and is introduced to be as

usw s S

k

(t) k s sgn(S

k

(t))

k

k

k

 

where ks , kks are switching feedback control gains to be chosen in sequel, and

(12)

(13)

 

1

if

Sk (t) 0

 

sgn(Sk

 

 

Sk (t) 0

 

(t)) 0

if

(14)

 

 

 

Sk (t) 0

 

 

1

if

 

 

 

 

 

 

Substitution of (12) into (11), results in:

S

(t) k D f

k

(x) k Db s S

k

(t) k Db k s sgn(S

k

(t))

(15)

k

k

k k k

k k k

 

 

The switching controllers (13) involve a discontinuous control action owing to the term sgn(Sk (t)) . There arises the practical issue of chattering due to imperfections in switching

devices and delays. In addition, the chattering causes oscillations of the control input around the zero sliding surface, resulting in unwanted wear and tear of actuators. Recently, researchers have utilized the adaptive techniques together with the sliding mode control for many engineering systems to smooth the output from a sliding mode controller and alleviate the chattering in the pure sliding mode control [31]. Therefore, an adaptation law is derived in

section 4 to estimate switching control gains ks , kks . Stability and Lyapunov analysis are carried out in the next subsection.

Complimentary Contributor Copy

Adaptive Second-Order Fractional Sliding Mode Control …

155

 

 

3.2. Stability Analysis

If the system is trapped on the sliding surface, namely Sk

Sk Sk

0 , then the tracking

error

e

 

 

converges to zero exponentially if

the

coefficients,

k P , k D ,

 

k I

and

k FD ,

are

 

2k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

k

 

 

 

k

 

 

 

k

 

selected

 

properly,

in

turn,

the

 

 

fractional-order

differential

equation

 

(FODE)

k Pe

 

k De

 

k FD D e

 

k I e

0 is stable. This implies that the closed-loop system

k 2k 1

 

 

k 2k 1

 

k

 

2k 1

 

 

k 2k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

is globally asymptotically stable.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

The following Lemma addresses that how sliding surface parameters

 

k P , k D

, k I

and

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

k

 

 

k

 

k FD

could be

chosen such

 

that FODE

 

k Pe

 

 

k De

 

k FD D e

1

 

k I e

 

 

0

be

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 2k 1

 

 

 

k 2k 1

 

k

 

2k

 

 

k 2k 1

 

 

 

asymptotically stable.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Lemma 1. FODE

 

k Pe

 

 

k De

 

k FD D e

 

k I e

0 is asymptotically stable if

 

 

 

 

 

 

 

 

 

k 2k 1

 

k 2k 1

 

k

 

2k 1

 

 

k 2k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

arg( )

 

 

 

[32].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2qk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Proof.

Regardless

of

initial

conditions,

 

the

 

Laplace

 

 

 

transform

of

k Pe

 

k De

 

k FD D e

 

k I e

0 is

F (s)E

 

1

(s) , where

E

 

(s)

is the Laplace

k 2k 1

 

 

k 2k 1

 

k

 

2k 1

 

 

k 2k 1

 

 

 

 

k

 

2k

 

 

 

 

2k 1

 

 

 

 

 

 

 

 

 

transform of e2k 1 (t) and Fk (s) is

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F (s) k P s k D s2 k FD s1 k I

 

 

 

 

 

 

 

 

 

 

 

 

(16)

 

 

 

 

 

 

 

 

 

 

 

 

k

 

k

 

 

k

 

k

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

Assuming

k

pk qk

 

where,

pk ,qk are positive

constants

so

that

 

 

(pk ,qk ) 1,

and

(

1

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

qk

, then (16) can be rewritten as

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F ( ) k P qk

k D 2qk k FD pk qk

k I

 

 

 

 

 

 

 

 

 

 

(17)

 

 

 

 

 

 

 

 

 

 

k

 

 

k

 

 

k

 

 

 

k

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

Then

 

it

is

obvious

that

the

FODE

 

k Pe

 

 

k De

 

 

k FD D e

 

 

 

k I e

 

 

0

is

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 2k 1

 

 

k 2k 1

k

 

2k 1

 

k 2k 1

 

 

asymptotically

stable

 

if parameters

 

k P ,

k D ,

k I

 

 

and

k FD could

be

 

 

chosen

 

 

so

that

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

k

k

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

arg( )

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2qk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

According to the proposed Lemma 1 the sliding surface is asymptotically stable; e2k 1 (t) 0 as t .

In order to analyze the stability analysis of the proposed second order sliding mode control, under control action (12) take the following Lyapunov function

Vk

 

1

Sk2

Sk2

(18)

2

 

 

 

 

 

Complimentary Contributor Copy

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]