ASME Terminal Sliding Modes Paper
ASME Terminal Sliding Modes Paper
net/publication/224659845
CITATIONS READS
112 169
2 authors:
All content following this page was uploaded by Venkat Shastri on 19 April 2022.
1 ^
"
±-
B —
• _
_ ^
f
^ *
Many robotic systems would, in the future, be reuqired to
* 1
operate in environments that are highly unstructured and ac-
tive, i.e., possessing means of self-actuation. Although a sig-
-2
nificant volume of results exist in model-based, robust and
Tine (5ec>
a e . ' 2 e . ' 4 0.6 a.B I adaptive control literature, general issues pertinent to the per-
Fig. 4 (a) The trajectory of switching variables. (1: s„ 2: s2); (o) the formance of such control systems remain unresolved, e.g.,
trajectories of V(t), (1: V, 2: V, controls start at / = 0) feasibility of implementing high gain switches for control ro-
bustness. It is also pointed out that in certain applications,
control switching can be very detrimental to the overall system.
The primary focus of this paper is development of a new
posed DVSC can not only stabilize the large-scale system approach to control synthesis for robust robot operations in
globally and robustly but also assign the hitting time of the unstructured environments. To enhance control performance
system and the convergence rate of a Lyapunov function formed with full model information, we introduce the notion of ter-
by the local switching vectors. Furthermore, the DVSC is in minal convergence, and develop control laws based upon a
a decentralized form which makes design simple and com- new class of sliding modes, denoted terminal sliders. We dem-
putation efficient. onstrate that terminal sliders provide robustness to parametric
uncertainty without having to resort to high frequency control
Acknowledgments switching, as in the case of conventional sliders [2]. In addition,
stability analysis that is conducted to demonstrate terminal
The authors would like to thank referees for their careful slider approach results in improved control performance and
review and valuable comments. The research sponsored by the allows for simple robust design of control parameters. Further,
National Science Council of Taiwan R.O.C. under contract improved (guaranteed) precision of terminal sliders is argued
NSC 80-0404-E008-05 is also sincerely acknowledged. for through an analysis of steady state behavior.
References
Barmish, B. R., and Leitman, G., 1982, "On Ultimate Boundedness Control
of Uncertain Systems in the Presence of Matching Assumptions," IEEE Trans-
actions on Automatic Control, Vol. AC-27, pp. 153-158. 1 Introduction
DeCarlo, R. A., Zak, S. H., and Matthews, G. P., 1988, "Variable Structure
Control of Nonlinear Multivariable Systems: A Tutorial," Proceedings of IEEE, Many robotic systems would, in the future, be required to
Vol. 76, pp. 212-232. operate in environments that are highly unstructured with vary-
Dorling, C M . , and Zinober, A. S. I., 1986, "Two Approaches to Hyperplane ing dynamical properties, and active, i.e., possessing means
Design in Multivariable Structure Control Systems," International Journal of of self-actuation. The development of control technologies for
Control, Vol. 44, pp. 65-82.
Gutman, S., and Palmor, Z., 1982, "Properties of Min-Max Controllers in unpredictable environments is a critical first step in our efforts
Uncertain Dynamical Systems," SIAM Journal of Control and Optimization, to architect robust autonomous robotic systems. Specifically,
Vol. 20, pp. 850-861. algorithms devised for such a purpose must exhibit (i) ro-
Khurana, H., Ahson, S. I., and Lamba, S. S., 1986, "On Stabilization of bustness to parametric uncertainties in dynamic models, and
Large-Scale Control Systems Theory," IEEE Transactions on Automatical Con-
trol, Vol. AC-31, pp. 176-178. (ii) the ability to adapt rapidly enough (to parametric varia-
Lefebvre, S., Richter, S., and DeCarlo, R. A., 1983, "Decentralized Variable tions) in order to ensure operational performance. Although
Structure Control Design for a Two-Pendulum System," IEEE Transactions on a significant volume of results may be found in literature for
Automatical Control, Vol. AC-28, pp. 1112-1114. the aforementioned twin problems (robust control and adap-
Madani-Esfahani, S. M., Hached, M., and Zak, S. H., 1990, "Ultimate
Boundedness and Asymptotic Stability of Uncertain Dynamical Systems via
Variable Structure Control Approach," Proceedings, 1990, Automatic Control 'Machine Intelligence Applications Group and Neural Computation and Non-
Conference, San Diego, CA, pp. 2229-2234. linear Science Group, respectively, Jet Propulsion Laboratory, California In-
Matthews, G. P., and DeCarlo, R. A., 1988, "Decentralized Tracking for a stitute of Technology, Pasadena, CA 91109.
Class of Interconnected Nonlinear Systems Using Variable Structure Control," Contributed by the Dynamic Systems and Control Division of THE AMERICAN
Automatica, Vol. 24, pp. 187-193. SOCIETY OF MECHANICAL ENGINEERS. Manuscript received by the Dynamic Sys-
Mohammad, J., 1983, Large-Scale Systems: Modeling and Control, North- tems and Control Division January 11, 1991; revised manuscript received July
Holland. 27, 1992. Associate Technical Editor: S. Jayasuriya.
3 Sliding Mode Control tems, the concept of terminal attractors was introduced in [23].
The concept of applying sliding modes to control emerged Since then it has demonstrated considerable success in neural
from earlier work on variable structure systems, notably [7]. learning [4], It has the basic form of a cubic parabola:
In principle, it revolves around the choice of a control law x=~xxn (3)
that forces the closed-loop system behavior to be identical to
a sliding surface. Typically, the closed-loop system dynamics with an equilibrium point at x = 0. Integrating between /initiai
represents controlled system error behavior. As a result, one and t.equilibrium*
can model closed-loop behavior through an appropriate choice
of sliding surfaces. If a sliding surface 5 is chosen such that s ttequilibrium" .,.••initial/
.. , \ _ £
~ *
y?/:
A
;
(4)
= e + Xe = 0, where e is the trajectory error, then exponential
error convergence occurs. Consider, for example, the system This implies that Eq. (4) settles into equilibrium in finite time!
[2] This property has also been applied in [11] for finite time
x=f(x)+u (1) control of distributed parameter systems. The better conver-
gence results from increased local stability. A detailed discus-
where x is the system state and u is the control. A control law sion on terminal attractor may be found in [23].
of the form u = u0 = -f + xd - Xe will result in s = 0. The most general form for a first order terminal attractor
If, s(t0), the initial condition is zero then system converges would be x + X(x) = 0, where X is bounded for bounded
exponentially. When s(t0) ^ 0, a control switch of the form x, Sgn(.Y) = Sgrw and dX/dx — oo as x — 0. Such systems
K Sgn(s), K > 0 may be added to u0 to force the system to are Lipschitzian in any e neighborhood of the equilibrium
converge toward the sliding surface [2]. At s = 0, the switch point, but are non-Lipschitzian at the equilibrium point itself.
is deactivated, and the previous arguments apply. It can be An intuitive argument about the dynamic behavior of such
shown that the system will reach the sliding surface in finite systems is provided in [24]. The actual extensions of GronwalPs
time [2]. conditions for a formal proof of the terminal stability are to
In the presence of parametric uncertainties where only/, an be dealt elsewhere. To analyze such systems using Lyapunov
estimate on/is available, control law takes the following form: methods, we postulate the following. Given a dynamical system
u = u- KSgn{s) of the form x + X(x) = 0, and a Lyapunov function candidate
V(x), where Fis bounded for bounded x, II V(x ^0)11 > 0,
= -f+xd-\e-KSgn(s) (2) II K(* = 0)11 = 0, if
which yields s = / - / - K Sgn(s). By choosing K > 11/ — V+V(V)=0 (5)
/ll, Lyapunov stability and convergence toward the sliding such that V(-) has the terminal attractor property elucidated
surface [2] can be ensured. The closed-loop system does not above, the dynamical system is terminally stable. For example,
actually stay on the sliding surface (upon reaching these), since the system x = -x[/5 would be terminally stable since V =
at 5 = 0, i ^ 0 it chatters in the neighborhood of the sliding x6/5 implies V = -6/5Vl/3. In this work, we exploit terminal
surface [2]. Conventional sliding mode control, therefore, attractors of the form x = ax0"/l3d, where, a > 0 and /3„, (3d
guarantees exponential stability with full model information, = (2/ + 1), where ;' € I, and 0d > /3„. Figure 1 describes
and asymptotic stability in the presence of uncertainties. The terminal attractors with various convergence rates. Curves 1
design of interpolation regions is typically performed off-line and 2 portray attractor behavior Galedon different initial con-
using bounds on uncertainty and the expected system response ditions. Note that (•)' is the conventional counterpart of curve
in the neighborhood of the sliding surface. 1. Curves 3 and 4 portray the effect of attractor gain a.
4 Terminal Sliders
In this section, we develop the concept of terminally sliding 5 Terminal Control
surfaces from first principles, and apply them to control syn- We now utilize the tools developed in the preceding section
thesis for nonlinear systems. The performance thus obtained to develop a new class of sliding mode controllers. Their per-
will be compared to those with the conventional sliding mode formance is compared with the conventional sliding mode sum-
control. To enhance convergence properties of dynamical sys- marized in the previous section. The system in Eq. (1) will be
e + afV"^-'* -0 (7)
Pd
For the above system design a sliding surface s, such that
si=ei + aef»/<i<i = 0 (8)
u = xd + a / (9)
ft/
Now for the control signal u to be bounded, for a bounded
e, the exponent of e must be positive. This implies Fig. 2 Dynamic terminal attractor behavior
Journal
Downloaded From: of Dynamic Systems, Measurement,
https://dynamicsystems.asmedigitalcollection.asme.org and Control
on 11/28/2018 SEPTEMBER 1993,
Terms of Use: http://www.asme.org/about-asme/terms-of-use Vol. 115 / 557
y= [(A_.ys'V6rf)2T!n/irf-1]7
T=-H(q)(q + a^ e^/fs"-' e +y (k + a A 7 ^
dY
$o ei-On/Od + ^ H - T ^ ^ - i
+ C(q,q)q + G(q) (15) ydx aj3„ dxj ' 8d
= [(A - ySd"/Sd) lr, ,r,
n d ~ '] T
This would result in i + yss"/dd = 0, which is terminally
stable.
When model information is not accurate, the issue of control x(AM^-^5V^-')(A-7^/6d) (22)
robustness must be considered. Only additive uncertainties are
considered in the following discussions. Multiplicative uncer- where,
tainties (e.g., in robot inertias).are deferred to future work.
Such effects are typically reflected in the system's control gains. /V0d. dY
For additional information refer to [2], [19], [16]. We analyze ds dx a/3„ dx'
the example system in Eq. (1) and extrapolate its results to
Note that Eq. (21) implied that as the error reduces, d Y/ds
control of robot manipulators with uncertainties in the coriolis
decreased since the term dY/dx is multiplied by a decaying
and gravitational terms. Consider the dynamic slider control
error term. When AM dY/ds - ybn/&d s V ^ 1 < 0 (in Eq.
law in Eq. (11), derived estimate on/(denoted by J)
(22)). The closed loop system becomes terminally stable, since
^gUn^d-'-
-.,.«.,/«,/
V= - cVn"'nd where c > 0, ?j„ and r]d are as defined previously.
u = xd- 'e-y<f„'<-<i-f
a (16) When
fid
When substituted in Eq. (1), the control law in Eq. (16) yields 9A -1^1 ,AA/-'
— = 0,
a nonhomogeneous dynamic terminal slider equation of the ds'
form
the system is neutrally stable and remains within bounded error
i= -ysSn/sd+^ (17)
for bounded dA/ds.
We now discuss the design of parameters a, f3„, f3d, S, y„,
where A = (/" — / ) . To analyze the stability properties of the and yd for terminally stable, closed loop system response. Con-
closed-loop system in Eq. (17), consider a Lyapunov function sider the expression
V of the form
dY dY pd
V={A-ys°> (18) ei-Pn/f>d + — (23)
ds dx a(5„ dx
where n„, -qd are as defined previously, \V(A, s)ll = Oand A The first step is to choose the terminal exponent parameters
= ys5" d, and II V\\ > 0 everywhere else For bounded s, II Kll ft, and /3</. Subsequently, a choice of the terminal slider gain,
is bounded since A the uncertainty, i.e. bounded. DiffBren- a, may be made using:
dating Eq. (18), we get
d_A a>— e /VPd (24)
t s [ ( A - y "•' n0 rd\f ln) ld-
s /s 2r /r
>1 A/5rf_ (19) Pa
dt~ ' Sd Note that the norm of the error has not been used in Eq. (24)
An important observation that may be made is that if A is a since the exponent term removes the sign anyway. Also, a
time invariant constant, the closed-loop system is terminally strictly "greater than" has been used instead of > since \/a
stable since dA/dt = 0, driving V = -cV"'"11 in the preceding must be bounded for all e. The second step is to choose ap-
empression c > 0, ?j„ and ijd are as defined previously. propriate values needed to be chosen for 8„ and 8d. For terminal
The stability analysis when dA/dt ^ 0, may be performed stability,
as follows: It is well known that robots are passive systems, dY
and that the terms / , C, and G in Eq. (13) are such that the ^1 s ^ d '<0 (25)
joint velocities and transcendental functions involving joint ds~ 8d
positions are linearly separable from link lengths, masses and A choice of 7 that satisfied the condition in Eq. (25) is
inertias [3] and [5]. It is reasonable to assume that the model
dY dY &d
cl"V«d
uncertainties arising from incorrect estimation to link lengths, 7> (26)
link masses, and link inertias would have a substantially larger dx dx 8,,'
effect than the uncertainties in the computation of transcen-
dental functions. Consequently, A may be expressed using For robust control, the choice of y must be made using the
T bounds on values of various parameters. Say,
A = (M-M) Y(x, x) (20)
dY dY &d
y> II A* -V«d (27)
where Yis a matrix of joint velocities and transcendental func- dx dx
tions of joint positions M is denoted a vector of link masses,
moments and inertias, while M is the estimated value of M. The above condition ensures terminally stable robust control
Let AM denote M - M'. The term dA/dt in Eq. (19) may be of robots with prior knowledge on the bounds uncertainty in
expressed as link masses, moments, inertia, dY/dx and dY/dx.
dYdx ___
dYdx_ The implications of the proposed terminal slider robust con-
d A
A trol law may be analyzed as follows. Since the stability prop-
a7 = A " dx ds dx ds erties of the system in Eq. (17) depend on dA/dt, the system
is robust to configuration and/or velocity independent effects
(dY (3rf , R /a dY\ such as Coulomb friction. Second, the stability of the system
(21) depends upon the term AM d Y/ds (denoted henceforth by 9A/
\dx ap„ dxj
ds) in Eq. (22), rather than the magnitude of A itself, as in
dY/dx, dY/dx, and Y are bounded and the derivatives are conventional sliders. This implies an accommodation of the
known to be continuous. Since AM in the above empression, controller to the first order dynamics of the uncertainty itself.
represents the effect of mass, moment and inertia it is bounded. Further, as the system converges its ability to accommodate
Substituting Eq. (21) into (19), we get dA/ds increases. This is due to the fact that the stability prop-
(A\S«/5"\
(29)
Typically Amin/"ya « 1, and the exponents, /3d//3„ and 5d/8nt 7 Conclusions and Future Directions
axe greater than unity. Thus In this paper, we have studied the control requirements for
two robotic operational scenarios, i.e., namely robot-assisted
extravehicular activity and autonomous sample acquisition.
Our analysis has revealed that current robust control ap-
Further, choosing proaches are rather limited, particularly in their (convergence)
properties and robustness to changing uncertainties in the dy-
a>l (38) namic models. We concentrated on situations where the desired
performance constraints preclude recourse to high frequency
(39) control switching, thereby obviating the applicability of con-
ft, <5„ ventional sliding mode based robust control algorithms. To
it can be ensured that eP/ < e , thereby suggesting that a ensure the robustness and guaranteed measures required by
greater guaranteed precision can always be maintained using the aforementioned applications, we introduced a radically
terminal sliders, as compared to conventional sliders. different approach to nonlinear control synthesis, based upon
Figure 3 illustrated the properties of robust terminal slider a class of sliding modes denoted and dynamic terminal sliders.
control. Curves A and B show the phase space behavior of The proposed framework was then exploited to synthesize tra-
dynamic sliders (s versus 5 plots). With full model information, jectory control of robot manipulators. Our analysis demon-
from any initial state {SAl or SB,) the system will converge strated that the proposed slider formalisms yield superior