Next Article in Journal
Design and Fabrication Process Optimization of Silver-Based Inkjet-Printed Microheater
Next Article in Special Issue
An Approximate Method of System Entropy in Discrete-Time Nonlinear Biological Networks
Previous Article in Journal
Motion Planning of an Inchworm Robot Based on Improved Adaptive PSO
Previous Article in Special Issue
State Feedback Stabilization for a Class of Upper-Triangular Stochastic Nonlinear Systems with Time-Varying Control Coefficients
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fast Finite-Time Stability and Its Application in Adaptive Control of High-Order Stochastic Nonlinear Systems

School of Mathematics Science, Liaocheng University, Liaocheng 252000, China
*
Author to whom correspondence should be addressed.
Processes 2022, 10(9), 1676; https://doi.org/10.3390/pr10091676
Submission received: 22 July 2022 / Revised: 16 August 2022 / Accepted: 20 August 2022 / Published: 23 August 2022
(This article belongs to the Special Issue Advances in Nonlinear and Stochastic System Control)

Abstract

:
In this article, a new design method for an adaptive fast finite-time controller (FTC) is proposed for the finite-time stability (FTS) issue of a class of high-order stochastic nonlinear systems (HOSNSs) with unknown parameters. Using a power integrator technology and Lyapunov function approach, an adaptive state feedback controller is derived to ensure fast FTS of HOSNSs. The developed adaptive fast FTC is equipped with less settling time to obtain better steady-state accuracy compared with the traditional FTC. The effectiveness of the proposed adaptive control scheme is demonstrated by a numerical example.

1. Introduction

As typical dynamic systems, the controller design problem of high-order nonlinear systems (HONSs) has drawn great attention due to its important applications in the industry. However, HONSs are neither feedback linearization at the origin nor affine in the control input, which makes the control issues challenging. Fortunately, with the aid of the homogeneous domination technique [1] and by adding a power integrator technique [2], tremendous progress has been made for stability issues of HONSs [3,4,5,6,7]. Recently, the research on this subject has been further expended to HONSs with unknown nonlinear functions. To overcome the obstacles arising from the unknown nonlinearities, the adaptive control scheme is one of the most effective methods to deal with unknown functions; for instance, refer to [8,9,10,11,12,13] and references therein.
It should be noted that all the above results are asymptotically convergent, which cannot meet the transient performance requirements of practical application systems. As a matter of fact, it is expected that nonlinear system trajectories can converge to a Lyapunov stable equilibrium state in finite time, while also having better robustness and faster convergence speed. Based on this problem, Bhat et al. first presented the concept of FTS for continuous autonomous systems [14]. Moulay et al. extended the FTS theory of autonomous systems to non-autonomous systems [15]. In [16], a finite-time tracking control method of an uncertain nonlinear system was discussed in virtue of the approximation ability of fuzzy logic systems. Furthermore, there are also other remarkable achievements on FTS, such as [17,18,19] and the references therein.
Unfortunately, random disturbances are inevitable and often lead to the instability of the system in engineering systems. Consequently, it is very important to establish a stochastic system model and solve the issue of stability for stochastic nonlinear systems [20,21,22,23,24,25,26,27]. As far as the stability of the HOSNSs is investigated, the finite-time control is of great research value. For this purpose, Chen et al. and Yin et al. presented the finite-time attractiveness (FTA) concept and FTS theorem for stochastic nonlinear systems in [28,29] separately. Recently, by relaxing the constraint of the differential operator, Yu et al. proved that an unstable deterministic system can obtain finite-time convergence by Brownian noise [30], and a number of interesting results have been obtained [31,32,33,34,35,36,37,38,39].
With more in-depth research on FTS, researchers found that the convergence rate was even slower than the exponential when the initial state was far from the point of the origin. To handle this faultiness, Shen et al. made an important step to improve the convergence rate by adding a linear term into controller design processes [40]. Sun et al. presented fast FTS theory to improve the traditional finite-time control scheme [41]. To date, the so-called fast finite-time control scheme has received increasing interest from a variety of research communities, such as [42,43,44]. However, it should be pointed out that very few results have been available on fast FTS for stochastic nonlinear systems, and this leaves a gap that will be narrowed through our endeavors in this article.
Fully taking into consideration the practical application system requirements, this article strives to solve the adaptive fast finite-time control design issue for HOSNSs based on the abovementioned discussion. The main difficulties stem from the following. In comparison with the deterministic case, the stochastic nonlinear systems will generate more tedious inequalities since It o ^ stochastic differentiation involves not only gradients but also higher-order Hessian terms in the Lyapunov design process of HOSNSs. To solve this problem, we extend the fast FTS theory to the corresponding stochastic cases. The novelties of this article are summarized as follows:
1.
Fast finite-time adaptive control strategy of deterministic systems is extended to stochastic cases, which provides a new idea for the FTS of HOSNSs, and expands its application scope in practical engineering successfully.
2.
By choosing an appropriate Lyapunov function, an adaptive state feedback controller is constructed accordingly to ensure that equilibrium at the origin of the closed loop systems is fast finite-time stable in probability.
3.
Compared with previous studies, it is shown that the fast finite-time adaptive control strategy not only improves the control speed significantly, but also reduces the settling time effectively.
Notations: To process further, we introduce the following useful notations. R m is the Euclidean space with dimension m for m = 1 , 2 , , n and R o d d 1 = { a b | a,b are positive odd integers satisfying a b } . V C 2 means that V is a second-order differentiable continuous function and its second derivative is also continuous. Consider stochastic nonlinear system d x = f ( t , x ) d t + g ( t , x ) d ω ; the differential operator L is defined as L V ( x , t ) = V t + V x f ( x , t ) + 1 2 t r a c e [ g ( x , t ) T 2 V x 2 g ( x , t ) ] . For all q R + and y R , define y q = | y | q s i g n ( y ) .

