Sliding mode control

Sliding mode control

In control theory, sliding mode control, or SMC, is a nonlinear control method that alters the dynamics of a nonlinear system by application of a discontinuous control signal that forces the system to "slide" along a cross-section of the system's normal behavior. The state-feedback control law is not a continuous function of time. Instead, it can switch from one continuous structure to another based on the current position in the state space. Hence, sliding mode control is a variable structure control method. The multiple control structures are designed so that trajectories always move toward an adjacent region with a different control structure, and so the ultimate trajectory will not exist entirely within one control structure. Instead, it will slide along the boundaries of the control structures. The motion of the system as it slides along these boundaries is called a sliding mode and the geometrical locus consisting of the boundaries is called the sliding (hyper)surface. In the context of modern control theory, any variable structure system, like a system under SMC, may be viewed as a special case of a hybrid dynamical system as the system both flows through a continuous state space but also moves through different discrete control modes.

Introduction
Figure1 shows an example trajectory of a system under sliding mode control. The sliding surface is described by , and the sliding mode along the surface commences after the finite time when system trajectories have reached the surface. In the theoretical description of sliding modes, the system stays confined to the sliding surface and need only be viewed as sliding along the surface. However, real implementations of sliding mode control approximate this theoretical behavior with a high-frequency and generally non-deterministic switching control signal that causes the system to "chatter" in a tight neighborhood of the sliding surface. This chattering behavior is evident in Figure1, which chatters along the surface as the system asymptotically approaches the origin, which is an asymptotically stable equilibrium of the system when confined to the sliding surface. In fact, although the system is nonlinear in general, the idealized (i.e., non-chattering) behavior of the system in Figure1 when confined to the surface is an LTI system with an exponentially stable origin.

Figure1: Phase plane trajectory of a system being stabilized by a sliding mode controller. After the initial reaching phase, the system states "slides" along the line . The particular surface is chosen because it has desirable reduced-order dynamics when constrained to it. In this case, the surface corresponds to the first-order LTI system , which has an exponentially

Intuitively, sliding mode control uses practically infinite gain to force stable origin. the trajectories of a dynamic system to slide along the restricted sliding mode subspace. Trajectories from this reduced-order sliding mode have desirable properties (e.g., the system naturally slides along it until it comes to rest at a desired equilibrium). The main strength of sliding mode control is its robustness. Because the control can be as simple as a switching between two states (e.g., "on"/"off" or "forward"/"reverse"), it need not be precise and will not be sensitive to parameter variations that enter into the control channel. Additionally, because the control law is not a continuous function, the sliding mode can be reached in finite time (i.e., better than asymptotic behavior). Under certain common conditions, optimality requires the use of bangbang control; hence, sliding mode control describes the optimal controller for a broad set of dynamic systems. One application of sliding mode controllers is the control of electric drives operated by switching power converters.:"Introduction" Because of the discontinuous operating mode of those converters, a discontinuous sliding mode controller is a natural implementation choice over continuous controllers that may need to be applied by means of pulse-width modulation or a similar technique[1] of applying a continuous signal to an output that can only take

Sliding mode control discrete states. Sliding mode control must be applied with more care than other forms of nonlinear control that have more moderate control action. In particular, because actuators have delays and other imperfections, the hard sliding-mode-control action can lead to chatter, energy loss, plant damage, and excitation of unmodeled dynamics.:554556 Continuous control design methods are not as susceptible to these problems and can be made to mimic sliding-mode controllers.:556563

Control scheme
Consider a nonlinear dynamical system described by

where

is an

-dimensional state vector and

is an

-dimensional input vector that will be used for state feedback. The functions to Equation(1) exists and is unique. (i.e., a mapping from current state

and

are assumed to be continuous and sufficiently smooth so that the PicardLindelf theorem can be used to guarantee that solution to the input A common task is to design a state-feedback control law at time . That

) to stabilize the dynamical system in Equation(1) around the origin

