Professional Documents
Culture Documents
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
matrix of the quadrotor between the body coordinate system where dX (t), dY (t), dZ (t), d1 (t), d2 (t), and d3 (t) denote the
and the ground coordinate system can be formulated [4], [6] bounded external disturbances. Let xX,1 = X, xX,2 = Ẋ,
⎡ ⎤ xY,1 = Y, xY,2 = Ẏ, xZ,1 = Z, xZ,2 = Ż, x1 = φ, x2 = φ̇,
C θ Cψ Cψ S φ S θ − C φ S ψ S φ S ψ + C φ Cψ S θ
R(φ, θ, ψ) = ⎣ Cθ Sψ Cφ Cψ + S φ S θ S ψ Cφ Sθ Sψ − Cψ Sφ ⎦. x3 = θ, x4 = θ̇ , x5 = ψ, and x6 = ψ̇. Equation (5) can be
−Sθ Cθ S φ Cφ Cθ re-expressed as [12]
⎧
(2) ⎪
⎪ ẋX,1 = xX,2
⎪
⎪
⎪ ẋX,2 = (Cx1 Sx3 Cx5 + Sx1 Sx5 )U4 − a1 xX,2 + dX (t)
⎪
Let the lift force of the four motors be Fi , i = 1, 2, 3, 4, and ⎪
⎪
⎪ ẋY,1 = xY,2
⎪
define FH = F1 +F2 +F3 +F4 . Then, the motion model of the ⎪
⎪
⎪ ẋY,2 = (Cx1 Sx3 Sx5 − Sx1 Cx5 )U4 − a2 xY,2 + dY (t)
⎪
quadrotor with respect to the ground coordinate system can be ⎪
⎪
⎪ ẋZ,1 = xZ,2
⎪
obtained [5], [10] ⎪
⎪
⎡ ⎤ ⎡ ⎤ ⎪ ẋZ,2 = −g + (Cx1 Cx3 )U4 − a3 xZ,2 + dZ (t)
⎪
Ẍ FH Sφ Sψ + Cφ Cψ Sθ − KX Ẋ ⎨
yi = xi,1 , i = X, Y, Z
⎣ Ÿ ⎦ = ⎣ FH Cφ Sθ Sψ − Cψ Sφ − KY Ẏ ⎦ m (3) (6)
⎪
⎪ ẋ1 = x2
Z̈ FH Cφ Cθ − KZ Ż − mg ⎪
⎪
⎪
⎪ ẋ2 = a4 x4 x6 − a5 x4 − a6 x2 + U1 + d1 (t)
⎪
⎪
where KX , KY , and KZ are the unknown air resistance ⎪
⎪ ẋ3 = x4
⎪
⎪
coefficients in the corresponding directions; and m and g rep- ⎪
⎪ ẋ4 = a7 x2 x6 + a8 x2 − a9 x4 + U2 + d2 (t)
⎪
⎪
resent the mass and acceleration of gravity of the quadrotor, ⎪
⎪ ẋ5 = x6
⎪
⎪
respectively. ⎪
⎪ ẋ6 = a10 x2 x4 − a11 x6 + U3 + d3 (t)
⎩
Also, as given in [10], [12], and [48], utilizing Euler’s kine- yj = x2∗j−1 , j = 1, 2, 3
matics equation, the angular motion model with regard to the where a1 = KX /m, a2 = KY /m, a3 = KZ /m, a4 = (Iy − Iz )/Ix ,
ground coordinate system is a5 = Ir /Ix , a6 = dφ /Ix , a7 = (Iz − Ix )/Iy , a8 = Ir /Iy , a9 =
dθ /Iy , a10 = (Ix − Iy )/Iz , and a11 = dψ /Iz are unknown; U1 ,
φ̈ = θ̇ ψ̇ Iy − Iz − Ir θ̇ − dφ φ̇ + l(F4 − F2 ) Ix
U2 , U3 , and U4 are control inputs to be designed with U1 =
θ̈ = φ̇ ψ̇(Iz − Ix ) + Ir φ̇ − dθ θ̇ + l(F3 − F1 ) Iy l(F4 −F2 )/Ix , U2 = l(F3 −F1 )/Iy , U3 = (τ2 +τ4 −τ1 −τ3 )/Iz ,
and U4 = (F1 + F2 + F3 + F4 )/m.
ψ̈ = φ̇ θ̇ Ix − Iy − dψ ψ̇ + τ2 + τ4 − τ1 − τ3 Iz (4) Remark 1: Generally, as shown in [12], [34], and [35], the
quadrotor formulations are divided into two parts, including
where denotes the relative speed of the cross-coupled rotor
position formulations (Z, X, Y) and the attitude formulations
and satisfies = w2 + w4 − w1 − w3 with wi being the rotat-
(φ-roll, θ -pitch, and ψ-yaw). The variables of φ-roll, θ -pitch,
ing speed of the propeller; Ix , Iy , and Iz represent the rotary
and ψ-yaw in attitude formulations are coupled in position
inertia with regard to each axis; Ir is the moment of inertia of
formulations (Z, X, Y). The advantage is that the adaptive
each motor; dφ , dθ , and dψ are the corresponding unknown
controller can be designed to guarantee stability of the atti-
aerodynamic drag coefficients; l denotes the distance from the
tude subsystem and provide tracking capability. However, the
rotor center to the centroid of the quadrotor; and τi , i = 1, 2,
controller has some deficiencies in realizing position control
3, 4, is the torque generated by each motor. As shown in [12]
since the dynamic model has an adverse form. For example,
and [34]–[38], before formulating the model of the quadrotor,
in (6), control input U4 , which is the unique external excita-
some requirements should be satisfied: 1) the elastic deforma-
tion for each of these three controlled variables, is explicitly
tion of each quadrotor part is neglected and treated as a single
related to both position formulations (Z, X, Y). This implies
rigid body; 2) the quadrotor should be a standard symmetrical
that it is difficult to design an individual control signal for all
structure; 3) the vertical distance between the barycenter and
position formulations (Z, X, Y). Therefore, a decentralized-like
the center of the propeller is neglected, which implies that
adaptive compound control is required to be designed.
the five points are on the same level; 4) the effects of the
Earth’s rotation and revolution on the quadrotor are neglected;
B. Signal Quantizer
and 5) the changes in the gravitational acceleration at different
heights during flight are also ignored. Then, the mathematical It should be noted that because the direct application of the
model of quadrotor can be obtained as follows [12], [48]: quantized signal including the high-frequency components to
the actuator will lead to deterioration of control performance.
Ẍ = FH Cφ Sθ Cψ + Sφ Sψ − KX Ẋ m + dX (t) A signal quantizer needs to be considered to degrade the com-
munication rate. In this article, a hysteresis quantizer is used
Ÿ = FH Cφ Sθ Sψ − Sφ Cψ − KY Ẏ m + dY (t)
to reduce the chattering phenomena [15], [16]
⎧
Z̈ = FH Cφ Cθ − KZ Ż − mg m + dZ (t) ⎪ pj , if pj /(1 + δ) < ud < pj , Q− ≥ pj
⎪
⎪
⎪
⎪ or pj ≤ ud ≤ pj /(1 − δ), Q− ≤ pj
θ̇ ψ̇ Iy − Iz − Ir θ̇ − dφ φ̇ ⎪
⎪
φ̈ = Ix + d1 (t) ⎪
⎪ (1 + δ)pj , if pj ≤ ud ≤ pj /(1 − δ)
+l(F4 − F2 ) ⎪
⎨ −
Q ≥ (1 + δ)pj , or pj /(1 − δ) ≤ ud < pj+1
φ̇ ψ̇(Iz − Ix ) + Ir φ̇ − dθ θ̇ Q(ud ) = (7)
θ̈ = Iy + d2 (t) ⎪
⎪ Q− ≤ (1 + δ)pj
+l(F3 − F1 ) ⎪
⎪
⎪
⎪ 0, if 0 ≤ ud ≤ pj /(1 + δ)
⎪
⎪
φ̇θ̇ Ix − Iy − dψ ψ̇ ⎪
⎪
⎩ or pj /(1 + δ) < ud < p1 , Q− = 0
ψ̈ = Iz + d3 (t) (5)
+ τ2 + τ4 − τ1 − τ3 −Q(−ud ), if ud < 0
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
where ud denotes the input of quantizer, δ(t) = [(1 − That is, fi (ξi ) can be approximated by FLSs with the approx-
(t))/(1 + (t))] and pj = a(t) 1−j (t), j = 1, 2, 3, . . . , with imated error εi (ξi ) described by
being a measurement for quantization density satisfying
fi (ξi ) = ψiT (ξi )ϑi∗ + εi (ξi ) ∀ξi ∈ ξi ⊂ Rn (11)
0 < (t) < 1. The smaller the (t) is, the coarser the quan-
tizer is. The positive parameter a(t) decides the size of the where |εi (ξi )| ≤ εi,m , ϑi∗ is an optimal weight vector of ϑi and
dead zone of Q(ud ). Q− (t) is the latest value of Q before the is defined as
time instant t and Q− (0) = 0. Mathematically, Q− (t) = 0 for
t ∈ [0, T1 ] and Q− (t) = Q(ud (Th )) for t ∈ (Th , Th+1 ], where ϑi∗ = arg minn sup |fi (ξi ) − Yi (ξi )| . (12)
ϑ∈R ξ ∈ξi
Th (h = 1, 2, 3, · · ·) with 0 ≤ T1 < T2 < T3 < · · · < +∞
being the time instants when Q(ud ) makes transitions. Then, by using Lemma 1 and (11), the FLSs approximator is
Remark 2: It should be noted that the traditionally used used to approximate the unknown continuous functions in as
quantizer such as logarithmic quantizer will make a transition follows:
from one output value to another, which always produces the
fi (x) = ψiT (ξi )ϑi∗ + εi , i = X, Y, Z (13)
chattering phenomenon [15], [16]. To solve this problem, in
this article, the hysteresis quantizer [15], [16] in (7) is adopted. with εi being any positive constants denoting the FLSs approx-
Then, some dwell time elapses before a new transition occurs imated errors.
by adding some additional quantization levels. Therefore, the For convince, let UX = (Cx1 Sx3 Cx5 + Sx1 Sx5 )U4 , UY =
chattering phenomenon can be reduced compared with the (Cx1 Sx3 Cx5 − Sx1 Cx5 )U4 , UZ = (Cx1 Cx3 )U4 , fX (x) = −a1 xX,2 ,
traditional logarithmic quantizer. fY (y) = −a2 xY,2 , and fZ (x) = −a3 xZ,2 . Considering (7), (6)
can be rewritten as
⎧
C. Fuzzy-Logic Systems ⎪
⎪ ẋX,1 = xX,2
⎪
⎪
⎪
⎪ ẋX,2 = Q(UX ) + fX (x) + dX (t)
Fuzzy-logic systems (FLSs) map an input vector Ui ∈ Rm ⎪
⎪
⎪
⎪ ẋY,1 = xY,2
to a scalar output Yi ∈ R by the fuzzy rules consisting of a ⎪
⎪
⎪
⎪ ẋY,2 = Q(UY ) + fY (x) + dY (t)
set of linguistic rules in the form of “If–Then,” that is ⎪
⎪
⎪
⎪ ẋZ,1 = xZ,2
⎪
⎪
(l)
R : If ξi,1 is Ai,1 and . . . and ξi,m is Ai,m , Then Yi is Ci (8)
l l l ⎪
⎪ ẋZ,2 = −g + Q(UZ ) + fZ (x) + dZ (t)
⎨
yi = xi,1 , i = X, Y, Z
(14)
where Ali,k and Cil , (l = 1, . . . , N, k = 1, . . . , m, i = X, Y, Z) ⎪
⎪ ẋ1 = x2
⎪
⎪
⎪
⎪ ẋ2 = a4 x4 x6 − a5 x4 − a6 x2 + Q(U1 ) + d1 (t)
are fuzzy sets characterized by fuzzy membership functions ⎪
⎪
μAl (ξi,k ) and μCl (Yi ), respectively; N > 1 is the number of ⎪
⎪ ẋ3 = x4
⎪
⎪
i,k i ⎪
⎪ ẋ4 = a7 x2 x6 + a8 x2 − a9 x4 + Q(U2 ) + d2 (t)
fuzzy rules with ξi = [ξi,1 , ξi,2 , . . . , ξi,m ]T ∈ Ui ; and Yi ∈ Vi ⎪
⎪
⎪
⎪ ẋ5 = x6
being the input and output of FLSs, respectively. FLSs with ⎪
⎪
⎪
⎪ ẋ6 = a10 x2 x4 − a11 x6 + Q(U3 ) + d3 (t)
Singleton fuzzier, product inference engine, and center-average ⎩
yj = x2∗j−1 , j = 1, 2, 3
defuzzier by using the fuzzy “If–Then” rules in (8) can be
expressed as [26]–[28] where Q(UX ), Q(UY ), Q(UZ ), Q(U1 ), Q(U2 ), and Q(U3 ) are
the quantized signals of UX , UY , UZ , U1 , U2 , and U3 by
Yi = ϑiT ψi (ξi ) (9) the hysteresis quantizer in (7). Also, it should be noted that
because the air resistances KX , KY , and KZ are unknown, the
where ϑi = [ϑi1 , ϑi2 , . . . , ϑiN ]T ∈ RN is an ideal constant- system parameters a1 , a2 , and a3 in (14) are unknown which
parameter vector, and ψi (ξ ) = [ψi1 (ξ ), ψi2 (ξ ), . . . , ψiN (ξ )]T ∈ implies the continuous functions fX , fY , and fZ are unknown.
RN is a fuzzy basis function vector with ψil (ξi ) being cho- Therefore, fuzzy approximators in Lemma 1 can be utilized
sen as ψil (ξi ) = μi,l (ξi )/ N l=1 μi,l (ξi ). Therein, μi,l (ξ ) = to approximate them.
nk=1 μAl (ξi,k ) and μAl (ξi,k ) is called the fuzzy membership Now, define x5r as the desired trajectories of x5 (yaw
i,k i,k
function which is generally chosen as the Gaussian-type func- angle). Then, to achieve the controller design, the following
tion such as μAl (ξi,k ) = e−(ξi,k −μi,l ) /2 , where μi,l belongs to assumptions and lemmas are required.
2
i,k
the value interval of ξi,k . It should be emphasized that the fol- A1: The reference signals yri , i = X, Y, Z, and x5r , are
lowing two conditions on μAl (ξi,k ) should be satisfied. One is smooth and bounded functions and belongs to a compact
i,k set r .
every (μAi (ξi,k ), μAj (ξi,k )) should be overlapped. The other
i,k i,k A2: The external disturbances di (t) ≤ d̄i with d̄i being
is the entire sequence of μAl (ξi,k ), l = 1, . . . , N, i = X, Y, Z, positive constant, i = 1, 2, 3, X, Y, Z.
i,k
should cover the value interval of ξi,k . A3: The roll and pitch angles are limited to (−π/2, π/2)
Lemma 1 [26]–[28]: FLSs are used as universal approxima- which is physically meaningful. In particular, the yaw
tor in the sense that given any continuous function fi (·) : Rn → angle, in this article, is also limited to (−π/2, π/2).
R in a compact set ξi ⊂ Rn , and any εi,m > 0, there exists Lemma 2 [50]: For any vector x, y ∈ Rm , there exist ε > 0,
an FLS (9) such that m > 1, n > 1, and (m − 1)(n − 1) = 1, then, the following
inequality holds:
sup |fi (ξi ) − Yi (ξi )| < εi,m . (10)
ξ ∈ξi xT y ≤ εm xm /m + yn / nεn .
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
TABLE I
be given in advance as an extra reference signal and the C ONTROL A LGORITHMS OF Q UADROTOR P OSITION
designed control signal U3 guarantees the state x5 rapidly con-
verge to its reference signal x5r . Then, reference signals x1r
and x3r of x1 , x3 , and U4 can be obtained by solving (22)
as follows: x3r = arctan((UX cos x5r + UY sin x5r )/UZ ),
x1r = arctan((UX sin x5r − UY cos x5r ) cos x3r /UZ ), and U4 =
UZ /(cos x1r cos x3r ).
IV. A NALYSIS OF S TABILITY AND L∞ N ORM OF with Bi,2 and B2∗j are continuous functions. Using Tables I
T RACKING E RROR and II, it follows that:
Let the errors between the output and input of the low-pass
Si,1 Ṡi,1 = −li,1 Si,1
2
+ ki Si,1 Si,2 + yi,2 − ϑ̃iT ki Ti,(2) Si,1
filters be defined as
+ ρi,2 Si,1 , (29)
oi,2 = zi,2 − v̄i,(0,2) , i = X, Y, Z Si,2 Ṡi,2 = −ki qi,2 vi,(0,1) Si,2 − Si,2 Q(Ui )/ki
o2∗j = z2∗j − x(2∗j)d , j = 1, 2, 3. (24) − żi,2 Si,2 (30)
By using (TI. 4) and (TII. 3), one has S2∗j−1 Ṡ2∗j−1 = S2∗j−1 x2∗j − x(2∗j)d + S2∗j−1 x(2∗j)d
− S2∗j−1 ẋ(2∗j−1)r , (31)
ȯi,2 = −oi,2 /τi,2 + li,1 Ṡi,1 + ki ζ̇i,(0,2)
S2∗j Ṡ2∗j = S2∗j ϑαT2∗j−1 α2∗j−1 + Q U2∗j−1
+ ϑ̂i ki i,(2) − ÿri
T T
ki (25) + d2∗j−1 (t) − ż2∗j (32)
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
TABLE IV
MVTE AND RMSVTE OF A NGLE T RACKING
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
2
in the implementation of the experiments, the thrust of each + κi /2 + 2ki P̄i Bi max /ki2
motor is decided by the actuator bandwidth ω and the PWM
input to the actuator u. For example, if F is used to denote − ki−1 λi σji j˜i2 /2 + ki−1 λi σji ji∗2 /2
the thrust, F can be expressed by F = Kuω/(s + ω) with K 3
2
being a positive gain. Also, in this experiment, K = 120 N and + −k(2∗j−1) + 1 S(2∗j−1) − λj σιj ι̃2j /2
ω = 15 rad/s, the high level and low level of the pulse voltage i=1
signal in PWM is 3.3 and 0.6 V, respectively. Figs. 12 and 13 2
+ −k2∗j + 1/2 S2∗j − σχj χ̃i2 /2 + o22∗j /2
show the trajectories of the estimations of the norm of the
fuzzy ideal constant-parameter vector ϑ̂i and the trajectories + 1 2αj2 + λj 2∗j+1 + ā2j /2
of the estimations of ji∗ (i = X, Y, Z), respectively.
+ d̄j2 (t)/2 + λj σιj ι2j /2 + σχj χj2 /2 − o2∗j /τ2∗j
VI. C ONCLUSION + o22∗j M2∗j
2
/ 2μ2∗j + μ2∗j /2 . (36)
In this article, a compound adaptive fuzzy-quantized con- Let the design parameters satisfy ki > 2λmax (P̄i )ci,1 +
trol scheme is proposed for the position and attitude tracking λmax P̄i /(2λmin (P̄i )), li,1 ≥ ki2 /2 + ki + ci,1 , li,2 ≥ ki /2 + ci,1 ,
control of the quadrotor. The output-feedback controller for 1/τi,2 ≥ Mi,2 2 /(2κ ) + k /2 + c , σ
i i i,1 ϑi ≥ 2ci,1 /rϑi , σji ≥
the position trajectory tracking control and a state-feedback 2ci,1 /rji , ci,2 = λi i,2 /ki + ā2i /(2ki2 ) + σϑi ϑi∗T ϑi∗ /2 + κi /2 +
controller for attitude trajectory tracking control are designed 2ki (P̄i Bi max /ki2 )2 + ki−1 λi σji ji∗2 /2, 1/τ2∗j ≥ 1/2 +
by employing the DSC technique. Therefore, only the posi- 2 /(2μ ) + c , k
M2∗j j j,1 2∗j−1 ≥ 1 + cj,1 , k2∗j ≥ 1/2 + cj,1 ,
tion information is required for the position tracking control.
σlj ≥ 2cj,1 /rlj , σχj ≥ 2cj,1 /rχj , and cj,2 ≥ 1/(2αj2 ) +
From the analysis of stability and experimental results of the
Quanser Qball-X4 quadrotor, it can be concluded that: 1) the λj 2∗j+1 + ā2j /2+ d̄j2 (t)/2+λj σιj ι2j /2+σχj χj2 /2+μ2∗j /2, where
unmeasurable states in the positioning system have been esti- ci,1 and cj,1 satisfy ci,1 ≥ ci,2 /(2G1 ) and cj,1 ≥ cj,2 /(2G1 ),
mated online by constructing the high-gain observer; 2) the i = X, Y, Z, j = 1, 2, 3, respectively. From (36), we have
“explosion of complexity” problem in the backstepping con- V̇ ≤ −2C1 V + C2 (37)
trol scheme is overcome and the L∞ tracking performance has
with C1 = min{cX,1 , cY,1 , cZ,1 , c1,1 , c2,1 , c3,1 } and C2 =
been achieved by applying the DSC technique and the ini-
cX,2 + cY,2 + cZ,2 + c1,2 + c2,2 + c3,2 . Then, V̇ ≤ 0 when
tializing technique; 3) the underactuated and strong coupling
V = G1 , which implies that V(t) ≤ G1 is an invariant set or
problems are overcome by solving the developed control signal
in other words, if V(0) ≤ G1 , then V(t) ≤ G1 , for all t ≥ 0.
equations; 4) the strong nonlinearities caused by the quantizer
Therefore, V is uniformly bounded and it can be proved that all
error have been mitigated by using the proposed quantized
the signals of the closed-loop system are uniformly bounded.
adaptive fuzzy control algorithms; and 5) compared with the
By solving the inequality (37), it follows that:
LQR scheme and backstepping-SMC method, a more precise
tracking performance can be obtained by using the proposed V(t) ≤ C2 /(2C1 ) + e−2C1 t V(0) − C2 /(2C1 ) ∀t ≥ 0 (38)
control scheme.
which implies limt→∞ V(t) ≤ C2 /(2C1 ). It should be
noted that similar to [15], [33], and [44], the value
A PPENDIX A of C1 in (37) is decided by the minimum value of
P ROOF OF T HEOREM 1 ci,1 , i = X, Y, Z, 1, 2, 3, which satisfies the inequalities
Consider the quantizer defined in (7) and define in (65) and therefore are decided by the design parameters
Q(Ui )/Ui , if |Ui | ≥ ai (t) ki , li,1 , li,2 , rϑi , rji , rlj , rχj , σϑi , σji , σlj , and σχj . This implies
ιi,1 (t) = and ιi,2 (t) =
1, if |Ui | < ai (t) large enough values of the above design parameters lead
0, if |Ui | ≥ ai (t) to large enough value of C1 . Then, C2 /(2C1 ) can be small
, with i = X, Y, Z, one has
Q(Ui ) − Ui , if |Ui | < ai (t) enough because C2 defined in (37) is a constant.
Q(Ui ) = ιi,1 (t)Ui + ιi,2 (t). By using the equality δi = Now, the procedures of obtaining the L∞ tracking
[(1 − i )/(1 + i )], it follows that ιi,1 ≥ λi , |ιi,2 (t)| ≤ performance will be given. Let yri (0) = yi (0), Si,1 (0) = 0,
āi ∀t ≥ 0 with āi denoting the maximum value of ai (t), and vi,0 (0) = 0, ζi,(0,1) (0) = 0, i (0) = 0, ϑ̂i (0) = 0, jˆi (0) = 0,
λi = 2i min /(1 + i min ) with i min denoting the minimum S(2∗j−1) (0) = 0, ι̂j (0) = 0, χ̂j (0) = 0, and y(2∗j−1)r (0) =
value of i (t). Similarly, let Q(Uj ) = h(2∗j−1) Uj + h(2∗j) with x(2∗j−1) (0). Since ζ i,(0,1) (0) = yi (0) = xi,1 (0), one has
h(2∗j−1) (t) ≥ λj , |h2∗j (t)| ≤ āj . V(t) ≤ C2 /(2C1 ) + i λmax (P̄i )ρi (0)2 /ki2 , i = X, Y, Z.
Then, in view of (33) and Lemma 2, the time derivative of Considering (36), it arrives at Si,1 ∞ = supt≥0 |Si,1 | =
V yields
xi,1 − yri ∞ ≤ C2 /(2C1 ) + i λmax (P̄i )ρi (0)2 /ki2 ,
2 S
V̇ ≤ − li,1 − ki − ki2 /2 Si,1 2
− li,2 − ki /2 Si,2 2∗j−1 ∞ =
supt≥0 |S2∗j−1 | = x1 − x1r ∞ ≤
C2 /(2C1 ) + i λmax (P̄i )ρi (0)2 /ki2 , i = X, Y, Z, j =
+ λi i,2 /ki + ā2i / 2ki2 − σϑi ϑ̃iT ϑ̃i /2 + σϑi ϑi∗T ϑi∗ /2 1, 2, 3, which implies that the L∞ norm of the tracking error
of Si,1 ∞ and S2∗j−1 ∞ can be arbitrarily small by choosing
+ ki /2 − 1/τi,2 + Mi,2 2
/(2κi ) o2i,2
sufficient large design parameters. This completes the proof of
+ 1/ 2λmin P̄i − ki /λmax P̄i Vρi Theorem 1.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
[33] D. Swaroop, J. C. Gerdes, P. P. Yip, and J. K. Hedrick, “Dynamic surface Xiuyu Zhang (Member, IEEE) was born in Jilin
control for a class of nonlinear systems,” IEEE Trans. Autom. Control, City, China. He received the B.S. and M.S. degrees
vol. 45, no. 10, pp. 1893–1899, Oct. 2000. from Northeast Dianli University, Jilin City, in
[34] J. J. Xiong and E. H. Zheng, “Position and attitude tracking control for 2003 and 2006, respectively, and the Ph.D. degree
a quadrotor UAV,” ISA Trans., vol. 53, no. 3, pp. 725–731, May 2014. from the Beijing University of Aeronautics and
[35] E. H. Zheng and J. J. Xiong, “Quad-rotor unmanned helicopter control Astronautics, Beijing, China, in 2012.
via novel robust terminal sliding mode controller and under-actuated He is currently a Professor with the School of
system sliding mode controller,” Int. J. Light Electron Opt., vol. 125, Automation Engineering, Northeast Electric Power
no. 12, pp. 2817–2825, Jun. 2014. University, Jilin City, where he is also with the
Department of Jilin Province International Research
[36] H. Bouadi, M. Bouchoucha, and M. Tadjine, “Sliding mode control
Center of Precision Drive and Intelligent Control.
based on backstepping approach for an UAV type-quadrotor,” World
His research interest includes robust and adaptive control for nonlinear
Academy Sci. Eng. Technol., vol. 26, no. 5, pp. 22–27, Jan. 2007.
systems.
[37] Z. Zuo, “Trajectory tracking control design with command-filtered com-
pensation for a quadrotor,” IET Control Theory Appl., vol. 4, no. 11,
pp. 2343–2355, Dec. 2010.
[38] T. Dierks and S. Jagannathan, “Output feedback control of a quadrotor Yue Wang was born in Jilin City, China. He received
UAV using neural networks,” IEEE Trans. Neural Netw., vol. 21, no. 1, the B.S. degree from the Hebei University of
pp. 50–66, Jan. 2009. Engineering, Handan, China, in 2015, and the M.S.
[39] T. Hayakawaa, H. Ishii, and K. Tsumurac, “Adaptive quantized control degree from Northeast Electric Power University,
for linear uncertain discrete-time systems,” Automatica, vol. 45, no. 3, Jilin City, in 2019, where he is currently pursuing
pp. 692–700, Mar. 2009. the Doctoral degree.
His research interest includes robust and adaptive
[40] T. Hayakawaa, H. Ishii, and K. Tsumurac, “Adaptive quantized con-
control for nonlinear systems.
trol for nonlinear uncertain systems,” Syst. Control Lett., vol. 58, no. 9,
pp. 625–632, Sep. 2009.
[41] S. C. Tong, C. L. Liu, and Y. M. Li, “Fuzzy adaptive decentral-
ized output-feedback control for large-scale nonlinear systems with
dynamical uncertainties,” IEEE Trans. Fuzzy Syst., vol. 18, no. 5,
pp. 845–861, Oct. 2010. Guoqiang Zhu was born in Heze, China. He
[42] S. C. Tong, C. L. Liu, and Y. M. Li, “Adaptive fuzzy decentralized received the B.S. and M.S. degrees from Northeast
control for large-scale nonlinear systems with time-varying delays and Electric Power University, Jilin City, China, in
unknown high-frequency gain sign,” IEEE Trans. Syst., Man, Cybern., 2003 and 2007, respectively, and the Ph.D. degree
Cybern., vol. 41, no. 2, pp. 474–485, Apr. 2011. from the Beijing University of Aeronautics and
[43] S. S. Ge, C. C. Hang, and T. H. Lee, Stable Adaptive Neural Network Astronautics, Beijing, China, in 2015.
Control. New York, NY, USA: Springer, 2013. He is currently an Associate Professor with
the School of Automation Engineering, Northeast
[44] X. Y. Zhang, Y. Lin, and J. G. Wang, “High-gain observer based
Electric Power University, where he is also with
decentralized output feedback control for Interconnected nonlinear
with the Department of Jilin Province International
systems with unknown hysteresis Input,” Int. J. Control, vol. 86, no. 6,
Research Center of Precision Drive and Intelligent
pp. 1046–1059, Jan. 2013.
Control. His research interest includes robust and adaptive control for
[45] W. Chenliang and L. Yan, “Adaptive dynamic surface control for lin- nonlinear systems.
ear multivariable systems,” Automatica, vol. 46, no. 10, pp. 1703–1711,
Oct. 2010.
[46] M. Krstic, I. Kanellakopoulos, and P. V. Kokotovic, “Nonlinear design
of adaptive controllers for linear systems,” IEEE Trans. Autom. Control, Xinkai Chen (Senior Member, IEEE) received
vol. 39, no. 4, pp. 738–752, Apr. 1994. the Ph.D. degree in engineering from Nagoya
[47] F. Esfandiari and H. K. Khalil, “Output feedback stabilization of fully University, Nagoya, Japan, in 1999.
linearizable systems,” Int. J. Control, vol. 56, no. 5, pp. 1007–1037, He is currently a Professor with the Department
Apr. 1992. of Electronic and Information Systems, Shibaura
Institute of Technology, Tokyo, Japan. His research
[48] G. Farid, H. W. Mo, A. H. Baqar, and S. M. Ali, “Comprehensive
interests include adaptive control, smart materials,
modelling and static feedback linearization-based trajectory tracking
hysteresis, sliding-mode control, machine vision,
control of a quadrotor UAV,” Mechatron. Syst. Control, vol. 46, no. 3,
and observer.
pp. 97–106, Jun. 2018.
Prof. Chen has served as an Associate
[49] S. Srivastava, A. Misra, S. K. Thakur, and V. S. Pandit, “An optimal PID Editor for several journals, including the IEEE
controller via LQR for standard second order plus time delay systems,” T RANSACTIONS ON AUTOMATIC C ONTROL, the IEEE T RANSACTIONS ON
ISA Trans., vol. 60, no. 1, pp. 244–253, Jan. 2016. C ONTROL S YSTEMS T ECHNOLOGY, the IEEE/ASME T RANSACTIONS ON
[50] J. J. E. Slotine and W. Li, Applied Nonlinear Control. Englewood Cliffs, M ECHATRONICS, and the European Journal of Control. He has also served
NJ, USA: Prentice-Hall, 1991. for international conferences as organizing committee members, including
[51] P. A. Ioannou and J. Sun, Robust Adaptive Control. Upper Saddle River, the Program Chairs and Program Co-Chairs.
NJ, USA: Prentice-Hall, 1996.
[52] J. G. Liu, Q. Gao, Z. W. Liu, and Y. M. Li, “Attitude control for astronaut
assisted robot in the space station,” Int. J. Control Autom. Syst., vol. 14,
Zhi Li (Member, IEEE) received the Ph.D. degree in
no. 4, pp. 1082–1095, Jun. 2016.
mechanical engineering from Concordia University,
[53] Q. Gao, J. G. Liu, T. T. Tian, and Y. M. Li, “Free-flying dynam- Montreal, QC, Canada, in 2015.
ics and control of an astronaut assistant robot based on fuzzy sliding He was a Postdoctoral Research Fellow with the
mode algorithm,” Acta Astronautica, vol. 138, no. 9, pp. 462–474, Eindhoven University of Technology, Eindhoven,
Sep. 2017. The Netherlands, from 2015 to 2016, and York
[54] S. C. Tong, S. Sui, and Y. M. Li, “Fuzzy adaptive output feed- University, Toronto, ON, Canada, from 2016
back control of MIMO nonlinear systems with partial tracking errors to 2017. He was an Alexander von Humboldt
constrained,” IEEE Trans. Fuzzy Syst., vol. 23, no. 4, pp. 729–742, Research Fellow with the University of Magdeburg,
Aug. 2015. Magdeburg, Germany. He is currently a Professor
[55] S. C. Tong, L. L. Zhang, and Y. M. Li, “Observed-based adaptive with the State Key Laboratory of Synthetical
fuzzy decentralized tracking control for switched uncertain nonlinear Automation for Process Industries, Northeastern University, Jilin City, China.
large-scale systems with dead zones,” IEEE Trans. Syst., Man, Cybern., His research interests include dynamics and control of smart actuators and
Cybern., vol. 46, no. 1, pp. 37–47, Jan. 2016. hysteresis modeling and compensation.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
Chenliang Wang (Member, IEEE) was born Chun-Yi Su (Senior Member, IEEE) received the
in Hunan, China, in 1986. He received the Ph.D. degree in control engineering from the South
B.Eng. and Ph.D. degrees from the School of China University of Technology, Guangdong, China,
Automation Science and Electrical Engineering, in 1990.
Beihang University, Beijing, China, in 2008 and After a seven-year stint with the University of
2013, respectively. Victoria, Victoria, BC, Canada, he joined Concordia
He is currently a Lecturer with Beihang University, Montreal, QC, Canada, in 1998, where
University. From 2015 to 2016, he was a Visiting he is currently a Professor of mechanical and indus-
Scholar with the National University of Singapore, trial engineering and holds the Concordia University
Singapore. His research interests include adaptive Research Chair in Control. He has also held several
control, fault-tolerant control, multivariable systems, short-time visiting positions, including the Chang
and multiagent systems. Jiang Chair Professorship by China’s Ministry of Education and JSPS
Invitation Fellowship from Japan. He has authored or coauthored over 300
publications, which have appeared in journals, as book chapters and in con-
ference proceedings. His research covers control theory and its applications
to various mechanical systems, with a recent focus on control of systems
involving hysteresis nonlinearities.
Prof. Su has served as an Associate Editor for the IEEE T RANSACTIONS
ON AUTOMATIC C ONTROL and the IEEE T RANSACTIONS ON C ONTROL
S YSTEMS T ECHNOLOGY. He has been on the editorial board of 18 journals,
including IFAC’s Mechatronics. He has also been an organizing committee
member many conferences.
Authorized licensed use limited to: University of Exeter. Downloaded on June 18,2020 at 03:06:58 UTC from IEEE Xplore. Restrictions apply.