2. Preliminaries

Now, a class of stochastic nonlinear systems are considered as follows:
d x 1 = x 2 p 1 d t + f 1 ( x ¯ 2 , d ) d t + g 1 T ( x 1 , d ) d ω , d x 2 = x 3 p 2 d t + f 2 ( x ¯ 3 , d ) d t + g 2 T ( x ¯ 2 , d ) d ω , d x n = u p n d t + f n ( x , u , d ) d t + g n T ( x , d ) d ω , x ( 0 ) = ( x 10 , , x n 0 ) T ,
where x ( t ) = ( x 1 , x 2 , , x n ) T R n is the system state, u ( t ) R is the control input, d R r is a parameter vector denoting an unknown value, and p i satisfies p i R o d d 1 . The functions f i ( · ) and g i ( · ) are continuous with f i ( 0 , d ) = 0 and g i ( 0 , d ) = 0 for i = 1 , 2 , , n . ω is a standard Brownian motion defined on a probability space ( Ω , F , P ) . The following assumptions are needed in this paper.
Assumption A1.
There exist known nonnegative smooth functions f ¯ i and g ¯ i such that, for arbitrary i = 1 , , n
| f i ( x ¯ i + 1 , d ) | κ i | x i + 1 | p i + θ l = 1 i | x l | μ i , l + r i + ω r l f ¯ i ( x ¯ i ) ,
| | g i ( x ¯ i + 1 , d ) | | θ l = 1 i | x l | μ ¯ i , l + 2 r i + ω 2 r l g ¯ i ( x ¯ i ) ,
where 0 κ i < 1 , ω ( 1 l = 1 n 2 p 0 p l 1 , 0 ) 0 with p 0 = 1 , and μ i , l 0 , μ ¯ i , l 0 , r 1 = 1 2 , r i + 1 = r i + ω p i are constants.
The following definitions and lemmas are needed for the processes of controller derivation.
Definition 1.
[29] Consider a stochastic nonlinear system
d x ( t ) = f ( t , x ( t ) ) d t + g ( t , x ( t ) ) d w ( t ) ,
where x ( 0 ) = x 0 R n is the initial value. For any x 0 R , if the solution x ( t ; x 0 ) satisfies the following conditions, then the system (4) is finite-time stable in probability.
1. 
Finite-time attractiveness in probability: The stochastic settling time τ x 0 * = i n f { t : x ( t ; x 0 ) = 0 } with initial value x 0 R n \ { 0 } is finite almost surely; in other words, P { τ x 0 < + = 1 } ;
2. 
Stability in probability: For ϵ ( 0 , 1 ) and s > 0 , which means that there exists a σ = σ ( ϵ , s ) > 0 such that P { | x ( t ; x 0 ) | < s , t 0 } 1 ϵ , whenever | x 0 | < σ .
Lemma 1.
[42]
For v 1 R m , v 2 R n , if ( v 1 , v 2 ) is a continuous function, then
| ( v 1 , v 2 ) | a ( v 1 ) + b ( v 2 ) , | ( v 1 , v 2 ) | c ( v 1 ) d ( v 2 ) .
where a ( v 1 ) 0 , b ( v 2 ) 0 , c ( v 1 ) 1 , d ( v 2 ) 1 are smooth functions.
Lemma 2.
[41] Let real numbers v 1 , v 2 > 0 and a smooth function ε ( a , b ) > 0 ; then, for arbitrary a R , b R
| a | v 1 | b | v 2 v 1 v 1 + v 2 ε ( · ) | a | v 1 + v 2 + v 2 v 1 + v 2 ε v 1 v 2 ( · ) | v 2 | v 1 + v 2 .
Lemma 3.
[35] For a given p = a b R o d d 1 , b 1 , then for v 1 , v 2 R ,
| v 1 + v 2 | 1 p | v 1 | 1 p + | v 2 | 1 p , | v 1 + v 2 | p 2 p 1 ( | v 1 | p + | v 2 | p ) , | v 1 1 p v 2 1 p | 2 p 1 p | v 1 v 2 | 1 p , | v 1 a b v 2 a b | 2 b 1 b | v 1 a v 2 a | 1 b .
Lemma 4.
[41] For b 1 , v R , if ( v ) = s i g n ( v ) | v | b is C 1 , then
˙ ( v ) = b | v | b 1 .
Lemma 5.
[30] For stochastic systems (4), if existing, C 2 function V : R n R + and constants c > 0 , γ ( 0 , 1 ) , the following inequality arises:
L V ( x ) 0 , x R n , K ( V ( x ) ) [ c k ( V ( x ) ) + L V ( x ) ] K ( V ( x ) ) 2 V x g ( x ) 2 , x R n \ { 0 } ,
where K ( V ( x ) ) = V γ ( x ) + V ( x ) is a continuous differentiable function with the derivative K ( V ( x ) ) 0 and K ( V ( x ) ) > 0 for any V ( x ) > 0 and
0 ϵ 1 K ( V ( x ) ) d s < , ϵ > 0 ,
then, the system (4) is finite-time stable in probability, and the settling time satisfies
E τ x 0 1 c 0 V ( x 0 ) 1 K ( V ( x ) ) d s .
Lemma 6.
[39] For autonomous system (4), if existing, nonnegative and radially unbounded function V C 2 , and there holds for all x R n
L V ( x ) 0 .
This means that autonomous system (4) has a solution for all initial data.