is, under the control law, whenever the system is started away from the origin, it will return to it. For example, the component of the state vector may represent the difference some output is away from a known signal (e.g., a desirable sinusoidal signal); if the control can ensure that quickly returns to , then the output will track the desired sinusoid. In sliding-mode control, the designer knows that the system behaves desirably (e.g., it has a stable equilibrium) provided that it is constrained to a subspace of its configuration space. Sliding mode control forces the system trajectories into this subspace and then holds them there so that they slide along it. This reduced-order subspace is referred to as a sliding (hyper)surface, and when closed-loop feedback forces trajectories to slide along it, it is referred to as a sliding mode of the closed-loop system. Trajectories along this subspace can be likened to trajectories along eigenvectors (i.e., modes) of LTI systems; however, the sliding mode is enforced by creasing the vector field with high-gain feedback. Like a marble rolling along a crack, trajectories are confined to the sliding mode. The sliding-mode control scheme involves 1. Selection of a hypersurface or a manifold (i.e., the sliding surface) such that the system trajectory exhibits desirable behavior when confined to this manifold. 2. Finding feedback gains so that the system trajectory intersects and stays on the manifold.

Sliding mode control Because sliding mode control laws are not continuous, it has the ability to drive trajectories to the sliding mode in finite time (i.e., stability of the sliding surface is better than asymptotic). However, once the trajectories reach the sliding surface, the system takes on the character of the sliding mode (e.g., the origin may only have asymptotic stability on this surface). The sliding-mode designer picks a switching function states are away from a sliding surface. . . A state that is outside of this sliding surface has A state that is on this sliding surface has that represents a kind of "distance" that the

The sliding-mode-control law switches from one state to another based on the sign of this distance. So the sliding-mode control acts like a stiff pressure always pushing in the direction of the sliding mode where . Desirable trajectories will approach the sliding surface, and because the control law is not continuous (i.e., it origin. So switches from one state to another as trajectories move across this surface), the surface is reached in finite time. Once a trajectory reaches the surface, it will slide along it and may, for example, move toward the the switching function is like a topographic map with a contour of constant height along which trajectories are forced to move. The sliding (hyper)surface is of dimension where is the number of states in and is the number of input signals (i.e., control signals) in given by . For each control index , there is an sliding surface

The vital part of SMC design is to choose a control law so that the sliding mode (i.e., this surface given by ) exists and is reachable along system trajectories. The principle of sliding mode control is to forcibly constrain the system, by suitable control strategy, to stay on the sliding surface on which the system will exhibit desirable features. When the system is constrained by the sliding control to stay on the sliding surface, the system dynamics are governed by reduced-order system obtained from Equation(2). To force the system states to satisfy , one must: 1. Ensure that the system is capable of reaching from any initial condition 2. Having reached , the control action is capable of maintaining the system at

Existence of closed-loop solutions

Note that because the control law is not continuous, it is certainly not locally Lipschitz continuous, and so existence and uniqueness of solutions to the closed-loop system is not guaranteed by the PicardLindelf theorem. Thus the solutions are to be understood in the Filippov sense. Roughly speaking, the resulting closed-loop system moving along is approximated by the smooth dynamics ; however, this smooth behavior may not be truly realizable. Similarly, high-speed pulse-width modulation or delta-sigma modulation produces outputs that only assume two states, but the effective output swings through a continuous range of motion. These complications can be avoided by using a different nonlinear control design method that produces a continuous controller. In some cases, sliding-mode control designs can be approximated by other continuous control designs.

Sliding mode control

Theoretical foundation
The following theorems form the foundation of variable structure control.

Theorem 1: Existence of Sliding Mode

Consider a Lyapunov function candidate

where

is the Euclidean norm (i.e.,

is the distance away from the sliding manifold where

). For the system given by Equation(1) and the sliding surface given by Equation(2), a sufficient condition for the existence of a sliding mode is that

in a neighborhood of the surface given by is picked so that makes makes and

. ), to achieve , the feedback control law

