Enhancing the settling time estimation of a class of fixed-time stable systems 1
R. Aldana-Lópeza , David Gómez–Gutiérreza,b,∗, E. Jiménez-Rodrı́guezc , J. D. Sánchez-Torresd , M. Defoorte
a Multi-agent autonomous systems lab, Intel Labs, Intel Tecnologı́a de México, Av. del Bosque 1001, Colonia El Bajı́o, Zapopan, 45019, Jalisco,

México.
b Tecnologico de Monterrey, Escuela de Ingenierı́a y Ciencias, Av. General Ramón Corona 2514, Zapopan, 45201, Jalisco, México.
c CINVESTAV, Unidad Guadalajara, Av. del Bosque 1145, colonia el Bajı́o, Zapopan , 45019, Jalisco, México.
d Research Laboratory on Optimal Design, Devices and Advanced Materials -OPTIMA-, Department of Mathematics and Physics, ITESO,

arXiv:1809.07012v2 [math.OC] 15 May 2019

Periférico Sur Manuel Gómez Morı́n 8585 C.P. 45604, Tlaquepaque, Jalisco, México.
e LAMIH, CNRS UMR 8201, Univ. Valenciennes, Valenciennes 59313, France.

Abstract
This paper deals with the convergence time analysis of a class of fixed-time stable systems with the aim to provide a
new non-conservative upper bound for its settling time. Our contribution is fourfold. First, we revisit the well-known
class of fixed-time stable systems, given in [1], while showing the conservatism of the classical upper estimate of
the settling time. Second, we provide the smallest constant that uniformly upper bounds the settling time of any
trajectory of the system under consideration. Third, introducing a slight modification of the previous class of fixedtime systems, we propose a new predefined-time convergent algorithm where the least upper bound of the settling
time is set a priori as a parameter of the system. At last, predefined-time controllers for first order and second order
systems are introduced. Some simulation results highlight the performance of the proposed scheme in terms of settling
time estimation compared to existing methods.
Keywords: Predefined-time stability, Finite-time stability, Fixed-time stability, Lyapunov analysis.

1. Introduction
Convergence time is an important performance specification for a controlled system from a practical point of view
[2, 3]. Indeed, the design of controllers which guarantee predefined-time stability, instead of asymptotic stability, is
one of the desired objectives, which appear in many applications such as missile guidance [4], hybrid formation flying
[5], group consensus [6], online differentiators [7–9], state observers [2], etc. Furthermore, in the case of switching
systems, it is frequently required that the observer (or controller) achieves the stability of the observation error (or
tracking error) before the next switching [10, 11].
Lack of uniform boundedness of the settling-time function regardless of the initial conditions causes several restrictions to the practical application of finite time observer/controller [12–14]. These restrictions can be relaxed
using the fixed-time stability concept. It is an extension of global finite-time stability, and guarantees the convergence
(settling) time to be globally uniformly bounded, i.e., the bound does not depend on the initial state of the system
[1, 4, 15]. To this end, the class of systems
ẋ = −(α|x| p + β|x|q )k signx, x(0) = x0 ,

(1)

1 This is the preprint version of the accepted Manuscript: R. Aldana-López, D. Gómez-Gutiérrez, E. Jiménez-Rodrı́guez, J. D. Sánchez-Torres
and Michael Defoort, “Enhancing the settling time estimation of a class of fixed-time stable systems”, International Journal of Robust and Nonlinear
Control, 2019, ISSN: 1099-1239. DOI. 10.1002/rnc.4600. Please cite the publisher’s version. For the publisher’s version and full citation details
see: http://dx.doi.org/10.1002/rnc.4600
∗ Corresponding Author.
Email addresses: rodrigo.aldana.lopez@gmail.com (R. Aldana-López), David.Gomez.G@ieee.org (David Gómez–Gutiérrez),
ejimenezr@gdl.cinvestav.mx (E. Jiménez-Rodrı́guez), dsanchez@iteso.mx (J. D. Sánchez-Torres),
michael.defoort@univ-valenciennes.fr (M. Defoort)

Preprint submitted to ArXiv

May 16, 2019

where x is a scalar state variable and the real numbers α, β, p, q, k > 0 are system parameters which satisfy the
constraints kp < 1, and kq > 1, was proposed in [1, 15] and has been extensively used. Indeed, it represents a
wide class of systems which present the fixed-time stability property through homogeneity and Lyapunov analysis
frameworks. However, it is still difficult to derive a relatively simple relationship between the system parameters and
the upper bound of the settling time [16, 17]. This yields some difficulties in the tuning of the system parameters to
achieve a prescribed-time stabilization (see for instance [7]).
The computation of the least upper bound of the settling time is usually not an easy task. Therefore, it is common
to propose an upper bound of the settling time as an attempt to estimate the least upper bound. For instance, in [1], it
is shown that for system (1), the settling-time function T (x0 ) is bounded as
T (x0 ) ≤