3. Design Procedures

We now derive the state feedback controller. Firstly, the following transformation formations are introduced:
ξ 1 = x 1 1 r 1 , ξ k = x k 1 r k x k * ( x ¯ k 1 , Θ ^ ) 1 r k , x k * ( x ¯ k 1 , Θ ^ ) = ξ k 1 r k β k 1 r k ( x ¯ k 1 ( t ) , Θ ^ ) , u = x n + 1 * , k = 1 , , n ,
where β 1 , , β k are C 2 functions, x k * ( x ¯ k 1 , Θ ^ ) is called a virtual controller, and Θ ^ ( t ) is the estimate of the unknown constant parameter Θ = m a x { θ , θ 2 } . In view of (5), it follows that
Θ ^ ˙ = i = 1 k τ i ξ i 4 , u ( t ) = x n + 1 * = ( γ + ϕ n ( x ¯ n , Θ ^ ) 1 κ n ) 1 p n ξ n r n + 1 .
Moreover, the current task is the confirmation of ϕ n and τ i in (6) to implement the detailed expression of controller u ( t ) . To this aim, one can consider W k : R k R as
W k ( x ¯ k ) = x k 1 * x k 1 s 1 r k 1 x k 1 * 1 r k 1 4 r k p k 1 d s .
Step 1: Let V 1 = W 1 + 1 2 Θ ˜ 2 , where Θ ˜ ( t ) = Θ Θ ^ ( t ) . Using (5) and Lemma 3, one has | x 2 | p 1 | ξ 2 | r 2 p 1 + | ξ 2 * | p 1 . In addition, there holds
| ξ 1 | ω ( 1 + ξ 1 2 ) ω 2 .
Then, by Assumption 1 and Lemma 1, one can determine that
| f 1 | κ 1 | x 2 | p 1 + Θ ˜ | ξ 1 | r 1 + ω l 11 + Θ ^ | ξ 1 | r 1 + ω l ¯ 11 , g 1 T g 1 Θ ˜ | ξ 1 | 2 r 1 + ω l 12 + Θ ^ | ξ 1 | 2 r 1 + ω l ¯ 12 ,
where l ¯ 11 ( x 1 ) l 11 | x 1 | μ 11 f ¯ 1 ( x 1 ) , l ¯ 12 ( x 1 ) l 12 | x 1 | 2 μ ¯ 11 g ¯ 1 T g ¯ 1 are smooth and positive functions. It should be noted that
m 1 W 1 m 1 ξ 1 4 r 2 p 1 + r 1 m 1 ξ 1 4 ( 1 + ξ 1 2 ) ω 2 .
As a result, there holds
L V 1 ( n 1 + γ ) ξ 1 4 m 1 W 1 + ξ 1 4 r 2 p 1 ( x 2 p 1 x 2 * p 1 ) + Θ ˜ ( τ 1 ξ 1 4 Θ ^ ˙ ) + κ 1 | ξ 1 4 r 2 p 1 x 2 p 1 | + ξ 1 4 r 2 p 1 ( x 2 * p 1 + ( n 1 + γ + Θ ^ l ¯ 1 + ϕ 1 ) ξ 1 r 2 p 1 ) ,
where l ¯ 1 ( x 1 ) = l ¯ 11 + 4 r 2 p 1 2 r 1 l ¯ 12 , ϕ 1 = m 1 ( 1 + ξ 1 2 ) ω 2 , τ 1 ( x 1 ) = l 11 + 4 r 2 p 1 2 r 1 l 12 are C 2 functions and m is a positive number. With the choice of
β 1 ( x 1 , Θ ^ ) = ( n 1 + γ + Θ ^ l ¯ 1 + ϕ 1 1 κ 1 ) 1 r 2 p 1 ,
it is directly deduced from (9) that
L V 1 ( n 1 + γ ) ξ 1 4 + ξ 1 4 r 2 p 1 ( x 2 p 1 x 2 * p 1 ) + Θ ˜ ( τ 1 ξ 1 4 Θ ^ ˙ ) + κ 1 | ξ 1 | 4 r 2 p 1 | ξ 2 | r 2 p 1 .
Step 2: Let V 2 = V 1 + W 2 be a Lyapunov candidate function; it can be deduced from (10) that
L V 2 ( n 1 + γ ) ξ 1 4 m 1 W 1 m 1 W 2 + Θ ˜ ( τ 1 ξ 1 4 Θ ^ ˙ ) + ξ 2 4 r 3 p 2 ( x 3 p 2 x 3 * p 2 ) + W 2 Θ ^ Θ ^ ˙ + ξ 1 4 r 2 p 1 ( x 2 p 1 x 2 * p 1 ) + κ 1 | ξ 1 | 4 r 2 p 1 | ξ 2 | r 2 p 1 + m 1 W 2 + W 2 x 2 ( x 3 * p 2 + f 2 ) + W 2 x 1 ( x 2 p 1 + f 1 ) + 1 2 i , j = 1 2 2 W 2 x i x j g i T g j .
In view of Lemmas 2 and 3, there exists a constant ϕ 21 0 such that
ξ 1 4 r 2 p 1 ( x 2 p 1 x 2 * p 1 ) + κ 1 | ξ 1 | 4 r 2 p 1 | ξ 2 | r 2 p 1 ( 2 1 r 2 p 1 + κ 1 ) | ξ 1 | 4 r 2 p 1 | ξ 2 | r 2 p 1 1 5 ξ 1 4 + ϕ 21 ξ 2 4 .
By Assumption 1 and Lemmas 1–3, some tedious calculations show that
W 2 x 2 ( x 3 * p 2 + f 2 ) ξ 2 4 r 3 p 2 x 3 * p 2 + κ 2 ξ 2 4 r 3 p 2 | x 3 | p 2 + Θ ˜ τ 21 ξ 2 4 + 1 5 ξ 1 4 + ϕ 22 ξ 2 4 ,
W 2 x 1 ( x 2 p 1 + f 1 ) Θ ˜ τ 22 ξ 2 4 + 1 5 ξ 1 4 + ϕ 23 ξ 2 4 ,
1 2 i , j = 1 2 2 W 2 x i x j g i T g j Θ ˜ τ 23 ξ 2 4 + 1 5 ξ 1 4 + ϕ 24 ξ 2 4 ,
where τ 2 i ( x ¯ 2 , Θ ^ ) are nonnegative continuous functions and ϕ 2 j 0 are smooth functions for i = 1 , 2 , 3 , j = 2 , 3 , 4 . In addition, it is worth noting that
m 1 W 2 2 1 r 2 m 1 ( 1 + ξ 2 2 ) ω 2 ξ 2 4 ϕ 25 ξ 2 4 ,
W 2 Θ ^ i = 1 2 τ i ξ i 4 1 5 ξ 1 4 + ϕ 26 ξ 2 4 ,
where ϕ 25 0 , ϕ 26 0 , τ 2 = i = 1 3 τ 2 i are smooth functions. Let ϕ 2 = i = 1 6 ϕ 2 i ; substituting (12)–(17) into (11) and choosing
β 2 ( x ¯ 2 , Θ ^ ) = ( n 2 + γ + ϕ 2 1 κ 2 ) 1 r 3 p 2 ,
one can obtain
L V 2 ( n 2 + γ ) ( ξ 1 4 + ξ 2 4 ) m 1 ( W 1 + W 2 ) + ξ 2 4 r 3 p 2 ( x 3 p 2 x 3 * p 2 ) + ( Θ ˜ W 2 Θ ^ ) ( i = 1 2 τ i ξ i 4 Θ ^ ˙ ) + κ 2 | ξ 2 | 4 r 3 p 2 | ξ 3 | r 3 p 2 .
Step k: Assume that one can choose a C 2 Lyapunov candidate function V k 1 = V k 2 + W k 1 to guarantee
L V k 1 ( n + 1 k + γ ) i = 1 k 1 ξ i 4 m 1 i = 1 k 1 W i + ξ k 1 4 r k p k 1 ( x k p k 1 x k * p k 1 ) + ( Θ ˜ i = 2 k 1 W i Θ ^ ) ( i = 1 k 1 τ i ξ i 4 Θ ^ ˙ ) + κ k 1 | ξ k 1 | 4 r k p k 1 | ξ k | r k p k 1 .
Consider a Lyapunov candidate function
V k = V k 1 + W k = V k 1 + x k * x k s 1 r k x k * 1 r k 4 r k + 1 p k d s ,
and it can be deduced from (19) and (20) that
L V k ( n + 1 k + γ ) i = 1 k 1 ξ i 4 m 1 i = 1 k W i + ξ k 1 4 r k p k 1 ( x k p k 1 x k * p k 1 ) + ( Θ ˜ i = 2 k 1 W i Θ ^ ) ( i = 1 k 1 τ i ξ i 4 Θ ^ ˙ ) + κ k 1 | ξ k 1 | 4 r k p k 1 | ξ k | r k p k 1 + W k Θ ^ Θ ^ ˙ + m 1 W k + W k x k ( x k + 1 p k + f k ) + i = 1 k 1 W k x i ( x i + 1 p i + f i ) + 1 2 ( i , j = 1 k 1 2 W k x i x j g i T g j + 2 i = 1 k 1 2 W k x k x i g k T g i + 2 W k x k 2 g k T g k ) .
First, the application of Lemmas 2 and 3 leads to
ξ k 1 4 r k p k 1 ( x k p k 1 x k * p k 1 ) + κ k 1 | ξ k 1 | 4 r k p k 1 | ξ k | r k p k 1 ( 2 1 r k p k 1 + κ k 1 ) | ξ k 1 | 4 r k p k 1 | ξ k | r k p k 1 1 5 ξ k 1 4 + ϕ k 1 ξ k 4 ,
where ϕ k 1 is a positive constant.
Second, it can be deduced from Assumption 1 and Lemmas 1–3 and some tedious calculations that
i = 1 k 1 W k x i ( x i + 1 p i + f i ) Θ ˜ τ k 1 ξ k 4 + 1 5 ξ k 1 4 + 1 4 i = 1 k 2 ξ i 4 + ϕ k 2 ξ k 4 ,
W k x k ( x k + 1 p k + f k ) ξ k 4 r k + 1 p k x k + 1 p k + κ k | ξ k | 4 r k + 1 p k | x k + 1 | p k + Θ ˜ τ k 2 ξ k 4 + 1 5 ξ k 1 4 + 1 4 i = 1 k 2 ξ i 4 + ϕ k 3 ξ k 4 .
In addition, there holds
1 2 ( i , j = 1 k 1 2 W k x i x j g i T g j + 2 i = 1 k 1 2 W k x k x i g k T g i + 2 W k x k 2 g k T g k ) C [ i , j = 1 , i j k 1 ( x k * x k s 1 r k x k * 1 r k 2 r k + 1 p k d s · ( x k * 1 r k ) x i ( x k * 1 r k ) x j + x k * x k s 1 r k x k * 1 r k 3 r k + 1 p k d s · 2 ( x k * 1 r k ) x i x j ) g i T g j + i = 1 k 1 | ξ k | 3 r k + 1 p k · ( x k * 1 r k ) x i g k T g i + | ξ k | 3 r k + 1 p k · | x k | 1 r k 1 g k T g k ] Θ ˜ τ k 3 ξ k 4 + 1 5 ξ k 1 4 + 1 4 i = 11 k 2 ξ i 4 + ϕ k 4 ξ k 4 ,
where τ k i ( x ¯ 2 , Θ ^ ) and ϕ k j 0 are nonnegative smooth functions for i = 1 , 2 , 3 , j = 2 , 3 , 4 .
Third, by Lemmas 1 and 3, there exist smooth functions ϕ k 5 0 , ϕ k 6 0 , τ k = i = 1 3 τ k i such that
m 1 W k 2 1 r k m 1 ( 1 + ξ k 2 ) ω 2 ξ k 4 ϕ k 5 ξ k 4 ,
W k Θ ^ i = 1 k 1 τ i ξ i 4 + i = 2 k W i Θ ^ τ k ξ k 4 1 5 ξ k 1 4 + 1 4 i = 1 k 2 ξ i 4 + ϕ k 6 ξ k 4 .
Now, take the virtual control signal x k + 1 * as
x k + 1 * ( x ¯ k , Θ ^ ) = β k r k ( x ¯ k , Θ ^ ) ξ k r k + 1 = ( n k + γ + ϕ k 1 κ k ) 1 p k ξ k r k + 1 ,
where ϕ k = i = 1 6 ϕ k i .
Bringing the above inequalities into (21) yields
L V k ( n k + γ ) i = 1 k ξ i 4 m 1 i = 1 k W i + ξ k 4 r k + 1 p k ( x k + 1 p k x k + 1 * p k ) + ( Θ ˜ i = 2 k W i Θ ^ ) ( i = 1 k τ i ξ i 4 Θ ^ ˙ ) + κ k | ξ k | 4 r k + 1 p k | ξ k + 1 | r k + 1 p k .
Step n: Using the above inductive arguments, one can derive that
Θ ^ ˙ = i = 1 k τ i ξ i 4 , u ( t ) = x n + 1 * = ( γ + ϕ n ( x ¯ n , Θ ^ ) 1 κ n ) 1 p n ξ n r n + 1 β n r n + 1 ( x ¯ n ) ξ n r n + 1 ,
where β n 0 is a smooth function. Choose an integral Lyapunov function V n ( x ¯ n , Θ ) such that
L V n γ i = 1 n ξ i 4 m 1 i = 1 n W i ( x ¯ i ) γ W ( x ) 4 4 ω m 1 W ( x ) ,
where W ( x ) = i = 1 n W i ( x ¯ i ) .

