Pole-Placement in Higher-Order Sliding-Mode Control
Pole-Placement in Higher-Order Sliding-Mode Control
Pole-Placement in Higher-Order Sliding-Mode Control
Pole-Placement in
Higher-Order Sliding-Mode Control
Debbie Hern
andez Fernando Casta
nos Leonid Fridman
Abstract: We show that the well-known formula by Ackermann and Utkin can be generalized
to the case of higher-order sliding modes. By interpreting the eigenvalue assignment of the
sliding dynamics as a zero-placement problem, the generalization becomes straightforward and
the proof is greatly simplified. The generalized formula retains the simplicity of the original one
while allowing to construct the sliding variable of a single-input linear time-invariant system in
such a way that it has desired relative degree and desired sliding-mode dynamics. The formula
can be used as part of a higher-order sliding-mode control design methodology, achieving high
accuracy and robustness at the same time.
Keywords: Pole-Placement; Sliding-mode control; Robust stability.
1. INTRODUCTION
Sliding-Mode Control (SMC) is by now well known for
its robustness properties in the face of unmatched perturbations and uncertainties (Edwards and Spurgeon, 1998;
Utkin et al., 1999). In the SMC approach the designer
first chooses an output with well-defined relative degree
and such that the system is minimum phase. On a second
step, the designer devises a control law that drives the
output to zero. Phase minimality then ensures that the
system states go to zero along with the output. A salient
feature of SMC is that the output (sliding variable in the
SMC literature) is driven exactly to zero in finite time,
even in the presence of matched perturbations.
Conventional SMC is restricted to outputs of relative degree equal to one 1 . In contrast, modern SMC theory (i.e.,
Higher-Order Sliding-Mode Control (HOSMC)) allows for
sliding variables with relative degree higher than one (Levant, 2003).
Conventional SMC theory is fairly complete in the sense
that there exist several methods for choosing a sliding variable with desired zero dynamics (sliding-mode dynamics in
the SMC literature). One possibility is to put the system
in the so-called regular form and use part of the state
as a virtual control that will realize the desired slidingmode dynamics on a lower dimensional system (Utkin
et al., 1999, Sec. 5.1). If the system is single-input, a
sliding variable with desired sliding-mode dynamics can
be found without recourse to a coordinate transformation,
using the formula by Ackermann and Utkin (1998). A third
possibility is to use the more recent formula presented
Research supported by Conacyt, Mexico.
1 This restriction can be also found, e.g., in passivity based control:
It was shown by Byrnes and Isidori (1991) that a system is feedback
equivalent to a passive system if, and only if, it is minimum phase
and its output is of relative degree one.
1386
+ 2(||
+ ||2/3 )1/2 ( + ||2/3 sign())
, (1)
u = k0
|
| + 2(||
+ ||2/3 )1/2
with > 0 high enough, drives the state to zero in finite
time, regardless of w.
The computation of a sliding variable of relative degree
equal to the dimension of the plant was simple because
the system is in a canonical form. This suggests that,
for a general linear controllable system, we first put
it in controller canonical form and then take the state
with highest relative degree as the sliding variable. In
this way, the extreme case of relative degree equal to
the systems dimension (no sliding dynamics) can be
covered systematically. The other extreme case, that of
relative degree 1 (sliding dynamics of codimension 1),
can be covered using Ackermann and Utkins formula.
Note, however, that there is no systematic method for
constructing a sliding variable of intermediate relative
degree (in our example, of relative degree 2). To such a
sliding variable there would correspond a sliding dynamics
of dimension 1. This dynamics can be enforced with
a controller much simpler than (1), thus arriving at a
fair compromise between order reduction and controller
complexity.
1.2 Contribution
Our main contribution, Theorem 3, concerns single-input
linear time-invariant (LTI) systems. The selection of the
sliding variable is interpreted as a zero-placement problem,
which allows us to generalize the formula of Ackermann
and Utkin to the case of arbitrary relative degree. Our
proof is simpler (more insightful) than the proof of the
original problem. The formula makes it possible for the designer to construct a sliding variable with desired slidingmode dynamics of arbitrary dimension.
For the case of relative degree 2 in our motivational
example above, application of Theorem 3 to a sliding
dynamics with desired eigenvalue -1 gives the sliding
surface = x1 +x2 . The sliding dynamics can be enforced,
e.g., with the twisting controller u = x3 k0 sign()
k1 sign(),
where k0 and k1 are high enough to reject w.
1.3 Paper Structure
In the following section we give some preliminaries on
relative degree, zero dynamics and SMC. The section is
included mainly to set up the notation and to provide
some context for our main result, which is contained in
Section 3. Section 4 provides a thorough example and the
conclusions are given in Section 5.
2. PRELIMINARIES
Consider the LTI system
x = Ax + B(u + w) , x Rn , u, w R ,
(2a)
where x is the state, u the control and w the unknown
perturbation at time t (we omit the time arguments). The
pair (A, B) is assumed to be controllable. Suppose that
we want to steer x to zero despite the presence of w.
The problem can be approached in two steps: First, find a
virtual output
= Cx , R
(2b)
such that 0 implies x 0 as t . Next, design
a feedback control law that ensures that 0 either as
t or as t T , T > 0, depending on the desired
degree of smoothness and robustness of the controller.
2.1 Relative degree and zero dynamics
Recall that (2) is said to have relative degree r if
CAi1 B = 0, 1 i < r and CAr1 B 6= 0. If (2)
has relative degree r, then it is possible to take and
its successive r 1 time-derivatives as a partial set of
coordinates 1 , . . . , r . More precisely, there exists a fullrank matrix B R(nr)n
suchthat B B = 0 and
B
C
=
x = Tx
..
.
r1
CA
is a coordinate transformation, that is, T is invertible (Isidori, 1996, Prop. 4.1.3). It is straightforward to
verify that, in the new coordinates, system (2) takes the
normal form
0
A0 + B0
1
0
2
..
.
.
(u + w) (3a)
..
..
+
. =
r1
0
r
r
r1
CA x
CA B
r
= 1 .
(3b)
The dynamics = A0 , Rnr , are the zero dynamics.
It is well known (Marino and Tomei, 1995, Ex. 4.1.3) that
the eigenvalues of A0 coincide with the zeros of the transfer
function
g(s) = C(sI A)1 B .
If the zeros of g(s) have real part strictly less than zero,
we say that the system is minimum phase. Thus, we can
reformulate our first step as: find a virtual output such
that (2) has stable zeros at desired locations.
2.2 Sliding-mode control
If |w| is majored by a known bound, then the robust
stabilization objective can be accomplished using nonsmooth control laws (solutions of differential equations with
discontinuous right-hands are taken in Fillipovs sense).
In conventional first-order SMC (Utkin et al., 1999), the
search for is confined to outputs of relative degree one
and the control takes the form 2
2
1387
CAx + k0 sign(1 )
(4)
CB
with k0 > |w|. This control law guarantees that will
reach zero in a finite time T and will stay at zero for all
future time, regardless of the presence of w. The matrix
C can be set using the formula by Ackermann and Utkin,
recalled in the following theorem.
Theorem 1. (Ackermann and Utkin (1998)). Let
e1 := [0 0 0 1]
and let P be the systems controllability matrix. If C =
e1 P 1 (A) with () = n1 + n2 n2 + + 1 + 0 ,
then the roots of () are the eigenvalues of the slidingmode dynamics in the plane = 0.
u=
u=
k =0
1 =0
1 B
is equal to (s).
numerator of g(s) = C(sI
A)
It is a standard result that, for a system in controller
canonical form, we have Williams and Lawrence (2007)
e1 P 1 = [1 0 0 0]
[1 0 0 0] A
= [0 1 0 0]
..
.
(8)
[1 0 0 0] An2 = [0 0 1 0]
[1 0 0 0] An1 = [0 0 0 1] .
It then follows that
C = [0 1 nr1 1 0 0] .
B
and C are in controller canonical form, the
Since A,
transfer function is simply
snr + nr1 snr1 + + 1 s + 0
g(s) =
,
sn + an1 sn1 + + a1 s + a0
which shows that the relative degree is r. Since the
numerator is equal to (s), the eigenvalues of the slidingmode dynamics are equal to the roots of (s).
1388
4
2
0
-2
-4
-6
0.1
0.01
0
-5
0.001
-10
20
0.0001
0
-20
-40
0
1e-05
0.001
Fig. 1. Simulation results for a first-order sliding mode controller. The system is perturbed by w = 0.5 sin(10t).
The control (4) is sampled and held every = 0.001
seconds.
Now, to address the general case, consider the transformation T = P P 1 , which is such that A = T 1 AT . We have
1 , that is, C = e1 P 1 (A)T
1 . Finally, from
C = CT
1
1
1
= T (A)T we recover (7).
P = P T and (A)
4. EXAMPLE
Consider the linearized model of a real inverted pendulum
on a cart (Fantoni and Lozano, 2002)
0
01 0 0
0.97
0 0 1.56 0
(u + w) ,
(9)
x+
x =
0
0 0 0 1
3.98
0 0 46.87 0
where x1 , x2 , x3 and x4 are the position and velocity of
the cart, and the angle and angular velocity of the pole,
respectively. The system is controllable and the open-loop
characteristic polynomial is 2 (+6.85)(6.85). Suppose
that we want to regulate the state to zero, in spite of any
perturbations satisfying the bound |w| 1.
4.1 First-order sliding mode control
Consider the problem of designing a first-order sliding
mode controller with sliding-mode dynamics having eigenvalues zi = 5, i = 1, 2, 3. Applying (7) with () = ( +
5)3 gives
C = [3.2002 1.9201 4.5411 0.7166] ,
which in turn yields the expected transfer function
3
(s + 5)
.
2
s (s + 6.85)(s 6.85)
To enforce a sliding motion on the surface = 0 we apply
the control (4) with k0 = 10. Fig. 1 shows the simulated
response when
w = sin(10t) and x
0 = [1 1 1 1]
g(s) = C (sI A)
0.01
10
B=
i = 0, . . . , r 1 .
g(s) =
(s + 5)
.
2
s (s + 6.85)(s 6.85)
Fig. 3 shows the simulated response for the same perturbation, initial conditions and sampling time as before. It can
be seen that, once the state reaches the sliding surface, the
state converges exponentially to the origin, again despite
w. Fig. 4 shows the system accuracy for several sampling
times and several actuator time-constants. Inequality (6)
is again verified.
1389
4
2
0
-2
-4
4
2
0
-2
-4
2
1
0
-1
-2
-3
-4
20
10
0
-10
-20
-30
-40
0
2
1
0
-1
-2
20
10
0
-10
-20
-30
0
10
10
0.1
0.01
0.01
0.001
0.0001
0.0001
1e-05
1e-06
1e-07
1e-06
0.001
0.01
1e-08
0.001
+ 2(||
+ ||2/3 )1/2 ( + ||2/3 sign())
10
|
| + 2(||
+ ||2/3 )1/2
(11)
Fig. 5 shows the simulated response for the same perturbation, initial conditions and sampling time as before. Again,
the state converges exponentially to the origin once the
state reaches the sliding surface, despite w.
0.01
1390
REFERENCES
Ackermann, J. and Utkin, V. (1998). Sliding mode control
design based on Ackermanns formula. IEEE Trans.
Autom. Control, 43, 234 237.
Bartolini, G., Pisano, A., Punta, E., and Usai, E. (2003).
A survey of applications of second-order sliding mode
control to mechanical systems. Int. J. Control, 76:9-10,
875 892.
Byrnes, C.I. and Isidori, A. (1991). Asymptotic stabilization of minimum phase nonlinear systems. IEEE Trans.
Autom. Control, 36, 11221137.
Veselic, B., and Gligic,
Drazenovic, B., Milosavljevic, C.,
V. (2012). Comprehensive approach to sliding subspace
design in linear time invariant systems. In Proc. of
the Variable Structure Systems Workshop, 473 478.
Mumbai, India.
Edwards, C. and Spurgeon, S.K. (1998). Sliding mode
control: theory and applications. CRC, Padstow, UK.
Fantoni, I. and Lozano, R. (2002). Non-Linear Control
for Underactuated Mechanical Systems. Springer-Verlag,
London.
Isidori, A. (1996). Nonlinear Control Systems. SpringerVerlag, London, U.K.
Laghrouche, S., Plestan, F., and Glumineaub, A. (2007).
Higher order sliding mode control based on integral
sliding mode. Automatica, 43, 531 537.
Levant, A. (2003). Higher-order sliding modes, differentiation and output-feedback control. Int. J. Control, 76,
924941.
Levant, A. (2005). Quasi-continuous high-order slidingmode controllers. IEEE Trans. Autom. Control, 50, 1812
1816.
Levant, A. (2010). Chattering analysis. IEEE Trans.
Autom. Control, 55, 1380 1389.
Levant, A. and Michael, A. (2009). Adjustment of highorder sliding-mode controllers. Int. J. Robust Nonlinear
Control, 19, 16571672.
Marino, R. and Tomei, P. (1995). Nonlinear Control
Design: Geometric, Adaptive, and Robust. PrenticeHall.
Moreno, J.A. and Osorio, M. (2012). Strict Lyapunov
functions for the super-twisting algorithm. IEEE Trans.
Autom. Control, 57, 1035 1040.
Orlov, Y. (2009). Discontinuous Systems, Lyapunov Analysis and Robust Synthesis under Uncertainty Conditions. Springer-Verlag, London.
Pisano, A. and Usai, E. (2011). Sliding mode control:
A survey with applications in math. Mathematics and
Computers in Simulation, 81, 954 979.
Utkin, V., Guldner, J., and Shi, J. (1999). Sliding Modes in
Electromechanical Systems. Taylor & Francis, London,
U.K.
Williams, R.L. and Lawrence, D.A. (2007). Linear statespace control systems. John Wiley & Sons, Inc., New
Jersey.
1391