1
1
+
= T max , ∀x0 ∈ R.
αk (1 − pk) βk (qk − 1)

(2)

However, this bound significantly overestimates the least upper one. This overestimation can lead to restrictions
for the practical implementation of prescribed-time observer/controller. In this case, the gains will be over-tuned to
achieve a prescribed-time stabilization. It may lead to poor performances in terms of control magnitude or robustness
against measurement noise for instance.
Considering the extensive use of the class of systems represented by (1) and the overestimation exhibited by T max
in (2), this paper addresses the computation of the least upper bound of the settling-time function for this system
and the derivation of a new predefined-time convergent algorithm where the least upper bound of the settling time
is set a priori as a parameter of the system. Based on this result, new predefined-time controllers for first order and
second order systems are introduced to enhance the settling time estimation. In contrast to the common approaches of
homogeneity and Lyapunov analysis, the results in this paper are derived using the well-known geometric conditions
proposed in [12]. The overall contribution of this paper is divided into the following four main results:
1. The well-known class of fixed-time stable systems (1) is revisited. For this class of systems, the least upper
bound of the settling-time function,
   
Γ m p Γ mq α ! m p
,
γ= k
α Γ(k)(q − p) β
kq−1
with m p = 1−kp
q−p and mq = q−p , is found.

2. The following new predefined-time convergent system, where the least upper bound of the settling time T c is
set a priori as a parameter of the system, is proposed:
ẋ = −

γ
(α|x| p + β|x|q )k signx, x(0) = x0 ,
Tc

(3)

where x is a scalar state variable, real numbers α, β, p, q, k > 0 are system parameters which satisfy the constraints kp < 1 and kq > 1 and T c > 0. Notice that the only difference between (1) and the modified system
(3) is the constant gain γ/T c . This slight change in the original system represents a considerable improvement
in its properties, since the tunable parameter T c is directly the least upper bound of the convergence time. As a
consequence of this desirable feature, we say that the origin of system (3) is predefined-time stable with (strong)
predefined-time T c , a notion formally defined in Section 2.
3. The bound given in the formula (2) for system (3) is shown to be a conservative estimation of the settling time
T f = sup x0 ∈R T (x0 ) = T c . Moreover, letting α = % and β = 1% , it is shown that even if the least upper bound of
the convergence time is T c , the upper estimate (2), given in [1] goes to infinity as % → +∞ and as % → 0.
4. New predefined-time controllers for first order and second order scalar systems with matched bounded perturbations are introduced to enhance the settling time estimation.
The rest of the manuscript is organized as follows. In Section 2, we introduce the preliminaries on finite-time,
fixed-time and predefined-time stability. In Section 3, we present the main result on the least upper bound for the
settling time and propose a new strongly predefined-time convergent algorithm where the least upper bound of the
2

settling time is set a priori as a parameter of the system. We also present the analysis of how conservative the bound
provided in [1] may result and show some numerical results. In Section 4, we apply the previous result to derive
new predefined-time controllers for first and second order systems. Finally, in Section 5, we present some concluding
remarks.
2. Preliminaries and Definitions
Consider the nonlinear system
ẋ = f (x; ρ), x(0) = x0 ,

(4)

where x ∈ Rn is the system state, the vector ρ ∈ Rb stands for the system (4) parameters which are assumed to be
constant, i.e., ρ̇ = 0. The function f : Rn → Rn is assumed to be nonlinear and continuous, and the origin is assumed
to be an equilibrium point of system (4), so f (0; ρ) = 0.
Let us first recall some useful definitions and lemma on finite-time, fixed-time and predefined-time stability.
Definition 1. (Lyapunov stability [18, Definition 4.1]) The origin of system (4) is said to be Lyapunov stable if for all
 > 0, there is δ := δ() > 0 such that for all ||x0 || < δ, any solution x(t, x0 ) of (4) exists for all t ≥ 0, and ||x(t, x0 )|| < 