4. Main Results

Theorem 1.
Under adaptive control law (29) and (30), stochastic system (1) and trajectory ( x ( t ) , Θ ^ ( t ) ) are bounded in probability and x ( t ) is finite-time stable in probability for all initial states ( x ( t ) , Θ ^ ( t ) ) .
Proof. 
(i) To begin with, we prove that the closed-loop system has a solution.
Obviously, V 1 = 0 x 1 s 1 4 r 2 p 1 r 1 d s + 1 2 Θ ˜ 2 is positive definite and for V 1 ( x ) , x . Supposing that V k 1 is positive definite and radially unbounded with respect to x ¯ k 1 and Θ ˜ , we now prove that V k is positive definite and radially unbounded with respect to x ¯ k and Θ ˜ . By Lemma 1, one has
W i = x i * x i s 1 1 r i x i * 1 r i 4 r i + 1 p i d s r i 2 ω 2 ( 2 r i + 1 p i ) ( r i 1 ) r i | x i x i * | 2 ω r i .
Therefore, there exists a c i = r i 2 ω × 2 ( 2 r i + 1 p i ) ( r i 1 ) r i , such that
V k ( x ¯ k ) = i = 1 k W i + 1 2 Θ ˜ 2 i = 1 k c i x i x i * 2 ω r i + 1 2 Θ ˜ 2 i = 1 k c i ( ξ i + x i * 1 r i ) r i x i * 2 ω r i + 1 2 Θ ˜ 2 ,
that is, V k is a positive definite function. In view of x ¯ k + 1 = [ x ¯ k , x k + 1 ] , one has x ¯ k + 1 , which means that x ¯ k or x k + 1 . On one hand, by V k + 1 V k and x ¯ k , it is not difficult to derive V k + 1 , as x ¯ k + 1 . On the other hand, according to (32), x k + 1 and the continuity of x k * ensures V k + 1 , as x ¯ k + 1 . Consequently, V k ( x , Θ ˜ ) , x , and V k ( x , Θ ˜ ) , Θ ˜ . For stochastic systems (1), it can be observed from (30) and Lemma 6 that there is a solution.
Based on the properties of positive definite V n and radially unbounded with respect to x ¯ k 1 , Θ ˜ , and (30), it follows that the result is bounded in the probability of x and Θ ˜ . Furthermore, one can obtain by Θ ˜ = Θ Θ ^ that Θ ^ is bounded in probability.
(ii) Next, we prove finite-time convergence of x.
With (30) and the fact that W is positive definite and radially unbounded with respect to x and Θ ˜ in mind, it is directly deduced that
L W ( x ) γ W ( x ) 4 4 ω m 1 W ( x ) + ( Θ Θ ^ ) Θ ˜ ˙ ,
where Θ ˜ ˙ = i = 1 k τ i ξ i 4 and γ , m 1 are two positive constants, respectively.
If Θ Θ ^ ( 0 ) with Θ ˜ ˙ = i = 1 k τ i ξ i 4 0 , one has L W ( x ) γ W ( x ) 4 4 ω m 1 W ( x ) .
If Θ Θ ^ ( 0 ) , suppose that that there exists a finite time T 1 0 such that Θ Θ ^ ( t ) for any t T 1 . This means that L W ( x ( t ) ) γ W ( x ( t ) ) 4 4 ω m 1 W ( x ( t ) ) for any t T 1 .
Otherwise, there is another finite time T 2 satisfying Θ ˜ ˙ ( t ) = 0 and Θ Θ ^ ( t ) , which leads to L W ( x ( t ) ) γ W ( x ( t ) ) 4 4 ω m 1 W ( x ( t ) ) , for any t T 2 .
Combining the aforementioned two cases, we learn that, for any Θ ^ ( 0 ) , there is a finite time T 3 such that L W ( x ( t ) ) γ W ( x ( t ) ) 4 4 ω m 1 W ( x ( t ) ) for any t T 3 .
Since 0 < 4 4 ω < 1 and W ( x ( t ) ) is positive definite and radially unbounded with respect to x, it can be proven that the solution x is fast finite-time stable in probability by Lemma 5. □

