On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

14
Available online at www.sciencedirect.com Journal of the Franklin Institute 351 (2014) 1939–1952 On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control Igor M. Boiko n The Petroleum Institute, P.O. Box 2533, Abu Dhabi, United Arab Emirates Received 4 August 2012; received in revised form 15 November 2012; accepted 7 January 2013 Available online 16 January 2013 Abstract With respect to relative degree and chattering in sliding mode (SM) control systems, the notion of fractal dynamics is introduced, and a conjecture is formulated that the character of parasitic dynamics of real control systems is fractal. A model of fractal dynamics is proposed. The charac- teristics of fractal dynamics are studied in the frequency and time domains. It is shown that with fractal parasitic dynamics SM control systems will always feature chattering and non-ideal closed- loop performance. An example of analysis is provided. & 2013 The Franklin Institute. Published by Elsevier Ltd. All rights reserved. 1. Introduction There exist a number of control methods that rely on such characteristics of the process (plant) models as order and relative degree. Sliding mode (SM) control, high gain methods, Pontryagin’s maximum principle, and approaches that use Lyapunov functions usually fall into this category. Normally these methods use plant dynamic models of relatively low order (or low relative degree). Control is designed for these low-order models under the assumption that the effect of the mismatch between the model dynamics and the actual plant dynamics is insignificant. These models are built from the fundamental laws of physics and represent only the principal dynamics of the process (plant). However, it is known that beside the principal dynamics, some kind of parasitic dynamics are always present. This fact is well known from the applications of SM control [1]. The relationship between the principal and parasitic dynamics with respect to SM control is described in www.elsevier.com/locate/jfranklin 0016-0032/$32.00 & 2013 The Franklin Institute. Published by Elsevier Ltd. All rights reserved. http://dx.doi.org/10.1016/j.jfranklin.2013.01.003 n Tel.: þ971 2 607 5505. E-mail addresses: [email protected], [email protected].

Transcript of On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

Page 1: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

Available online at www.sciencedirect.com

Journal of the Franklin Institute 351 (2014) 1939–1952

0016-0032/$3

http://dx.doi

nTel.: þ971

E-mail ad

www.elsevier.com/locate/jfranklin

On relative degree, chattering and fractal natureof parasitic dynamics in sliding mode control

Igor M. Boikon

The Petroleum Institute, P.O. Box 2533, Abu Dhabi, United Arab Emirates

Received 4 August 2012; received in revised form 15 November 2012; accepted 7 January 2013

Available online 16 January 2013

Abstract

With respect to relative degree and chattering in sliding mode (SM) control systems, the notion

of fractal dynamics is introduced, and a conjecture is formulated that the character of parasitic

dynamics of real control systems is fractal. A model of fractal dynamics is proposed. The charac-

teristics of fractal dynamics are studied in the frequency and time domains. It is shown that with

fractal parasitic dynamics SM control systems will always feature chattering and non-ideal closed-

loop performance. An example of analysis is provided.

& 2013 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.

1. Introduction

There exist a number of control methods that rely on such characteristics of the process(plant) models as order and relative degree. Sliding mode (SM) control, high gain methods,Pontryagin’s maximum principle, and approaches that use Lyapunov functions usually fallinto this category. Normally these methods use plant dynamic models of relatively loworder (or low relative degree). Control is designed for these low-order models under theassumption that the effect of the mismatch between the model dynamics and the actualplant dynamics is insignificant. These models are built from the fundamental laws ofphysics and represent only the principal dynamics of the process (plant). However, it isknown that beside the principal dynamics, some kind of parasitic dynamics are alwayspresent. This fact is well known from the applications of SM control [1]. The relationshipbetween the principal and parasitic dynamics with respect to SM control is described in

2.00 & 2013 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.

.org/10.1016/j.jfranklin.2013.01.003

2 607 5505.

dresses: [email protected], [email protected].

Page 2: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–19521940

Ref. [2]. In SM control, the existence of parasitic dynamics is the cause of chattering in notonly first-order SM systems [1,3,4], but also discontinuous control second-order [5–10] andcontinuous first- [11] and second-order SM systems [12,13].The presence of parasitic dynamics has a direct effect on the relative degree of the system