for all t ≥ 0.
Definition 2. (Finite-time stability [13]) The origin of (4) is said to be globally finite-time stable if it is Lyapunov
stable, and for any x0 ∈ Rn , there exists 0 ≤ T < +∞ such that the solution x(t, x0 ) = 0 for all t ≥ T . The function
T (x0 ) = inf{T : x(t, x0 ) = 0, ∀t ≥ T } is called the settling-time function.
Lemma 1. (Finite-time stability characterization for scalar systems [12, Fact 1]) Let n = 1 in system (4) (scalar
system). The origin is globally finite-time stable if and only if for all x ∈ R \ {0}
(i) x f (x; ρ) < 0, and
R 0 dz
< +∞.
(ii) x f (z;ρ)
Remark 1. A proof of Lemma 1 shall not be given here, but can be found in [19, Lemma 3.1]. Nevertheless, intuitively,
condition (i) implies Lyapunov stability. Moreover, under the conditions of Lemma 1, note that the settling time
R T (x0 )
function is T (x0 ) = 0
dt. Since first-order systems do not oscillate, the solution x(·, x0 ) : [0, T (x0 )) → [x0 , 0) of
system (4) as a function of t defines a bijection. Using it as a variable change, the above integral equals (note that
1
f (x;ρ) is defined for all x ∈ R \ {0} from condition (i)
T (x0 ) =

Z T (x0 )

dt =

0

Z 0

dx
.
f
(x;
ρ)
x0

(5)

Thus, condition (ii) of Lemma 1 refers to the settling-time function being finite.
Definition 3. (Fixed-time stability [1]) The origin is said to be a fixed-time stable equilibrium of (4) if it is globally
finite-time-stable and the settling time function T (x0 ) is bounded on Rn , i.e. ∃T max > 0 : ∀x0 ∈ Rn : T (x0 ) ≤ T max .
Remark 2. Let the origin x = 0 of system (4) be fixed-time stable. Notice that there are multiple upper bounds of
the settling-time function T max ; for instance, if T (x0 ) ≤ T max , also T (x0 ) ≤ λT max with λ ≥ 1. However, from this
boundedness condition, the least upper bound of the settling-time function sup x0 ∈Rn T (x0 ) exists.
Remark 3. It has been shown that fixed-time stability is guaranteed if the vector field of the system is homogeneous
in the bi-limit, a concept defined in [15, 20]. However, in these cases, the upper bound for the settling time is usually
not obtained. To differentiate this case to one where a settling time bound T c is set in advance as a function of system
parameters ρ, i.e. T c = T c (ρ), we introduce the concept of predefined-time stability. A strong notion of this class of
stability is given when sup x0 ∈Rn T (x0 ) = T c , i.e., T c is the least upper bound for the settling time.

3

Definition 4. (Predefined-time stability [21]) For the parameter vector ρ of system (4) and an arbitrarily selected
constant T c := T c (ρ) > 0, the origin of (4) is said to be predefined-time stable if it is fixed-time stable and the
settling-time function T : Rn → R is such that
T (x0 ) ≤ T c ,

∀x0 ∈ Rn .

If this is the case, T c is called a predefined time. Moreover, if the settling-time function is such that sup x0 ∈Rn T (x0 ) = T c ,
then T c is called the strong predefined time.
Remark 4. The stability property, of any kind, refers to equilibrium points of a system. However, since this study only
focuses on the global stability of the origin of the system under consideration, it may be referred hereafter, without
ambiguity, to the stability of the system in the respective sense (asymptotic, fixed-time or predefined-time).
3. On the least upper bound for the settling time of a class of fixed-time stable systems
3.1. Least upper bound of the settling-time function of system (1)
Let us first revisit the well-known class of fixed-time stable systems. In the following theorem, based on an
appropriate use of the Gamma function, the least upper bound of the settling-time function of system (1) is provided.
Theorem 1. Let

   
Γ m p Γ mq α !m p
,
(6)
γ= k
α Γ(k)(q − p) β
R +∞
kq−1
where Γ(·) is the Gamma function defined as Γ(z) = 0 e−t tz−1 dt [22, Chapter 1], and m p = 1−kp
q−p and mq = q−p
are positive parameters. The origin x = 0 of system (1) is fixed-time stable and the settling time function satisfies
sup x0 ∈Rn T (x0 ) = γ.
Proof. Note that for system (1), the field is f (x; ρ) = − (α|x| p + β|x|q )k signx, where the parameter vector is ρ =


α β p q k T ∈ R5 . Furthermore, the product x f (x; ρ) = − (α|x| p + β|x|q )k |x| < 0 for all x ∈ R \ {0}. Thus, V(x) = 21 x2
is a radially unbounded Lyapunov function for system (1), so its origin x = 0 is Lyapunov stable [18, Theorem 4.2].
Now, let x0 ∈ R \ {0} (if x0 = 0, then x(t, 0) = 0 is the unique solution of (1) and T (0) = 0). From (5), the settling
time function is
Z 0
dx
T (x0 ) =
f
(x;
ρ)
x
Z 0x0
signxdx
=
,
z = |x|
p
(α
+ β |x|q )k
|x|
0
Z |x0 |
dz
.
=
p + βzq )k
(αz
0
1
Since the integrand (αz p +βz
q )k is positive for z ∈ (0, |x0 |), the settling time function is increasing with respect to |x0 |.
Hence, the least upper bound of T (x0 ) (in the extended real numbers set, since we do not know yet if it is finite or not)
is obtained using Proposition 1, in the Appendix, as
Z +∞
dz
sup T (x0 ) = lim T (x0 ) =
= γ,
p
|x
|→+∞
(αz
+ βzq )k
0
x0 ∈R
0

with γ < +∞ as in (6). Using Lemma 1 and by the definitions of finite-time and fixed-time stability, the origin x = 0
of system (1) is fixed-time stable and T f = γ, which completes the proof.

4

3.2. A class of predefined-time stable systems
Now, the result presented in Theorem 1 is used to derive a Lyapunov-like condition for characterizing predefinedtime stability of a system.
Theorem 2. (A Lyapunov characterization for predefined-time stable systems) If there exists a continuous positive
definite radially unbounded function V : Rn → R such that any solution x(t, x0 ) of (4) satisfies
V̇(x) ≤ −

γ
(αV(x) p + βV(x)q )k ,
Tc

∀x ∈ Rn \ {0}.

(7)

where α, β, p, q, k > 0, kp < 1, kq > 1 and γ is given in (6).
Then, the origin of (4) is predefined-time stable and T c is a predefined time. If in addition, the equality holds in (7),
then T c is the strong predefined-time.
Proof. The negative definiteness of the time derivative of the function V implies Lyapunov stability of the origin
of (4). Now, suppose that there exists a function w(t) ≥ 0 that satisfies
ẇ = −(α̂w p + β̂wq )k ,
  1k
  1k
and β̂ = β γ(ρ)
, and V(x0 ) ≤ w(0). Hence, by Theorem 1, w(t) will converge to the origin in a
where α̂ = α γ(ρ)
Tc
Tc
strong predefined time
   
   
!m
Γ m p Γ mq α̂ !m p
T c Γ m p Γ mq α p
=
= Tc
γ(ρ) αk Γ(k)(q − p) β
α̂k Γ(k)(q − p) β̂
which is directly a tunable parameter of the system. Furthermore, by the comparison lemma [18, Lemma 3.4], it
follows that V(x(t)) ≤ w(t), with equality only if (7) is an equality. Consequently, the origin of system (4) is predefinedtime stable with predefined time T c . Moreover, if (7) is an equality, then sup x0 ∈Rn T (x0 ) = T c , i.e., T c is the strong
predefined time.
Example 1. Consider system (3) and the continuous positive definite radially unbounded Lyapunov candidate function
V(x) = |x| for this system. The derivative of V(x) along the trajectories of system (3) is
V̇(x) = − signx

γ
γ
(α |x| p + β |x|q )k signx = − (αV(x) p + βV(x)q )k .
Tc
Tc

Hence, by Theorem 2, the origin of system (3) is predefined-time stable with strong predefined time T c .
To illustrate the above, some numerical simulations of system (3) are conducted, setting the parameters to α = 4,
β = 41 , T c = 1, p = 0.5, q = 3, k = 1.5. The simulations are conducted for several initial conditions x0 , as presented
in Figure 1. It can be seen that sup x0 ∈R T (x0 ) = T c = 1 as stated above.
Remark 5. In [23], the least upper estimation of the settling time of (1) was addressed for the case where k = 1,
Γ( 1 )2
p = 1 − s, q = 1 + s, with 0 < s < 1, where γ(ρ) reduces to γ(ρ) = 2s √2 αβ = 2s √π αβ . In [24], it was shown that,
π
in the case α = β = 2sT
, the least upper bound of the settling time is T c . Thus, Theorem 2 is a generalization
c
of the results presented in [23] and [24]. Since only for the case where k = 1, p = 1 − s and q = 1 + s, with
0 < s < 1, a non-conservative upper bound estimate is provided, many applications, for instance fixed-time consensus
protocols [25–27], have been restricted to this case.
Given the relevance of fixed-time stability argumented in the introduction, inequality (7) is a result of paramount
importance, since as we show in the following, the upper estimate (2) is often too conservative. Thus, applications
based on the upper estimate of the settling time (2) presented in [1, Lemma 1] are often over-engineered.

5

Tc = 1

T max (4) = 4.4331

x0 = 1e20

x0 = 1

x0 = 0.1
x(t, x0 )

time (t)
Figure 1: Trajectories of (3) for different initial conditions with α = 4, β = 14 , T c = 1, p = 0.5, q = 3, k = 1.5. The upper estimate in (9) is
T max (4) = 4.4331s. The least upper estimate is T c = 1s.

6

3.3. Settling time bound analysis and comparison
Consider the predefined-time stable system (3), with strong predefined-time T c . From (2), calculated in [1], an
upper bound for the settling time T (x0 ) is
!
1
Tc
1
+
, ∀x0 ∈ R.
(8)
T (x0 ) ≤
γ(ρ) αk (1 − pk) βk (qk − 1)
Let % > 0, α = % and β = 1% . Assuming that p, q and k remain constant, and noticing that γ is a function of %, it
can be seen that varying % the least upper bound of the settling time remains constant and equal to T c . However, the
bound (8) becomes
!
Tc
1
%2(k−2m p )
T (x0 ) ≤ T max (%) :=
+
,
(9)
K %2m p (1 − pk) (qk − 1)
where K =

Γ(m p )Γ(mq )
Γ(k)(q−p) . It is easy to see that

lim T max (%) = lim T max (%) = +∞,
%→∞

%→0

i.e., T max (%) in (9) has no upper bound as % increases or is close to zero.
Moreover, the best upper estimate of the bound (9) is achieved at arg min%>0 T max (%) = 1, and its value is
!
1
1
Tc
+
> Tc.
min T max (%) = T max (1) =
%>0
K (1 − pk) (qk − 1)
An illustration of this argument, showing T max (%) as a function of %, with T c = 1s, is presented in Figure 2.
Although, by Theorem 2 the least upper bound of the settling time is T c = 1s, it can be seen that in the best case
1
1
the bound (8) provides an overestimation of εT c with ε = K1 (1−pk)
+ (qk−1)
= 1.1249. Moreover, in
p=0.5,q=3,k=1.5

Figure 1, it can be seen that although the least upper bound of the settling-time function is T c = 1s, the upper bound
estimation provided by (9) is T max (%)|%=4 = 4.4331s.
4. Application to robust predefined-time stabilization for first and second order systems
4.1. First-order predefined-time controllers
Consider the following perturbed first-order system
ẋ(t) = u(t) + ∆(t),

(10)

where x ∈ R is the state variable, u ∈ R is the control input and ∆(t) ∈ R is an unknown but bounded perturbation
term of the form |∆(t)| ≤ δ, with 0 ≤ δ < ∞ a known constant.
The objective is to to design the control input u such that the origin x = 0 of system (10) is predefined-time stable,
in spite of the unknown perturbation term ∆(t).
Theorem 3. Let α, β, p, q, k > 0, kp < 1, kq > 1, T c > 0, ζ ≥ δ and γ be as in (6). If the control input u is selected as
"
#
γ
p
q k
(α |x| + β |x| ) + ζ signx
u=−
(11)
Tc
then, the origin x = 0 of system (10) is predefined-time stable with predefined time T c .

7

T max (%)

Tc

%
Figure 2: Function T max (%) for p = 0.5, q = 3, k = 1.5. The least upper bound of the settling time is T c = 1s. The smallest value of T max (%) is
min%>0 T max (%) = T max (1) = 1.1249s.

8

T max = 4.4331

∆(t)

Tc = 1

x0 = 0.1

x(t, x0 )

x0 = 1e20

x0 = 1
time (t)

Figure 3: State trajectory of the closed-loop system (10)-(11) with T c = 1s and the considered perturbation.

Proof. Consider the continuous radially unbounded Lyapunov function candidate V(x) = |x|. Its derivative along the
trajectories of the closed system (10)-(11) yields
"
#
γ
p
q k
(α |x| + β |x| ) signx + ζ signx − ∆
V̇(x) = − signx
Tc
γ
= − (αV(x) p + βV(x)q )k − ζ + ∆ signx
Tc
γ
≤ − (αV(x) p + βV(x)q )k − ζ + ∆ signx
Tc
γ
≤ − (αV(x) p + βV(x)q )k − (ζ − δ)
Tc
γ
≤ − (αV(x) p + βV(x)q )k .
Tc
Hence, using Theorem 2, the origin x = 0 of system (10) is predefined-time stable with predefined time T c .
Example 2. An example of this approach is shown in Figure 3, where the control input u given in (11), with ζ = 1,
p = 0.5, q = 3, k = 1.5 and α = 1/β = % = 4, is applied to the perturbed system (10) with disturbance ∆(t) =
sin(2πt/5). Note that although the upper bound of the settling-time function is T c = 1s using the proposed scheme,
the upper bound estimation provided by [1] is T max (%)|%=4 = 4.4331s.
4.2. Second-order predefined-time controllers
Consider the following perturbed second-order system
ẋ1 = x2
ẋ2 = u + ∆(t),

(12)

where x1 , x2 ∈ R are the state variables, u ∈ R is the control input and ∆(t) ∈ R is an unknown but bounded
perturbation term of the form |∆(t)| ≤ δ, with 0 ≤ δ < ∞ a known constant.
The objective is to design the control input u such that the origin (x1 , x2 ) = (0, 0) of system (12) is predefined-time
stable, in spite of the unknown perturbation term ∆(t).
The following definition will be useful for stating Theorem 4.
9

Definition 5. For any real number r, the function x → bxer is defined as bxe = |x|r signx for any x ∈ R if r > 0, and
for any x ∈ R \ {0} if r ≤ 0.
Theorem 4. Let α1 , α2 , β1 , β2 , p, q, k > 0, kp < 1, kq > 1, T c1 , T c2 > 0, ζ ≥ δ, and
 2
   
!1/4
Γ 14
Γ m p Γ mq α 2 ! m p
α1
γ1 = 1/2  
, and γ2 = k
,
α2 Γ(k)(q − p) β2
2α Γ 1 β1
1

2

kq−1
with m p = 1−kp
q−p and mq = q−p . If the control input is selected as




γ2 
 γ2

(α2 |σ| p + β2 |σ|q )k + 12 α1 + 3β1 x12 + ζ  signσ,
u = − 
T c2
2T c1

(13)

where the sliding variable σ is defined as


1/2

γ12 
2
1
3 

σ = x2 + bx2 e + 2 α1 bx1 e + β1 bx1 e  ,

T c1

(14)

then the origin (x1 , x2 ) = (0, 0) of system (12) is predefined-time stable with predefined time T c = T c1 + T c2 .
Proof. The time-derivative of the sliding variable σ in (14) is

γ2 
|x2 | (u + ∆) + 2T12 α1 + 3β1 x12 x2
c1
σ̇ = u + ∆ +

 1/2
2
γ
bx2 e2 + T 21 α1 bx1 e1 + β1 bx1 e3
c1


γ2 
γ2
(α2 |σ| p + β2 |σ|q )k signσ − ζ signσ + ∆ − 12 α1 + 3β1 x12 signσ
T c2
2T c1

γ12 
γ2
2
p
q k
α
+
3β
x
(α
)
+
β
signσ
+
ζ
signσ
−
∆
|σ|
|σ|
1
1
2
2
2
1
2T c1
Tc

− 2
−
|x2 | signσ − x2 .
1/2
1/2




2
2
γ
γ
bx2 e2 + T 21 α1 bx1 e1 + β1 bx1 e3
bx2 e2 + T 21 α1 bx1 e1 + β1 bx1 e3
=−

c1

c1

Now, considering V2 (σ) = |σ| as a continuous radially unbounded positive definite Lyapunov candidate function
it can be easily checked using the above that
γ2
(α2 V2 (σ) p + β2 V2 (σ)q )k ,
V̇(σ) ≤ −
T c2
and using Theorem 2, the origin σ = 0 of the sliding variable dynamics is predefined-time stable with predefined time
T c2 .
Once the system trajectories are constrained to the manifold σ = 0, i.e. for t ≥ T c2 , the solutions of system (12)
satisfy the following reduced-order dynamics (see (14)):
1/2
γ1 
ẋ1 = x2 = −
α1 |x1 | + β1 |x1 |3
signx1 .
T c1
Thus, considering V1 (x1 ) = |x1 | as a continuous radially unbounded positive definite Lyapunov candidate function and
using Theorem 2, it is concluded that the origin x1 = 0 of the reduced order system is predefined-time stable with
predefined time T c1 . Moreover, from (14), if σ = 0 and x1 = 0, then x2 = 0. Hence, it is concluded that the origin
(x1 , x2 ) = (0, 0) of the closed-loop system (12)-(13) is predefined-time stable with predefined time T c1 + T c2 .
Example 3. An example of this approach is shown in Figure 4, where the control input u given in (13), with ζ = 1,
p = 0.5, q = 3, k = 1.5 and α1 = α2 = 1/β1 = 1/β2 = 4 is applied to the perturbed system (12) with disturbance
∆(t) = sin(2πt/5). It follows from Theorem 4 that with T c1 = T c2 = 0.5s, the origin (x1 , x2 ) = (0, 0) of system (12) is
predefined-time stable with predefined time T c = 1s. Note that although the upper bound of the settling-time
function


T

is T c = 1s using the proposed scheme, the upper bound estimation provided by [1] is T max = γc22


2T c1
√1 + √1
= 5.1073s.
γ1
α1
β
1

10

1
1
+ βk (qk−1)
αk2 (1−pk)
2

+

0.4
0.2

x1 (0) = 0.1

0

x2 (t, x0 )

-0.4
-0.6
-0.8
-1.0

x2 (0) = 100

x2 (0) = 1

-0.2

T max = 5.1073

0.6

Tc = 1

x1 (t, x0 )

0.8

x1 (0) = 100
x1 (0) = 1

1.0

x2 (0) = 0.1
0

0.5

1.0

1.5

2.0

0

0.5

1.0

1.5

2.0

2.5

3.0

3.5

4.0

4.5

5.0

2.5

3.0

3.5

4.0

4.5

5.0

1.0

∆(t)

0.5
0

-0.5
-1.0

time (t)
Figure 4: State trajectory of the closed-loop system (12)-(13) with T c = 1s and the considered perturbation.

5. Conclusion
In this paper, we studied the convergence time of a class of fixed-time stable systems with the aim to provide a
new non-conservative upper bound for its settling time. We showed that the well-known upper bound condition for
the settling time of this class of systems is often too conservative. To illustrate our claim, we showed how by changing
one parameter the upper estimate of the settling time tends to infinity even though the actual settling time is always
bounded by a constant T c . To address this problem, we proposed a modification to the classical fixed-time algorithm
to transform it into a strongly predefined-time (in which the upper bound for the settling time is set in advance as a
parameter of the system and is the lowest upper estimate of the settling time) with strong predefined-time T c . With
this result, the Lyapunov inequality, which is a sufficient condition for fixed-time stability, was modified in a way
that it becomes predefined-time parametrized by T c . When such inequality becomes equality, T c becomes the lowest
upper estimate of the settling time of the system. At last, predefined-time controllers for first order and second order
systems were introduced. Some simulation results have shown the performance of the proposed scheme in terms of
settling time estimation compared to existing methods. This is an important contribution toward online differentiators,
observers and controllers satisfying prescribed-time objectives.
Appendix A. Auxiliary Results
Definition 6. [22, Pg. 87] Let a, b > 0. The Beta function, denoted by B(a, b), is defined as
B(a, b) =

Z 1

za−1 (1 − z)b−1 dz =

0

Γ(a)Γ(b)
.
Γ(a + b)

Proposition 1. Let α, β, p, q, k > 0, with pk < 1, qk > 1. Hence,
     m p
Z +∞
Γ m p Γ mq αβ
dx
=
.
(αx p + βxq )k
αk Γ(k)(q − p)
0

11

(A.1)

Proof. The left-hand side of (A.1) can be rewritten as
Z +∞
Z +∞ −k −qk
dx
β x dx
=

k .
p
q
k
(αx + βx )
α p−q
0
0
x +1

(A.2)

β


−1
Note that the term z = αβ x p−q + 1 goes to 0 when x → 0 and to 1 when x → +∞ if p − q < 0. Furthermore, using
z as a variable change and by Definition 6, the integral (A.2) becomes
 m p
Z 1
Z +∞
α
dx
β
=
zm p −1 (1 − z)mq −1 dz
(αx p + βxq )k αk (q − p) 0
0


B m p , mq α ! m p
= k
α (q − p) β
   
Γ m p Γ mq α ! m p
= k
,
α Γ(k)(q − p) β
concluding the proof.
References
[1] A. Polyakov, Nonlinear Feedback Design for Fixed-Time Stabilization of Linear Control Systems, IEEE Transactions on Automatic Control
57 (8) (2012) 2106–2110.
[2] F. Lopez-Ramirez, D. Efimov, A. Polyakov, W. Perruquetti, Fixed-Time Output Stabilization and Fixed-Time Estimation of a Chain of
Integrators, International Journal of Robust and Nonlinear Control .
[3] Y. Dvir, A. Levant, D. Efimov, A. Polyakov, W. Perruquetti, Acceleration of finite-time stable homogeneous systems, International Journal of
Robust and Nonlinear Control 28 (5) (2018) 1757–1777.
[4] Y. Song, Y. Wang, M. Krstic, Time-varying feedback for stabilization in prescribed finite time, International Journal of Robust and Nonlinear
Control .
[5] Z. Zuo, B. Tian, M. Defoort, Z. Ding, Fixed-Time Consensus Tracking for Multiagent Systems With High-Order Integrator Dynamics, IEEE
Transactions on Automatic Control 63 (2) (2018) 563–570, ISSN 0018-9286, doi:\bibinfo{doi}{10.1109/TAC.2017.2729502}.
[6] Y. Shang, Y. Ye, Fixed-time group tracking control with unknown inherent nonlinear dynamics, IEEE Access 5 (2017) 12833–12842.
[7] E. Cruz-Zavala, J. A. Moreno, L. M. Fridman, Uniform Robust Exact Differentiator, IEEE Transactions on Automatic Control 56 (11) (2011)
2727–2733, ISSN 0018-9286, doi:\bibinfo{doi}{10.1109/TAC.2011.2160030}.
[8] M. T. Angulo, J. A. Moreno, L. Fridman, Robust exact uniformly convergent arbitrary order differentiator, Automatica 49 (8) (2013) 2489–
2495.
[9] M. Basin, P. Yu, Y. Shtessel, Finite-and fixed-time differentiators utilising HOSM techniques, IET Control Theory & Applications 11 (8)
(2016) 1144–1152.
[10] M. Defoort, M. Djemai, T. Floquet, W. Perruquetti, Robust finite time observer design for multicellular converters, International Journal of
Systems Science 42 (11) (2011) 1859–1868.
[11] D. Gómez-Gutiérrez, S. Čelikovský, A. Ramı́rez-Treviño, B. Castillo-Toledo, On the observer design problem for continuous-time switched
linear systems with unknown switchings, Journal of the Franklin Institute 352 (2015) 1595–1612.
[12] V. Haimo, Finite Time Controllers, SIAM Journal on Control and Optimization 24 (4) (1986) 760–770.
[13] S. Bhat, D. Bernstein, Finite-Time Stability of Continuous Autonomous Systems, SIAM Journal on Control and Optimization 38 (3) (2000)
751–766.
[14] E. Moulay, W. Perruquetti, Finite-Time Stability and Stabilization: State of the Art, in: C. Edwards, E. Fossas Colet, L. Fridman (Eds.),
Advances in Variable Structure and Sliding Mode Control, vol. 334 of Lecture Notes in Control and Information Science, Springer Berlin
Heidelberg, 23–41, 2006.
[15] V. Andrieu, L. Praly, A. Astolfi, Homogeneous Approximation, Recursive Observer Design, and Output Feedback, SIAM Journal on Control
and Optimization 47 (4) (2008) 1814–1850.
[16] E. Jiménez-Rodrı́guez, J. D. Sánchez-Torres, A. G. Loukianov, On optimal predefined-time stabilization, International Journal of Robust and
Nonlinear Control 27 (17) (2017) 3620–3642, ISSN 1099-1239, doi:\bibinfo{doi}{10.1002/rnc.3757}.
[17] E. Jiménez-Rodrı́guez, J. D. Sánchez-Torres, D. Gómez-Gutiérrez, A. G. Loukianov, Variable structure predefined-time stabilization of
second-order systems, Asian Journal of Control doi:\bibinfo{doi}{10.1002/asjc.1785}.
[18] H. K. Khalil, J. Grizzle, Nonlinear systems, vol. 3, Prentice hall Upper Saddle River, 2002.
[19] E. Moulay, W. Perruquetti, Finite time stability conditions for non-autonomous continuous systems, International Journal of Control 81 (5)
(2008) 797–803, ISSN 0020-7179, doi:\bibinfo{doi}{10.1080/00207170701650303}.
[20] A. Polyakov, D. Efimov, W. Perruquetti, Robust stabilization of MIMO systems in finite/fixed time, International Journal of Robust and
Nonlinear Control 26 (1) (2016) 69–90.

12

[21] J. D. Sánchez-Torres, D. Gómez-Gutiérrez, E. López, A. G. Loukianov, A class of predefined-time stable dynamical systems, IMA Journal
of Mathematical Control and Information 35 (Suppl 1) (2018) i1–i29, doi:\bibinfo{doi}{10.1093/imamci/dnx004}.
[22] H. Bateman, A. Erdélyi, et al., Higher transcendental functions, Vol. 1, McGraw-Hill, New York, 1953.
[23] S. Parsegov, A. Polyakov, P. Shcherbakov, Nonlinear fixed-time control protocol for uniform allocation of agents on a segment, in: Decision
and Control (CDC), 2012 IEEE 51st Annual Conference on, IEEE, 7732–7737, 2012.
[24] E. Jiménez-Rodrıguez, J. D. Sánchez-Torres, A. J. Muñoz Vázquez, A. G. Loukianov, A Note on Predefined-Time Stability, in: Second
Conference on Modelling, Identification and Control of Nonlinear Systems (IFAC MICNON), IFAC, Guadalajara, México, 520–525, 2018.
[25] Z. Zuo, L. Tie, A new class of finite-time nonlinear consensus protocols for multi-agent systems, International Journal of Control 87 (2)
(2014) 363–370.
[26] M. Defoort, A. Polyakov, G. Demesure, M. Djemai, K. Veluvolu, Leader-follower fixed-time consensus for multi-agent systems with unknown
non-linear inherent dynamics, IET Control Theory & Applications 9 (14) (2015) 2165–2170.
[27] B. Ning, J. Jin, J. Zheng, Fixed-time consensus for multi-agent systems with discontinuous inherent dynamics over switching topology,
International Journal of Systems Science 48 (10) (2017) 2023–2032.

13