5. Simulation Example

Consider the uncertain stochastic nonlinear system
d x 1 = ( x 2 7 5 + θ sin x 1 ) d t , d x 2 = u 1 3 d t + x 2 7 5 d ω ,
where θ is an unknown parameter.
In the simulation, Assumption 1 is satisfied with r 1 = 1 2 , r 2 = 5 22 , r 3 = 3 22 , ω = 2 11 ( 5 14 , 0 ) , p 0 = 1 , p 1 = 7 5 , p 2 = 1 3 , κ 1 = 0 , μ 11 = μ ¯ 22 = 0 , μ ¯ 21 = 3 11 and the virtual controller is designed as
x 2 * = ξ 1 5 22 ( 1 + γ + Θ ^ + m 1 ξ 1 2 11 ) 5 7 ,
and one can construct the controller in the form (29).
Take the initial condition [ x 1 , x 2 ] T = [ 1 , 1 ] T , and Θ ^ ( 0 ) = 0 , γ = 1 , and m 1 = 1 . In addition, the comparison results between the conventional finite-time controller (FTC) and the proposed fast finite-time controller (fast FTC) are shown in Figure 1 and Figure 2, where the blue line describes FTC and the red dashed line represents fast FTC. Later, Figure 3 shows the trajectories Θ ^ ( t ) . In addition, Figure 4 and Figure 5 show that the convergent time becomes larger with the decrease in m 1 for fixed γ , and the convergent time is monotonously decreasing with γ for fixed m 1 .