because it is usually attributed to an actuator and a sensor connected in series with theprincipal dynamics of the plant. Account of the dynamics of actuators and sensorsresults in the increase of the relative degree of the plant dynamics. If relative degree isunknown and has to be determined experimentally then the design of respectiveexperiments has a high impact on the quality of the final system. It is demonstrated inthe higher-order SM control design [14]. The SM is, therefore, the principle that is on theone hand insensitive to external matched disturbances and model parametric uncertainties,but on the other hand is very sensitive to the presence of parasitic dynamics in the loop.Other control principles can also be affected by parasitic dynamics, so that some qualitydeterioration due to account of parasitic dynamics can be expected in these systems too.Therefore, adequate account of the parasitic dynamics in the model that is used in thedesign is relatively universal problem, which, however, is revealed in the SM system to ahigher extent.We now take a closer look at the nature of the principal and parasitic dynamics and their

relationship in any control system. Consider an example of the system that is supposed tocontrol water level in a vessel. Usually the dynamics of the level in a vessel can beconsidered an integrator, with the valve dynamics neglected. This would be a veryreasonable approach if the objective is the tank level dynamics. However, for a valveactuator designer the emphasis would be on the actuator dynamics. Most of the controlvalves use pneumatic actuation. At the analysis of the pneumatic dynamics one wouldneglect the electromagnet dynamics, which could not be neglected by an electrical engineerwho develops the electromagnet. Yet this engineer can legitimately ignore the dynamics ofthe electronic amplifier that is used for electromagnet control. For the electronic engineerthe subject of design is the amplifier, and he can disregard the dynamics of transistors.This sequence can be continued to single components, junctions, and particles. To theauthor’s belief, this sequence is really infinite and only limited by our knowledge of nature.The following observations can be made from the example above. (1) At each levelof consideration there are always exist principal dynamics, which provide the maincontribution to the overall dynamics, and parasitic dynamics, the effect of which ismuch smaller, and these dynamics are usually neglected. (2) The connection of theprincipal and parasitic dynamics is serial, which is determined by the control systemdesign principles.Let us call the described property of process (plant) dynamics fractal, which includes

infinite number of levels of consideration and existence of non-neglectable principal andneglectable parasitic dynamics on each level, and the dynamics themselves the fractal

dynamics. The term fractal obviously reflects similarity with the fractal geometry [15]. Infractal dynamics, like in fractal geometry, one can notice the property of self-similarity andthe possibility of scaling at each level of consideration.This paper is devoted to the design of a model of the fractal dynamics that would reflect

these properties, and to the analysis of the properties of this model.The paper is organized as follows: at first, the model of fractal dynamics is proposed.

After that, the properties of the fractal dynamics are analyzed in the frequency and timedomains. Finally, an example of application is given.

Page 3: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–1952 1941

2. Fractal dynamics model

The analysis of the level control given above allows one to conclude that on each level ofconsideration there exist non-negligible principal dynamics with higher time constants andnegligible parasitic dynamics with lower time constants, with serial connection between thetwo. The separation line between these two dynamics is drawn based on the system understudy and the problem being solved — as shown by the example above. Therefore, themost complete description of the process dynamics would be a serial connection of thecomponent dynamics, with diminishing dominant time constants. The following model inthe form of a transfer function can be proposed to account for this property:

F T ,l,sð Þ ¼Y1

k ¼ 0

1

l�kTsþ 1, ð1Þ

where T is a time constant, l41 is a rate of decay of the time constants. Formula (1) is,therefore, a serial connection of infinite number of first-order dynamics with diminishingtime constants. Transfer function Eq. (1) can be related with the so-called q-Pochhammersymbol (q-shifted factorial) [16]

ða; qÞ1 ¼Y1

k ¼ 0

ð1�aqkÞ

through setting a¼�Ts and q¼1/l (as a reciprocal of the latter). However, thisrelationship is rather formal and, unfortunately, does not provide a convenient way ofcomputing Eq. (1), because the q-Pochhammer symbol assumes a real quantity, whereas Fis complex. We shall refer to the type of dynamics given by Eq. (1) as the first-order fractal