Roughly speaking (i.e., for the scalar control case when have opposite signs. That is, is positive. is negative. negative when positive when

Note that

and so the feedback control law

has a direct impact on

Reachability: Attaining sliding manifold in finite time To ensure that the sliding mode is attained in finite time, must be more strongly bounded away

from zero. That is, if it vanishes too quickly, the attraction to the sliding mode will only be asymptotic. To ensure that the sliding mode is entered in finite time,

where

and

are constants.

Explanation by comparison lemma This condition ensures that for the neighborhood of the sliding mode ,

So, for

which, by the chain rule (i.e.,

with

), means

Sliding mode control

where condition

is the upper right-hand derivative of , it must be the case that

and the symbol for all must reach

denotes proportionality. So, by with initial , . Moreover, because

comparison to the curve

which is represented by differential equation

must reach

in finite time, which means that

(i.e., the system enters the of the switching function

sliding mode) in finite time. Because

is proportional to the Euclidean norm

, this result implies that the rate of approach to the sliding mode must be firmly bounded away from zero. Consequences for sliding mode control In the context of sliding mode control, this condition means that

where becomes

is the Euclidean norm. For the case when switching function .

is scalar valued, the sufficient condition

Taking

, the scalar sufficient condition becomes

which is equivalent to the condition that . That is, the system should always be moving toward the switching surface , and its speed toward the

switching surface should have a non-zero lower bound. So, even though may become vanishingly small as approaches the surface, must always be bounded firmly away from zero. To ensure this condition, sliding mode controllers are discontinuous across the another as trajectories cross the manifold. manifold; they switch from one non-zero value to

Theorem 2: Region of Attraction

For the system given by Equation(1) and sliding surface given by Equation(2), the subspace for which the surface is reachable is given by

That is, when initial conditions come entirely from this space, the Lyapunov function candidate Lyapunov function and trajectories are sure to move toward the sliding mode surface where

is a .

Moreover, if the reachability conditions from Theorem 1 are satisfied, the sliding mode will enter the region where is more strongly bounded away from zero in finite time. Hence, the sliding mode will be attained in finite time.

Sliding mode control

Theorem 3: Sliding Motion

Let

be nonsingular. That is, the system has a kind of controllability that ensures that there is always a control that can move a trajectory to move closer to the sliding mode. Then, once the sliding mode where is achieved, the system will stay on that sliding mode. Along sliding mode trajectories, trajectories are described by the differential equation . If an -equilibrium is stable with respect to this differential equation, then the system will slide along the sliding mode surface toward the equilibrium. The equivalent control law on the sliding mode can be found by solving is constant, and so sliding mode

for the equivalent control law

. That is,

and so the equivalent control

That is, even though the actual control is not continuous, the rapid switching across the sliding mode where forces the system to act as if it were driven by this continuous control. Likewise, the system trajectories on the sliding mode behave as if

The resulting system matches the sliding mode differential equation

and so as long as the sliding mode surface where assumed to follow the simpler

is stable (in the sense of Lyapunov), the system can be only

condition after some initial transient during the period while the system finds

the sliding mode. The same motion is approximately maintained provided the equality

approximately holds. It follows from these theorems that the sliding motion is invariant (i.e., insensitive) to sufficiently small disturbances entering the system through the control channel. That is, as long as the control is large enough to ensure that and is uniformly bounded away from zero, the sliding mode will be maintained as if there was no disturbance. The invariance property of sliding mode control to certain disturbances and model uncertainties is its most attractive feature; it is strongly robust. As discussed in an example below, a sliding mode control law can keep the constraint

in order to asymptotically stabilize any system of the form

when

has a finite upper bound. In this case, the sliding mode is where

Sliding mode control (i.e., where ). That is, when the system is constrained this way, it behaves like a simple stable linear origin.

system, and so it has a globally exponentially stable equilibrium at the

Control design examples

Consider a plant described by Equation(1) with single input to be the linear combination (i.e., ). The switching function is picked

where the weight

for all

. The sliding surface is the simplex where

. When

trajectories are forced to slide along this surface, and so

which is a reduced-order system (i.e., the new system is of order this

because the system is constrained to ). Taking the

-dimensional sliding mode simplex). This surface may have favorable properties (e.g., when the

plant dynamics are forced to slide along this surface, they move toward the origin derivative of the Lyapunov function in Equation(3), we have

To ensure

is a negative-definite function (i.e., must be chosen so that

for Lyapunov stability of the surface

), the

feedback control law

Hence, the product

because it is the product of a negative and a positive number. Note that

The control law

is chosen so that

where is some control (e.g., possibly extreme, like "on" or "forward") that ensures Equation(5) (i.e., negative at is some control (e.g., possibly extreme, like "off" or "reverse") that ensures Equation(5) (i.e., positive at The resulting trajectory should move toward the sliding surface where ) is ) is

. Because real systems have

delay, sliding mode trajectories often chatter back and forth along this sliding surface (i.e., the true trajectory may not smoothly follow , but it will always return to the sliding mode after leaving it). Consider the dynamic system

Sliding mode control which can be expressed in a 2-dimensional state space (with and ) as

Also assume that choose the switching function

(i.e.,

has a finite upper bound

that is known). For this system,

By the previous example, we must choose the feedback control law

so that

. Here,

When When

(i.e., when (i.e., when

), to make ), to make

, the control law should be picked so that , the control law should be picked so that

However, by the triangle inequality,

and by the assumption about

So the system can be feedback stabilized (to return to the sliding mode) by means of the control law

which can be expressed in closed form as

Assuming that the system trajectories are forced to move so that

, then

So once the system reaches the sliding mode, the system's 2-dimensional dynamics behave like this 1-dimensional system, which has a globally exponentially stable equilibrium at .

Sliding mode observer

Sliding mode control can be used in the design of state observers. These non-linear high-gain observers have the ability to bring coordinates of the estimator error dynamics to zero in finite time. Additionally, switched-mode observers have attractive measurement noise resilience that is similar to a Kalman filter. For simplicity, the example here uses a traditional sliding mode modification of a Luenberger observer for an LTI system. In these sliding mode observers, the order of the observer dynamics are reduced by one when the system enters the sliding mode. In this particular example, the estimator error for a single estimated state is brought to zero in finite time, and after that time the other estimator errors decay exponentially to zero. However, as first described by Drakunov, a sliding mode observer for non-linear systems can be built that brings the estimation error for all estimated states to zero in a finite (and arbitrarily small) time. Here, consider the LTI system

Sliding mode control

where state vector is a scalar equal to the first state of the

, state vector. Let

is a vector of inputs, and output

where is a scalar representing the influence of the first state on itself, is a column vector representing the influence of the other states on the first state, is a matrix representing the influence of the other states on themselves, and is a row vector corresponding to the influence of the first state on the other states.

The goal is to design a high-gain state observer that estimates the state vector using only information from the measurement . Hence, let the vector be the estimates of the states. The observer takes the form where Likewise, let is a nonlinear function of the error between estimated state and the output , and

is an observer gain vector that serves a similar purpose as in the typical linear Luenberger observer.

where error. That is,

is a column vector. Additionally, let . The error dynamics are then

be the state estimator

where

is the estimator error for the first state estimate. The nonlinear control law

can be designed

to enforce the sliding manifold so that estimate switching function tracks the real state after some finite time (i.e., ). Hence, the sliding mode control

To attain the sliding manifold, However,

and

must always have opposite signs (i.e.,

for essentially all

).

where To ensure that where , let

is the collection of the estimator errors for all of the unmeasured states.

That is, positive constant

must be greater that a scaled version of the maximum possible estimator errors for the can be picked large enough; al). If is

system (i.e., the initial errors, which are assumed to be bounded so that

Sliding mode control sufficiently large, it can be assumed that the system achieves as well. Hence, the discontinuous control (i.e., ). Because

10

is constant (i.e., 0) along this man where

may be replaced with the equivalent continuous control

So

This equivalent control state

represents the contribution from the other

states to the trajectory of the output

. In particular, the row

acts like an output vector for the error subsystem

So, to ensure the estimator error be chosen so that the

for the unmeasured states converges to zero, the matrix

vector

must

is Hurwitz (i.e., the real part of each of its

eigenvalues must be negative). Hence, provided that it is observable, this system can be stabilized in exactly the same way as a typical linear state observer when is viewed as the output matrix (i.e., " "). That is, the equivalent control provides measurement information about the unmeasured states that can continually move their estimates asymptotically closer to them. Meanwhile, the discontinuous control forces the estimate of the measured state to have zero error in finite time. Additionally, white zero-mean symmetric measurement noise (e.g., Gaussian noise) only affects the switching frequency of the control , and hence the noise will have little effect on the equivalent sliding mode control . Hence, the sliding mode observer has Kalman filterlike features. The final version of the observer is thus

where , , and . with the switching function , the sliding mode observer is viewed as a control input

That is, by augmenting the control vector

can be implemented as an LTI system. That is, the discontinuous signal

to the 2-input LTI system. For simplicity, this example assumes that the sliding mode observer has access to a measurement of a single state (i.e., output ). However, a similar procedure can be used to design a sliding mode observer for a vector of

Sliding mode control weighted combinations of states (i.e., when output manifold where the estimated output uses a generic matrix

11 ). In each case, the sliding mode will be the

follows the measured output

with zero error (i.e., the manifold where

Notes
[1] Other pulse-type modulation techniques include delta-sigma modulation.

References Further reading

Acary, V.; Brogliato, B. (2008). Numerical Methods for Nonsmooth Dynamical Systems. Applications in Mechanics and Electronics. Heidelberg: Springer-Verlag, LNACM 35. ISBN978-3-540-75391-9. Drakunov S.V., Utkin V.I.. (1992). "Sliding mode control in dynamic systems" (http://www.tandfonline.com/ doi/abs/10.1080/00207179208934270?journalCode=tcon20#.UbOFHlF_mf4). International Journal of Control 55 (4): 10291037. doi: 10.1080/00207179208934270 (http://dx.doi.org/10.1080/ 00207179208934270). Edwards, Cristopher; Fossas Colet, Enric; Fridman, Leonid, eds. (2006). Advances in Variable Structure and Sliding Mode Control. Lecture Notes in Control and Information Sciences. vol 334. Berlin: Springer-Verlag. ISBN978-3-540-32800-1. Edwards, C.; Spurgeon, S. (1998). Sliding Mode Control: Theory and Applications. London: Taylor and Francis. ISBN0-7484-0601-8. Utkin, V.I. (http://www.ece.osu.edu/~utkin/) (1992). Sliding Modes in Control and Optimization. Springer-Verlag. ISBN978-0-387-53516-6. Zinober, Alan S.I., ed. (1994). Variable Structure and Lyapunov Control. London: Springer-Verlag. doi: 10.1007/BFb0033675 (http://dx.doi.org/10.1007/BFb0033675). ISBN978-3-540-19869-7.

Article Sources and Contributors

12

Article Sources and Contributors

Sliding mode control Source: http://en.wikipedia.org/w/index.php?oldid=568389228 Contributors: Adlab, Ariel56, BD2412, Charles Matthews, CryptoDerk, Gaius Cornelius, GoingBatty, J04n, Jdsanch1, Jiuguang Wang, Jni, Joyous!, Latexcat, MusikAnimal, Nillerdk, Ohconfucius, Oleg Alexandrov, Paul August, Pawlowiec, Peter Grey, R'n'B, Rich Farmbrough, Shamsung, TedPavlic, Wik, 47 anonymous edits

Image Sources, Licenses and Contributors

File:First order sliding mode control.svg Source: http://en.wikipedia.org/w/index.php?title=File:First_order_sliding_mode_control.svg License: Creative Commons Attribution-Sharealike 3.0 Contributors: Nillerdk (talk) 20:13, 30 October 2009 (UTC)

License
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/