6. Conclusions

This paper has discussed an adaptive fast finite-time control for a class of HOSNSs. The first control obstacle lies in the fact that the stochastic nonlinear systems will generate more tedious inequalities since I t o ^ stochastic differentiation involves not only gradients but also higher-order Hessian terms in the Lyapunov design process of HOSNSs. The second control obstacle comes from the fact that the adaptive and fast FTS of HOSNSs are the inherent obstacles caused by complex structures. To cope with this difficulty, a new adaptive fast finite-time control scheme is designed. Under the proposed scheme, the system’s performance can be guaranteed in a finite time, and it also has better robustness and faster convergence speed.

Author Contributions

Conceptualization, Y.Y. and J.Z.; methodology, Y.Y. and J.Z.; software, Y.Y. and J.Z.; validation, Y.Y. and J.Z.; formal analysis, Y.Y. and J.Z.; writing—original draft preparation, Y.Y.; writing—review and editing, Y.Y.; supervision, J.Z.; project administration, J.Z.; funding acquisition, J.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by the National Natural Science Foundation of China under Grant 62173208, the Taishan Scholar Project of Shandong Province of China under Grant tsqn202103061, and the Shandong Qingchuang Science and Technology Program of Universities under Grant 2019KJN036.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Qian, C.J.; Lin, W. Recursive observer design, homogeneous approximation, and nonsmooth output feedback stabilization of nonlinear systems. IEEE Trans. Autom. Control 2006, 51, 1457–1471. [Google Scholar] [CrossRef]
  2. Lin, W.; Qian, C.J. Adding one power integrator: A tool for global stabilization of high-order lower-triangular systems. Syst. Control Lett. 2000, 39, 339–351. [Google Scholar] [CrossRef]
  3. Zha, W.T.; Zhai, J.Y.; Fei, S.M. Global output feedback control for a class of high-order feedforward nonlinear systems with input delay. ISA Trans. 2013, 52, 494–500. [Google Scholar] [CrossRef] [PubMed]
  4. Sun, Z.Y.; Liu, C.Y.; Su, S.F.; Sun, W. Robust stabilization of high-order nonlinear systems with unknown sensitivities and applications in humanoid robot manipulation. IEEE Trans. Syst. Man Cybern. Syst. 2021, 51, 4409–4416. [Google Scholar] [CrossRef]
  5. Yu, D.X.; Chen, C.L.P.; Ren, C.E.; Sui, S. Swarm control for self-organized system with fixed and switching topology. IEEE Trans. Cybern. 2020, 50, 4481–4494. [Google Scholar] [CrossRef]
  6. Yu, D.X.; Chen, C.L.P. Automatic leader-follower persistent formation generation with minimum agent-movement in various switching topologies. IEEE Trans. Cybern. 2020, 50, 1569–1581. [Google Scholar] [CrossRef]
  7. Kong, M.R.; Liu, L. Exponential stabilization for a class of strict-feedback nonlinear time delay systems via state feedback control scheme. Processes 2022, 10, 1259. [Google Scholar] [CrossRef]
  8. Zhai, J.Y.; Zha, W.T. Global Adaptive Output Feedback Control for a Class of Nonlinear Time-Delay Systems. ISA Trans. 2014, 53, 2–9. [Google Scholar] [CrossRef]
  9. Jia, X.L.; Xu, S.Y.; Cui, G.Z.; Zhang, B.Y.; Ma, Q. Global adaptive regulation of feedforward nonlinear time-delay systems by output feedback. Int. J. Robust Nonlinear Control 2017, 27, 2451–2472. [Google Scholar] [CrossRef]
  10. Sun, Z.Y.; Zhang, C.H.; Wang, Z. Adaptive disturbance attenuation for generalized high-order uncertain nonlinear systems. Automatica 2017, 80, 102–109. [Google Scholar] [CrossRef]
  11. Zhou, Q.; Li, H.Y.; Wu, C.W.; Wang, L.J.; Ahn, C.K. Adaptive fuzzy control of nonlinear systems with unmodeled dynamics and input saturation using small-gain approach. IEEE Trans. Syst. Man Cybern. Syst. 2016, 47, 1979–1989. [Google Scholar] [CrossRef]
  12. Li, G.J.; Xie, X.J. Adaptive state-feedback stabilization of stochastic high-order nonlinear systems with time-varying powers and stochastic inverse dynamics. IEEE Trans. Autom. Control 2020, 66, 5360–5367. [Google Scholar] [CrossRef]
  13. Cui, R.H.; Xie, X.J. Adaptive state-feedback stabilization of state-constrained stochastic high-order nonlinear systems. Sci. China Inform. Sci. 2021, 64, 200203. [Google Scholar] [CrossRef]
  14. Bhat, S.; Bernstein, D. Finite-time stability of continuous autonomous systems. SIAM J. Control Optim. 2000, 38, 751–766. [Google Scholar] [CrossRef]
  15. Moulay, E.; Perruquetti, W. Finite time stability conditions for non-autonomous continuous systems. Int. J. Control 2008, 81, 797–803. [Google Scholar] [CrossRef]
  16. Wang, F.; Zhang, X.Y. Adaptive finite time control of nonlinear systems under time-varying actuator failures. IEEE Trans. Syst. Man Cybern. Syst. 2018, 49, 1845–1852. [Google Scholar] [CrossRef]
  17. Li, H.Y.; Zhao, S.Y.; He, W.; Lu, R.Q. Adaptive finite-time tracking control of full state constrained nonlinear systems with dead-zone. Automatica 2019, 100, 99–107. [Google Scholar] [CrossRef]
  18. Yang, H.N.; Lian, Y.Z.; Zhang, X.Y.; Ye, Q.S.; Cao, X.N. Finite-time adaptive fuzzy consensus stabilization for unknown nonlinear leaderless multi-agent systems with unknown output dead-zone. IEEE Access 2019, 7, 103595–103607. [Google Scholar] [CrossRef]
  19. Li, K.W.; Tong, S.C. Observer-based finite-time fuzzy adaptive control for MIMO non-strict feedback nonlinear systems with errors constraint. Neurocomputing 2019, 341, 135–148. [Google Scholar] [CrossRef]
  20. Deng, H.; Krstic, M.; Williams, R.J. Stabilization of stochastic nonlinear systems driven by noise of unknown covariance. Int. J. Control Autom. Syst. 2001, 46, 1237–1253. [Google Scholar]
  21. Mao, X.R. Stochastic Differential Equations and Applications, 2nd ed.; Horwood Publishing: Chichester, UK, 2008. [Google Scholar]
  22. Zha, W.T.; Zhai, J.Y.; Fei, S.M. Global adaptive control for a class of uncertain stochastic nonlinear systems with unknown output gain. Int. J. Control Autom. Syst. 2017, 15, 1125–1133. [Google Scholar] [CrossRef]
  23. Li, H.Y.; Bai, L.; Zhou, Q.; Lu, R.Q.; Wang, L.J. Adaptive fuzzy control of stochastic nonstrict-feedback nonlinear systems with input saturation. IEEE Trans. Syst. Man Cybern. Syst. 2017, 47, 2185–2197. [Google Scholar] [CrossRef]
  24. Zhang, Y.; Ning, X.; Wang, Z.; Yu, D.X. High-order disturbance observer-based neural adaptive control for space unmanned systems with stochastic and high-dynamic uncertainties. IEEE Access 2021, 9, 77028–77043. [Google Scholar] [CrossRef]
  25. Gao, M.M.; Zhao, J.S.; Sun, W. Stochastic H2/H∞ control for discrete-time mean-field systems with Poisson jump. J. Franklin Inst. 2021, 358, 2933–2947. [Google Scholar] [CrossRef]
  26. Zhao, Y.X.; Wang, R.M.; Yin, C.C. Optimal dividends and capital injections for a spectrally positive Lévy process. Ind. Manag. Optim. 2017, 13, 1–21. [Google Scholar]
  27. Cui, R.H.; Xie, X.J. Output feedback stabilization of stochastic planar nonlinear systems with output constraint. Automatica 2022, 143, 110471. [Google Scholar] [CrossRef]
  28. Chen, W.S.; Jiao, L.C. Finite-time stability theorem of stochastic nonlinear systems. Automatica 2010, 46, 2105–2108. [Google Scholar] [CrossRef]
  29. Yin, J.L.; Khoo, S.Y.; Man, Z.H.; Yu, X.H. Finite-time stability and instability of stochastic nonlinear systems. Automatica 2011, 47, 2671–2677. [Google Scholar] [CrossRef]
  30. Yu, X.; Yin, J.L.; Khoo, S.Y. Generalized Lyapunov criteria on finite-time stability of stochastic nonlinear systems. Automatica 2019, 107, 183–189. [Google Scholar] [CrossRef]
  31. Wang, F.; Chen, B.; Sun, Y.M.; Gao, Y.L.; Lin, C. Finite-time fuzzy control of stochastic nonlinear systems. IEEE Trans. Syst. Man Cybern. 2019, 50, 2617–2626. [Google Scholar] [CrossRef]
  32. Li, Z.; Wang, F.; Wang, J.H. Adaptive finite-time neural control for a class of stochastic nonlinear systems with known hysteresis. IEEE Access 2020, 8, 123639–123648. [Google Scholar] [CrossRef]
  33. Wang, M.; Liu, Y.H.; Cao, G.; David, H.O. Energy-based finite-time stabilization and H∞ control of stochastic nonlinear systems. Int. J. Robust Nonlinear Control 2020, 30, 7169–7184. [Google Scholar] [CrossRef]
  34. Yu, X.; Yin, J.L.; Khoo, S.Y. “New Lyapunov conditions of stochastic finite-time stability and instability of nonlinear time-varying SDEs. Int. J. Control 2021, 94, 1674–1681. [Google Scholar] [CrossRef]
  35. Jiang, M.M.; Xie, X.J. Adaptive finite-time stabilization of stochastic nonlinear systems with the powers of positive odd rational numbers. Int. J. Adapt. Control Signal Process. 2019, 33, 1425–1439. [Google Scholar] [CrossRef]
  36. Khoo, S.Y.; Yin, J.L.; Man, Z.H.; Yu, X.H. Finite-time stabilization of stochastic nonlinear systems in strict-feedback form. Automatica 2013, 49, 1403–1410. [Google Scholar] [CrossRef]
  37. Cui, R.H.; Xie, X.J. Finite-time stabilization of output-constrained stochastic high-order nonlinear systems with high-order and low-order nonlinearities. Automatica 2022, 136, 110085. [Google Scholar] [CrossRef]
  38. Cui, R.H.; Xie, X.J. Finite-time stabilization of stochastic low-order nonlinear systems with time-varying orders and FT-SISS inverse dynamics. Automatica 2021, 125, 109418. [Google Scholar] [CrossRef]
  39. Yin, J.L.; Khoo, S.Y. Continuous finite-time state feedback stabilizers for some nonlinear stochastic systems. Int. J. Robust Nonlinear Control 2015, 25, 1581–1600. [Google Scholar] [CrossRef]
  40. Shen, Y.J.; Huang, Y.H. Global finite-time stabilisation for a class of nonlinear systems. Int. J. Syst. Sci. 2012, 43, 73–78. [Google Scholar] [CrossRef]
  41. Sun, Z.Y.; Yun, M.M.; Li, T. A new approach to fast global finite-time stabilization of high-order nonlinear system. Automatica 2017, 81, 455–463. [Google Scholar] [CrossRef]
  42. Sun, Z.Y.; Shao, Y.; Chen, C.C. Fast finite-time stability and its application in adaptive control of high-order nonlinear system. Automatica 2019, 106, 339–348. [Google Scholar] [CrossRef]
  43. Sun, W.J.; Zhao, J.S.; Sun, W.; Xia, J.W.; Sun, Z.Y. Adaptive event-triggered global fast finite-time control for a class of uncertain nonlinear systems. Int. J. Robust Nonlinear Control 2020, 30, 3773–3785. [Google Scholar] [CrossRef]
  44. Sun, Z.Y.; Dong, Y.Y.; Chen, C.C. Global fast finite-time partial state feedback stabilization of high-order nonlinear systems with dynamic uncertainties. Inf. Sci. 2019, 484, 219–236. [Google Scholar] [CrossRef]