dynamics. Obviously, we can also design a model of second-order fractal dynamics:

F T ,l,sð Þ ¼Y1

k ¼ 0

1

ðl�kTÞ2s2 þ 2xl�kTsþ 1,

as well as other models of fractal dynamics. Below, let us consider only the first-orderfractal dynamics. Consider some properties of the fractal dynamics. The property of self-

similarity can be formulated as the following expression:

F lT ,l,sð Þ ¼1

lTsþ 1F T ,l,sð Þ, ð2Þ

which means that the increase of the time constant by l times is equivalent to adding onemore multiplier in the product Eq. (1). This property suggests the introduction of thefollowing function:

F0 l,sð Þ ¼F 1,l,sð Þ ¼Y1

k ¼ 0

1

l�ksþ 1: ð3Þ

Then for time constants that are multiples of lk the transfer function can be obtained viaformula (2). Therefore, we can rewrite formula (2) as follows:

F ln,l,sð Þ ¼F0 l,sð ÞYn

k ¼ 1

1

lksþ 1ð4Þ

Page 4: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–19521942

We shall prove below that despite the infinite character of the formulas for F theproperties of the fractal dynamics are in many ways similar to those of finite-dimensionaldynamics. Let us analyze these properties in the frequency and time domains.

3. Frequency-domain characteristics of fractal dynamics

Assume that the input to the fractal dynamics is a harmonic excitation and find theharmonic response of the fractal dynamics Eq. (1). With the input being harmonic, we canreplace the Laplace variable as follows: s¼ jo. Therefore, F(jo) is a complex frequencyresponse and can be represented by the magnitude component and the phase component asfollows:

FðT ,l,joÞ ¼ jFðT ,l,joÞjexpðjargðFðT ,l,joÞÞÞ: ð5Þ

Let us prove that, despite infinite number of serially connected components, theharmonic response Eq. (5) provides finite attenuation of the amplitude and finite phase lagwith respect to the external harmonic excitation.

Theorem 1. At any finite frequency o, and l41 the magnitude response of the fractaldynamics Eq. (1) is not infinitesimally small (finite attenuation).

Proof. At first prove that 9F0(l,jo)9 provides finite attenuation to any harmonic excitationof finite frequency. Evaluate this function at o¼1.

lnjF0 l,j1ð Þj ¼ lnY1

k ¼ 0

1ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi1þ l�2k

p ¼�0:5X1k ¼ 0

lnð1þ l�2kÞ: ð6Þ

Using the following expansion for the logarithmic function [17]

ln 1þ að Þ ¼ a�a2

a3

3�a4

4þ . . ., jajo1 ð7Þ

we can find the lower estimate of the magnitude function. Assume that a¼l�2. FromEq. (7), it follows that lnð1þ aÞoa. Thus, we can write:X1

k ¼ 0

lnð1þ l�2kÞ ¼

X1k ¼ 0

lnð1þ akÞoX1k ¼ 0

ak: ð8Þ

The last formula provides the infinite geometric series, which gives the sum 1/(1�a).Therefore, considering the minus sign in Eq. (6), we can write the lower estimate for themagnitude of F0.

lnjF0 l,j1ð Þj4�0:5l2

l2�1: ð9Þ

It follows from Eq. (9) that Eq. (3) converges to a finite number at any l41.Next, function 9F0(l,jo)9 is obviously a decreasing function of the frequency o, as the

magnitudes of all the multipliers in Eq. (1) are decreasing functions. Also, it follows fromEq. (4) that for any frequency O there exists integer n such that the following inequality will

Page 5: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–1952 1943

hold:

jF 1,l,jOð Þj4jF ln,l,j1ð Þj ¼ jF0 l,j1ð ÞjUYn

k ¼ 1

1

jl�kþ 1

����������,

which will be also true for an arbitrary time constant T. &

Now consider the phase response of the transfer function Eq. (1).

Theorem 2. At any finite frequency o, and l41 the phase response of the fractal dynamicsEq. (1) is finite (finite phase lag).

Proof. The phase response for the transfer function Eq. (1) is:

argFðT ,l,joÞ ¼�X1k ¼ 0

arctan ðTol�kÞ: ð10Þ

Considering the well-known expansion of the arctan function [17]

arctan a¼ a�a3

a5

5�a7

7þ . . ., for a2o1,

from which it also follows that jarctan ajojaj if a2o1, we can write the followinginequality:

argF T ,l,joð Þ ¼�X1k ¼ 0

arctan ðTol�kÞ4�

X1k ¼ 0

ðTol�kÞ ¼�

To

1�l�1: ð11Þ

In formula (11), the negative sign of the phase response is accounted for by using ‘‘4’’,and the formula of geometric series is used to find the sum. Formula (11) is only valid ifToo1. It is not always the case. However, since l41, beginning from a certain k¼kn

inequality Tol�k*o1 will hold, so that we can consider two sums: from k¼0 to kn�1 and

from kn to infinity and treat in the second sum the term Tol�k* as a new To. Both sumswill obviously be finite.

Again, as in the case of the amplitude response, for any l41 and any finite frequencythe phase response of the fractal dynamics Eq. (1) is finite.&

The phase and amplitude characteristics (Bode plot) of the fractal dynamics Eq. (1) fortwo different l are depicted in Fig. 1. The Nyquist plot of Eq. (1) is given in Fig. 2 (Nyquistplot of conventional first-order dynamics is shown for comparison too).

One can see that the dependence of the phase characteristic on the logarithm offrequency for higher frequencies is linear (see Fig. 1). Let us demonstrate that.

Using formula (10), find the value of arg FðT ,l,jloÞ:

argFðT ,l,jloÞ ¼�X1k ¼ 0

arctan ðTlol�kÞ ¼ argFðT ,l,joÞ�arctan ðTloÞ

Page 6: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

Fig. 2. Nyquist plots of fractal dynamics (T¼1).

Fig. 1. Bode plots of fractal dynamics (T¼1).

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–19521944

Find the following limit:

limo-1

arg F T ,l,jloð Þ�arg F T ,l,joð Þ½ � ¼ � limo-1

arctan Tloð Þ ¼ �p2:

It follows from the last formula that the slope of the phase characteristic of the fractaldynamics at high enough frequencies is 901=logl per decade. Therefore, for l¼2, it is 2991/decade and for l¼10 it is 901/decade (Fig. 1).

4. Time-domain characteristics of fractal dynamics

Regarding the time-domain characteristics of the fractal dynamics, the most importantwould be the step response of Eq. (1). It would be difficult to obtain analytical formulas for

Page 7: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

Fig. 3. Step response of fractal dynamics (T¼1).

Fig. 4. Relay feedback system.

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–1952 1945

the step response. For that reason, find this function numerically via multiple integrationof the time evolution of the response of first-order dynamics W ðsÞ ¼ 1=ðTsþ 1Þ: hðtÞ ¼

1�expð�t=TÞ. Step response of Eq. (1) for two different values of l is given in Fig. 3(serial connection of 100 1st-order dynamics in the considered example, as per Eq. (1)).

In Fig. 3, the step input is applied at t¼0. One can see that the effect of the fractaldynamics is similar to time delay (see the plot for l¼2), as there is initial time intervalwhen the output stays almost equal to zero (‘‘acceleration’’ interval). However, fractaldynamics is minimal-phase, which makes it different from the time delay. The length ofthis interval depends on parameter l. One can see that the length of the ‘‘acceleration’’interval for l¼2 is larger than for l¼10. Existence of such initial time interval in a stepresponse of real plants was identified in Ref. [18] many years ago. In fact, the responseprovided in Fig. 3 is often approximated by first-order plus time delay model for thepurpose of process identification and controller tuning.

5. The LPRS of fractal dynamics

The locus of a perturbed relay system (LPRS) was proposed in Ref. [19] as a frequency-domain characteristic convenient for analysis of SM control systems, and was furtherdeveloped in Ref. [20]. The LPRS J(o) is a characteristic of the response of the plant to anunequally spaced square wave control with the asymmetry being an infinitesimally smallvalue. The LPRS, therefore, can be seen as a characteristic similar to the frequency

Page 8: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–19521946

response (Nyquist plot) of the plant W(jo) with the difference that the Nyquist plot is aresponse to a harmonic signal but the LPRS is a response to the square wave havinginfinitely small asymmetry of the positive and negative pulses.Let, therefore, the SM system be described by the following equations that would

comprise the principal dynamics and the parasitic dynamics (presumably not fractal;however, it will also be extended to fractal dynamics below):

_x ¼Axþ Bu

y¼Cx, ð12Þ

u¼c if s¼ f0�y4b or s4�b, _so0

�c if s¼ f0�yo�b or sob, _s40,

(ð13Þ

where AARn� n, BARn� 1, CAR1� n are matrices, c and b are the amplitude and thehysteresis value of the relay nonlinearity respectively, f0 is a constant input, uAR1 is thecontrol, xARn is the state vector, yAR1 is the system output, sAR1 is the sliding variable (errorsignal), n is finite. Let us call the part of the system described by Eq. (12) the linear part.Alternatively the linear part can be given by the transfer function W(s)¼C(Is�A)�1B.The parasitic dynamics can be present in both: the linear part Eq. (12) or/and in thenonlinearity Eq. (13) as non-zero hysteresis.With the dynamics description in the format of the transfer function, the LPRS can be

computed as follows [19]:

J oð Þ ¼X1k ¼ 1

ð�1Þkþ1Re W koð Þ þ jX1k ¼ 1

1

2k�1Im W 2k�1ð Þo½ �: ð14Þ

State-space matrix form of the LPRS is given in Ref. [20]. Once the LPRS of a givensystem is computed we are able to determine the frequency of the oscillations and theequivalent gain kn, which describes propagation of averaged motions through the relay(Fig.5). It was proved in Ref. [19] that the point of the first intersection of the LPRS and ofthe straight line, which lies at the distance pb/(4c) below (if b40) or above (if bo0) thehorizontal axis and parallel to it (line ‘‘�pb/4c’’) provides the frequency of the oscillationsand the equivalent gain kn of the relay. Therefore, with the LPRS J(o) computed as perEq. (14) the frequency O of the oscillations can be found by solving the following equation:

ImJ Oð Þ ¼ �pb

4c, ð15Þ

Fig. 5. The LPRS and oscillations analysis for b40.

Page 9: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

Fig. 6. The LPRS of fractal dynamics (T¼1).

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–1952 1947

(i.e. y(0)¼�b is the condition of the relay switch) and the equivalent gain of the relaykn,, can be computed as:

kn ¼�1

2ReJðOÞ: ð16Þ

Let us compute the LPRS for the dynamics Eq. (1) as per formula (14). The LPRS plots fortwo different values of l are given in Fig. 6. In calculation of the plot of Fig. 6, 100 products ofEq. (1) and 1000 terms in Eq. (14) were used. It was shown in Ref. [21] that the point of theLPRS for zero frequency for all non-integrating plants is always (0.5;�jp/4). One can see fromFig. 6 that it is also the case for the fractal dynamics. Also, similarly to the Nyquist plots theLPRS plots have spiral shape around the origin with the frequency tending to infinity.

6. Chattering and closed-loop performance of SM systems affected by parasitic fractal

dynamics

In SM systems, the hysteresis of the relay in Eq. (13) is always zero. Therefore, inaccordance with the LPRS method, the frequency O of chattering in a SM system can becomputed via solving the equation:

ImJðOÞ ¼ 0: ð17Þ

As a result, in SM systems, for analysis of chattering and of the closed-loop performance(propagation of external signals and disturbances) we should look for the point of the fistintersection of the LPRS and of the real axis. This point would determine both effectscharacterizing performance deterioration due to parasitic dynamics: the chattering effectand the closed-loop performance deterioration.

In accordance with Ref. [20], the averaged motions are described by the following modelof the original order (non-reduced order model):

_x0 ¼Ax0 þ Bu0,

y0 ¼Cx0 ð18Þ

Page 10: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–19521948

u0 ¼ knUðf�y0Þ, ð19Þ

where subscript ‘‘0’’ stands for averaged value of the respective variable, f(t) is externalinput or disturbance to the system (Fig. 4).It is known that chattering in SM control systems is caused by the inevitable

existence of parasitic dynamics, which exist along with the principal dynamics of the

plant. The principal dynamics in a SM system are the dynamics of the plant model that

is used for the SM controller design and of the sliding surface. However, to implement

the designed control algorithms such devices as actuators and sensors are needed,

which brings into the system certain parasitic dynamics that were not accounted for at

the SM control design. Due to the SM design principle, the relative degree of principal

dynamics is always one [22]. The existence of only principal dynamics would result in

the LPRS shape in the vicinity of the origin similar to the one depicted in Fig. 6 for the

1st order dynamics (dashed line). In this case, the LPRS would not have any points of

intersection with the real axis except the origin. The origin is the only point of

intersection that corresponds to infinite frequency of chattering and, therefore, to the

ideal sliding. However, in any actual application parasitic dynamics always exist along

with the principal one.Assuming that the parasitic dynamics are fractal, as given by Eq. (1), we can come to the

following conclusions: in the case of fractal parasitic dynamics, the principal dynamics areconnected in series with the parasitic dynamics. This arrangement results in the LPRS ofthe overall dynamics similar to the one depicted in Fig. 6 for l¼2 and l¼10 (spiral shapein the vicinity of the origin). In particular, the point of intersection of the LPRS and of thereal axis exists, which corresponds to a solution of Eq. (17). Moreover, the point ofintersection is not the origin, which means that finite-frequency oscillations (chattering)occur in a SM system.Another observation is that due to the spiral shape of the LPRS the point of the first

intersection with the real axis will always be located in the left half-plane and the following

equality will hold: ReJðOÞo0. As a result, the equivalent gain of the relay is a finite

positive value: 0oknoN. As it follows from Eqs. (18), (19), with a finite equivalent gain,

the SM system would necessarily have deteriorated closed-loop performance in the form of

non-ideal disturbance rejection and non-ideal tracking of external signals.Therefore, with fractal parasitic dynamics, SM systems will always feature chattering and

non-ideal closed-loop performance.

In Refs. [5,12], a frequency-domain interpretation of second-order SM control wasgiven. It was shown that the second-order SM algorithms shift the point of intersection ofthe Nyquist plot and of the negative reciprocal of the describing function of the respectivealgorithm to the second quadrant — in comparison with the relay control, for which thispoint is located on the real axis (like for the LPRS analysis presented above; however, theLPRS analysis is exact, while the describing function analysis is approximate). Due to thespiral shape of the Nyquist plot (and of the LPRS) of fractal dynamics, there will always bea point of intersection of the Nyquist plot and of the negative reciprocal of the describingfunction of a second-order SM algorithm, corresponding to a finite frequency. Therefore,with fractal parasitic dynamics, chattering elimination and ideal closed-loop performance

become impossible even if a high-order SM algorithm is used.An example below illustrates the methodology of analysis of chattering and closed-loop

performance in a SM system with fractal parasitic dynamics.

Page 11: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–1952 1949

7. Example

Consider the equations of the spring-loaded cart with viscous output damping on theinclined plane:

_x1 ¼ x2

_x2 ¼�x1�x2 þ ua þD,

(

where x1 is the linear displacement of the cart, x2 is the linear velocity, ua is the forcedeveloped by the actuator, and D is the disturbance (projection of the gravity onto theinclined plane). The goal is to stabilize the cart in the point corresponding to zerodisplacement. Let us design the switching surface (line) as follows:

x1 þ x2 ¼ 0

and the control as a relay control that can make the point x¼ [x1 x2]T¼0 an asymptotically

stable equilibrium point of the closed-loop system under the applied disturbance D¼�1:

u¼�4 signðx1 þ x2Þ:

Suppose that the force ua is developed by an actuator with the dominant time constantTa¼0.01s, which can be considered parasitic dynamics in SM control. Assume that thenature of these parasitic dynamics is fractal with parameter l¼5. Therefore, the transferfunction of the actuator is:

Wa sð Þ ¼F 0:01,5,sð Þ ¼Y1

k ¼ 0

1

5�k0:01sþ 1:

Clearly, the system should exhibit oscillations due to the actuator presence. Finding thefrequency and the amplitude of those oscillations is one of the goals of this analysis.Another goal is an assessment of the disturbance effect. In the case of ideal sliding, even ifthe disturbance were applied to the system the trajectory would tend to the origin. In thecase of non-ideal sliding (due to the actuator presence) the trajectory does not tend to theorigin. Let us show that.

Write an expression for the transfer function of the linear part:

W ðsÞ ¼ ðsþ 1ÞWaðsÞWpðsÞ,

where

Wp sð Þ ¼1

s2 þ sþ 1,

Compute the LPRS for W(s) and plot it on the complex plane (Fig. 7). Find the point ofintersection of the LPRS and of the real axis. This point corresponds to the frequencyO¼189.4 rad/s, which is the frequency of chattering in the system. The real part of theLPRS in this point is Re J(O)¼�0.00194 and the equivalent gain of the relay (according toformula (9)) is kn¼257.7. As a result, the non-reduced order model of the slow motions

Page 12: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

Fig. 7. The LPRS of the linear part (actuator, plant and sliding surface).

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–19521950

can be written as follows (subscript ‘0’ denotes the slow component of respectivevariables):

_x01 ¼ x02

_x02 ¼�x01�x02 þ u0a þD

u0 ¼�kns0s0 ¼ x01 þ x02

u0aðsÞ ¼WaðsÞUu0ðsÞ

,

8>>>>>><>>>>>>:

where the last formula is written in the Laplace domain (due to infinite-dimensionalcharacter of the dynamics).The reduced-order model can be obtained as a limiting case: if the time constant is set to

zero: Ta-0 and consequently the equivalent gain approaches infinity: kn-N then s0¼0and, consequently, x01¼x02, which is the condition of the ideal sliding. One can notice thatthe actual value of the equivalent gain is finite. Since the transient processes in both: thereduced model and the non-reduced model look alike, the accuracy of the non-reducedorder model can be best demonstrated, if an external disturbance is applied to the system,and the effect of this disturbance is of interest.In the example being considered, the equivalent gain kn does not vary. For that reason,

the effect of the applied disturbance is identical in the transient and the steady state modes,and the analysis of disturbance attenuation can be carried out with the use of thetechniques relevant to linear systems. Analyze the disturbance attenuation. In a steadystate, there exists oscillations of frequency O with the center (x01,0) where x01¼D/(1þkn)¼�0.0039, which can be considered a disturbance rejection measure. This meansthat in a steady state, the cart exhibits oscillations around the point (�0.0039,0), with thefrequency O¼189.4 rad/s. This measure of non-ideal closed-loop performance can be seenonly due to the use of the non-reduced order model (model of the original order). The useof the reduced-order model would not allow one identify non-ideal disturbance rejection.

Page 13: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

Fig. 8. Simulations: motion from zero initial point; inset plot provides system output at tA[9.0, 9.2]s.

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–1952 1951

Simulations of the system are provided in Fig. 8. They show an excellent match to theLPRS analysis.

8. Conclusion

A conjecture is formulated that the nature of parasitic dynamics in control systems isfractal. A model of the fractal dynamics is proposed, and the properties of the fractaldynamics are analyzed in the frequency and time domains. Characterization of the fractaldynamics by parameter l is suggested. It is shown that the larger l the closer the effects ofthe parasitic dynamics to the effects of conventional first-order dynamics (non-fractal).Properties of fractal dynamics are analyzed in the frequency and time domains. It is shownthat in SM control systems chattering and non-ideal closed-loop performance areunavoidable if parasitic dynamics present in the system are fractal. This conclusion alsoapplies to high-order SM control systems. An example of analysis that supports the aboveconclusions is given.

References

[1] K.D. Young, V.I. Utkin, U. Ozguner, A Control Engineer’s Guide to Sliding Mode Control, IEEE

Transactions on Control Systems Technology 7 (1999) 328–342.

[2] I. Boiko, L. Fridman, Frequency-domain analysis of second-order sliding modes, in: C. Edwards, L. Fossas,

L. Fridman (Eds.), Advances in Variable Structure and Sliding Mode Control, Springer-Verlag, 2006, p. 411.

[3] L. Fridman, Singularly perturbed analysis of chattering in relay control systems, IEEE Transactions on

Automatic Control 47 (12) (2002) 2079–2084.

[4] L. Fridman, An averaging approach to chattering, IEEE Transactions on Automatic Control 46 (2001)

1260–1264.

[5] I. Boiko, L. Fridman, M.I. Castellanos, Analysis of second order sliding mode algorithms in the frequency

domain, IEEE Transactions on Automatic Control 49 (6) (2004) 946–950.

Page 14: On relative degree, chattering and fractal nature of parasitic dynamics in sliding mode control

I.M. Boiko / Journal of the Franklin Institute 351 (2014) 1939–19521952

[6] A. Levant, Sliding mode and sliding accuracy in sliding mode control, International Journal of Control 58

(1993) 1247–1263.

[7] L. Levaggi, E. Punta, Analysis of a second-order sliding-mode algorithm in presence of input delays, IEEE

Transactions on Automatic Control 51 (2006) 1325–1332.

[8] I. Boiko, L. Fridman, A. Pisano, E. Usai, Analysis of chattering in systems with second order sliding modes,

IEEE Transactions on Automatic Control 52 (11) (2007) 2085–2102.

[9] A. Pisano, E. Usai, Output-feedback control of an underwater vehicle prototype by higher-order sliding

modes, Automatica 40 (9) (2004) 1525–1531.

[10] G. Bartolini, A. Ferrara, A. Pisano, E. Usai, Adaptive reduction of the control effort in chattering-free

sliding mode control of uncertain nonlinear systems, Journal of Applied Mathematics and Computer

Sciences 8 (1) (1998) 51–71.

[11] Y.B. Shtessel, I.A. Shkolnikov, M.D.J. Brown, An asymptotic second-order smooth sliding mode control,

Asian Journal of Control 5 (4) (2003) 498–504.

[12] I. Boiko, L. Fridman, Analysis of chattering in continuous sliding-mode controllers, IEEE Transactions on

Automatic Control 50 (9) (2005) 1442–1446.

[13] A. Levant, L. Fridman, Accuracy of homogeneous sliding modes in the presence of fast actuators, IEEE

Transactions on Automatic Control 55 (3) (2010) 810–814.

[14] A.G.G. Hernandez, L. Fridman, A. Levant, Y. Shtessel, R. Leder, C.R. Monsalve, S.I. Andrade, High-order

sliding mode control of blood glucose concentration via practical relative degree identification, in:

Proceedings of the 50th IEEE Conference Decision and Control, Orlando, USA, 2011 pp. 5786–5791.

[15] B.B. Mandelbrot, The Fractal Geometry of Nature, W.H. Freeman, New York, 1983.

[16] /http://mathworld.wolfram.com/q-PochhammerSymbol.htmlS.

[17] R.S. Burlington, Handbook of Mathematical Tables and Formulas, McGraw-Hill, New York, 1973.

[18] J.G. Ziegler, N.B. Nichols, Optimum settings for automatic controllers, Transactions of the American

Society of Mechanical Engineers 64 (1942) 759–768.

[19] I. Boiko, Input–output analysis of limit cycling relay feedback control systems, in: Proceedings of the 1999

American Control Conference, San Diego, USA, 1999 pp. 542–546.

[20] I. Boiko, Oscillations and transfer properties of relay servo systems — the locus of a perturbed relay system

approach, Automatica 41 (2005) 677–683.

[21] I. Boiko, Analysis of sliding modes in the frequency domain, International Journal of Control 78 (13) (2005)

969–981.

[22] V. Utkin, Sliding Modes in Control and Optimization, Springer-Verlag, Berlin, 1992.