Figure 1. Thetrajectories of x 1 ( t ) .
Figure 1. Thetrajectories of x 1 ( t ) .
Processes 10 01676 g001
Figure 2. The trajectories of x 2 ( t ) .
Figure 2. The trajectories of x 2 ( t ) .
Processes 10 01676 g002
Figure 3. The trajectories of Θ ^ ( t ) .
Figure 3. The trajectories of Θ ^ ( t ) .
Processes 10 01676 g003
Figure 4. The trajectories of x 1 ( t ) .
Figure 4. The trajectories of x 1 ( t ) .
Processes 10 01676 g004
Figure 5. The trajectories of x 2 ( t ) .
Figure 5. The trajectories of x 2 ( t ) .
Processes 10 01676 g005
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Yuan, Y.; Zhao, J. Fast Finite-Time Stability and Its Application in Adaptive Control of High-Order Stochastic Nonlinear Systems. Processes 2022, 10, 1676. https://doi.org/10.3390/pr10091676

AMA Style

Yuan Y, Zhao J. Fast Finite-Time Stability and Its Application in Adaptive Control of High-Order Stochastic Nonlinear Systems. Processes. 2022; 10(9):1676. https://doi.org/10.3390/pr10091676

Chicago/Turabian Style

Yuan, Yixuan, and Junsheng Zhao. 2022. "Fast Finite-Time Stability and Its Application in Adaptive Control of High-Order Stochastic Nonlinear Systems" Processes 10, no. 9: 1676. https://doi.org/10.3390/pr10091676

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop