Next Article in Journal
Intrinsic Correlation with Betweenness Centrality and Distribution of Shortest Paths
Previous Article in Journal
Exact Solutions and Non-Traveling Wave Solutions of the (2+1)-Dimensional Boussinesq Equation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Output Tracking Control of Random Nonlinear Time-Varying Systems

1
School of Mathematics and Statistics Sciences, Ludong University, Yantai 264025, China
2
School of Information Science and Engineering, Shandong Normal University, Jinan 250014, China
*
Author to whom correspondence should be addressed.
Submission received: 17 June 2022 / Revised: 16 July 2022 / Accepted: 19 July 2022 / Published: 20 July 2022
(This article belongs to the Section Network Science)

Abstract

:
This paper is concerned with the output tracking control problem for random nonlinear systems with time-varying powers. A distinct feature of this paper is that we consider time-varying powers and the second-order moment process simultaneously, which is more practical in real applications than the existing results where only one factor is considered. We propose a new design scheme, which ensures that the fourth moment of the tracking error can be adjusted to be arbitrarily small and all the states of the closed-loop system are bounded in probability. Finally, a numerical simulation is given to demonstrate the feasibility of the control idea.

1. Introduction

Consider the random nonlinear systems (RNSs) with time-varying powers described by
x ˙ j = [ x j + 1 ] r j ( t ) + f j ( x ¯ j ) + g j T ( x ¯ j ) ζ ( t ) , j = 1 , , n 1 , x ˙ n = [ u ] r n ( t ) + f n ( x ¯ n ) + g n T ( x ¯ n ) ζ ( t ) , y = x 1 ,
where x ¯ j = ( x 1 , , x j ) T R j , u R , y R are the state, input, and output of the system, respectively. x ¯ j ( t 0 ) = ( x 10 , , x j 0 ) T , t [ t 0 , ) . The time-varying power r j ( t ) : R + R + is a continuous bounded function complying 1 r ̲ r j ( t ) r ¯ with two positive constants r ̲ and r ¯ , and we define [ · ] a ( t ) = s i g n ( · ) | · | a ( t ) with a ( t ) as the time-varying continuous function. The functions f j : R j R and g j : R j R , j = 1 , , n , are smooth, vanishing at the origin. ζ ( t ) R m is a standard second-order moment process (SOMP) defined on the complete probability space ( Ω , F , F t , P ) with a filtration F t complying the general requirements. A given C 1 target signal is defined as y 0 ( t ) R ( C 1 represents a class of functions whose derivatives are continuous).
When the noise ζ ( t ) in system (1) is white noise, system (1) is called stochastic nonlinear systems (SNSs), and there are many results on its control design. Reference [1] explores the adaptive output feedback tracking problems for SNSs with the unknown state, and [2] considers the strict-feedback SNSs with unknown parameters in the drift terms or the diffusion terms. State feedback tracking control of SNSs was studied in [3]. Reference [4] investigates the global output feedback stabilization for SNSs. Reference [5] presents mean-nonovershooting tracking control designs for strict-feedback SNSs. Reference [6] solves the prescribed-time mean-square stabilization and inverse optimality control problems for strict-feedback SNSs by developing a new nonscaling backstepping design scheme. Reference [7] solves the finite-time stabilization problem of stochastic low-order nonlinear systems with time-varying orders and stochastic inverse dynamics. In [8], a new observer design for a class of nonlinear systems with unknown, bounded, time-varying delays was presented. In [9], the authors studied the finite time stability of equilibrium points of the Caputo–Katugampola fractional neural networks with time delays and proved its existence and uniqueness.
The results in [1,2,3,4,5,6,7] is based on r j ( t ) = 1 . When r j ( t ) is greater than 1, system (1) is understood as high power systems. There are also many studies on higher power systems. Reference [10] investigated the finite-time stabilization of output-constrained systems with stochastic inverse dynamics and high-order and low-order nonlinearities. Reference [11] presented an adaptive state-feedback strategy for state-constrained systems. In [12], the authors were concerned with the problem of robust cooperative output tracking. According to the results in [10,11,12], the orders are required to be constants. However, there are many systems with time-varying powers in practical industrial applications. For example, it is clear that the power of boiler turbine units in [13] is time-varying. In addition, the underactuated mechanical system in [14] is also a time-varying system. The reason is the performance hidden trouble brought by spring hardening. Recently, ref. [15] presented two types of controllers for SNSs with time-varying powers, namely the state feedback controller and optimal controller. Reference [16] studied the adaptive control of systems with time-varying power.
White noise is considered a disturbance in the above results. It is undeniable that white noise has its own unique advantages in theoretical analysis. However, in many engineering systems, SOMP is more reasonable for model disturbances. References [17,18,19] propose two stability theories for this type of system (RNSs with SOMP). Reference [19] considers the stabilization for RNSs. The trajectory tracking of random Lagrange systems disturbed is studied in [20]. Reference [21] discussed the adaptive tracking control for RNSs. Reference [22] investigated the stability of the nonlinear benchmark system in vibrating environments. Reference [23] focused on cooperative control for multiple benchmark systems. References [19,20,21,22,23] focused on tracking problems. There are also some studies on the stability of random systems. For example, stability in the presence of time delay [24], unified stability criteria [25], global asymptotic stability, and stabilization [26]. Nevertheless, there are currently no published results on tracking the control of higher-order RNSs with time-varying powers.
In this paper, we focus on output tracking control for a class of high-order RNSs with time-varying powers. Compared with the available results, the main contributions of this paper are two-fold:
(1)
This paper is the first result on the output tracking topic of high-order RNSs with time-varying powers. To extend the order of the system to the time-varying power domain, a new method is proposed to design the controller to achieve stability analysis. Different from [15]’s method, the time-varying order of the system considered in this paper is not uniform r ( t ) and we consider different orders, i.e., r i ( t ) r j ( t ) , i j .
(2)
Unlike the deterministic systems [16], the systems studied in this paper are perturbed by SOMP. In the controller design, how to reasonably separate the SOMP from the nonlinear functions is a challenging problem. This is completely different from the designs with white noise in [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15].
This paper includes four parts. Section 2 is the control design and analysis. Section 3 illustrates the effectiveness of the control method by a simulation example. Section 4 presents the conclusions.

2. Control Design and Analysis

For system (1), we need the following assumptions.
Assumption 1.
For the target signal y 0 ( t ) R , we assume that y 0 ( t ) and y ˙ 0 ( t ) satisfy | y 0 | + | y ˙ 0 | M , where M is a positive constant.
Assumption 2.
There exist nonnegative smooth functions θ i ( x ¯ i ) and ϕ i ( x ¯ i ) , i = 1 , , n , such that
| f i ( x ¯ i ) | θ i ( x ¯ i ) ,
| g i ( x ¯ i ) | ϕ i ( x ¯ i ) .
Assumption 3.
ζ ( t ) is the F t adapted and piecewise continuous process satisfying sup t t 0 E | ζ ( t ) | 2 < K , where K > 0 is a constant.
Remark 1.
Assumption 3 shows that the random process ζ ( t ) is a second-order moment process. As shown in [19,20,21,22,23,24,25,26], this kind of noise characterizes the physical system more reasonably than white noise.
The objective of this paper was to design an output tracking controller for system (1), such that the closed-loop system has a unique solution on [ t 0 , ) , all states are bounded in probability and the tracking error’s 4th moment can be tuned arbitrarily small.

2.1. Controller Design

For system (1), we adopted the coordinate changes
η i = x i x i ,
where x i , i = 2 , , n , are intermediate controllers, the specific form of which is given in the following section. In particular, x 1 = y 0 . Then we have
η ˙ i = [ x i + 1 ] r i ( t ) + f i ( x ¯ i ) + g i T ( x ¯ i ) ζ ( t ) k = 1 i 1 x i x k ( [ x k + 1 ] r k ( t ) + f k ( x ¯ k ) + g k T ( x ¯ k ) ζ ( t ) ) x i y 0 y ˙ 0 ,
where x n + 1 = u .
Next, we give the design process of the system (1).
Step 1. We first designed x 2 .
According to (2) and (3), we obtain
η 1 = x 1 x 1 = x 1 y 0 ,
and
η ˙ 1 = [ x 2 ] r 1 ( t ) + f 1 + g 1 T ζ y ˙ 0 .
Meanwhile, we choose the Lyapunov function V 1 = 1 4 η 1 4 . From (5) and Assumptions 1 and 2, we have
V 1 ˙ = η 1 3 η ˙ 1 = η 1 3 ( [ x 2 ] r 1 ( t ) + f 1 + g 1 T ζ y ˙ 0 ) η 1 3 ( [ x 2 ] r 1 ( t ) + f 1 + g 1 T ζ + M ) .
By Assumption 2 and Lemma 2.2 in [27], we obtain
η 1 3 ( f 1 + M ) η 1 3 ( θ 1 ( x ¯ 1 ) + M ) β 11 ( x ¯ 1 ) | η 1 | r ¯ + 3 + ϵ 11 ,
where β 11 ( x ¯ 1 ) = 3 r ̲ + 3 ( r ¯ ϵ 11 ( 3 + r ̲ ) ) r ¯ 3 ( θ 1 ( x ¯ 1 ) + M ) r ¯ + 3 3 , and ϵ 11 is a positive constant.
By Assumption 2 and Lemma 2.2 in [27], we have
η 1 3 g 1 T ζ η 1 3 ϕ 1 ( x ¯ 1 ) ζ ϵ 121 η 1 6 ϕ 1 2 ( x ¯ 1 ) + 1 4 ϵ 121 | ζ | 2 β 12 ( x ¯ 1 ) | η 1 | r ¯ + 3 + 1 4 ϵ 121 | ζ | 2 + ϵ 122 ,
where ϵ 121 and ϵ 122 are positive constants, β 12 ( x ¯ 1 ) = 3 r ̲ + 3 ( ϵ 122 r ¯ ( 3 + r ̲ ) ) r ¯ 3 ϵ 121 r ¯ + 3 3   η 1 r ¯ + 3 ( ϕ 1 ( x ¯ 1 ) ) 2 r ¯ + 6 3 .
Importing (7) and (8) into (6) can cause
V 1 ˙ η 1 3 [ x 2 ] r 1 ( t ) + β 11 ( x ¯ 1 ) | η 1 | r ¯ + 3 + ϵ 11 + β 12 ( x ¯ 1 ) | η 1 | r ¯ + 3 + 1 4 ϵ 121 | ζ | 2 + ϵ 122 = η 1 3 ( [ x 2 ] r 1 ( t ) [ x 2 ] r 1 ( t ) ) + η 1 3 [ x 2 ] r 1 ( t ) + β 1 ( x ¯ 1 ) | η 1 | r ¯ + 3 + δ 11 + δ 12 | ζ | 2 ,
where β 1 ( x ¯ 1 ) = β 11 ( x ¯ 1 ) + β 12 ( x ¯ 1 ) , δ 11 = ϵ 11 + ϵ 122 , δ 12 = 1 4 ϵ 121 .
So, we choose
x 2 = α 1 ( x ¯ 1 ) ( η 1 + [ η 1 ] r ¯ ) = ( c 1 + β 1 ( x ¯ 1 ) ) 1 r ̲ ( η 1 + [ η 1 ] r ¯ ) ,
such that
η 1 3 [ x 2 ] r 1 ( t ) = α 1 r 1 ( t ) ( x ¯ 1 ) ( η 1 + [ η 1 ] r ¯ ) r 1 ( t ) η 1 3 ,
where c 1 1 is a free parameter, α 1 ( x 1 ) 1 is a smooth function uncorrelated of r 1 ( t ) .
By Lemma 2.3 in [27], we have
η 1 3 ( η 1 + [ η 1 ] r ¯ ) r 1 ( t ) | η 1 | r 1 ( t ) + 3 + | η 1 | r ¯ r 1 ( t ) + 3 .
Thus, we have
η 1 3 [ x 2 ] r 1 ( t ) ( c 1 + β 1 ( x ¯ 1 ) ) ( | η 1 | r 1 ( t ) + 3 + | η 1 | r ¯ r 1 ( t ) + 3 ) ,
and by Lemma 3 in [16], we obtain
| η 1 | r ¯ + 3 | η 1 | r 1 ( t ) + 3 + | η 1 | r ¯ r 1 ( t ) + 3 .
From (9) and (10), we have
V 1 ˙ c 1 | η 1 | r ¯ + 3 + η 1 3 ( [ x 2 ] r 1 ( t ) [ x 2 ] r 1 ( t ) ) + δ 11 + δ 12 | ζ | 2 .
Step 2. We then design x 3 .
From (2), we have
η ˙ 2 = [ x 3 ] r 2 ( t ) + f 2 ( x ¯ 2 ) x 2 x 1 ( [ x 2 ] r 1 ( t ) + f 1 ( x ¯ 1 ) ) x 2 y 0 y ˙ 0 + g 2 T ( x ¯ 2 ) ζ x 2 x 1 g 1 T ζ .
Choosing V 2 = V 1 + 1 4 η 2 4 , by (15) and (16), we obtain
V ˙ 2 c 1 | η 1 | r ¯ + 3 + η 1 3 ( [ x 2 ] r 1 ( t ) [ x 2 ] r 1 ( t ) ) + δ 11 + δ 12 | ζ | 2 + η 2 3 ( [ x 3 ] r 2 ( t ) + f 2 ( x ¯ 2 ) x 2 x 1 ( [ x 2 ] r 1 ( t ) + f 1 ( x ¯ 1 ) ) x 2 y 0 y 0 ˙ + g 2 T ( x ¯ 2 ) ζ x 2 x 1 g 1 T ζ ) .
According to Lemma 2.1 in [27], we obtain
η 1 3 ( [ x 2 ] r 1 ( t ) [ x 2 ] r 1 ( t ) ) r ¯ ( 2 r ¯ 2 + 2 ) ( | η 1 | 3 | η 2 | r 1 ( t ) + α 1 r ¯ 1 | η 1 | r 1 ( t ) + 2 | η 2 | ) r ¯ ( 2 r ¯ 2 + 2 ) | η 1 | 3 ( | η 2 | r ¯ + | η 2 | ) + r ¯ ( 2 r ¯ 2 + 2 ) α 1 r ¯ 1 · ( | η 1 | r ¯ + 2 + | η 1 | 3 ) | η 2 | .
From Lemma 2.2 in [27], we have
r ¯ ( 2 r ¯ 2 + 2 ) ( α 1 r ¯ 1 + 1 ) | η 1 | 3 | η 2 | ϵ 21 + β 211 ( x 1 ) | η 2 | r ¯ + 3 , r ¯ ( 2 r ¯ 2 + 2 ) α 1 r ¯ 1 | η 1 | r ¯ + 2 | η 2 | 1 2 | η 1 | r ¯ + 3 + β 212 ( x 1 ) | η 2 | r ¯ + 3 , r ¯ ( 2 r ¯ 2 + 2 ) | η 1 | 3 | η 2 | r ¯ 1 2 | η 1 | r ¯ + 3 + β 213 | η 2 | r ¯ + 3 ,
where
β 211 ( x 1 ) = 1 r ̲ + 3 r ¯ + 2 ( r ̲ + 3 ) ϵ 211 r ¯ + 2 r ¯ ( 2 r ¯ 2 + 2 ) ( ( x 1 + 1 ) 2 + 1 ) 3 2 ( α 1 r ¯ 1 + 1 ) r ¯ + 3 , β 212 ( x 1 ) = 1 r ̲ + 3 r ¯ ( 2 r ¯ 2 + 2 ) α 1 r ¯ 1 r ¯ + 3 r ̲ + 3 2 r ¯ + 4 ( r ¯ + 2 ) , β 213 = r ¯ r ̲ + 3 6 r ̲ + 3 r ¯ 3 r ¯ ( 2 r ¯ 2 + 2 ) r ¯ + 3 r ̲ .
Substituting (19) into (18), we have
η 1 3 ( [ x 2 ] r 1 ( t ) [ x 2 ] r 1 ( t ) ) | η 1 | r ¯ + 3 + β 21 ( x 1 ) | η 2 | r ¯ + 3 + ϵ 21 ,
where β 21 ( x 1 ) = β 211 ( x 1 ) + β 212 ( x 1 ) + β 213 0 is uncorrelated of r 1 ( t ) , ϵ 21 is positive constant.
Estimate the sixth term of (17) as
η 2 3 f 2 ( x ¯ 2 ) x 2 x 1 ( [ x 2 ] r 1 ( t ) + f 1 ( x ¯ 1 ) ) x 2 y 0 y ˙ 0 η 2 3 θ 2 ( x ¯ 2 ) + x 2 x 1 ( x 2 + 1 ) r ¯ 2 + θ 1 ( x 1 ) ) + x 2 y 0 M β 22 ( x 1 ) | η 2 | r ¯ + 3 + ϵ 22 ,
where
β 22 ( x 1 ) = 3 r ¯ + 3 r ¯ ϵ 22 ( r ̲ + 3 ) r ¯ 3 θ 2 ( x ¯ 2 ) + x 2 x 1 ( x 2 + 1 ) r ¯ 2 + θ 1 ( x 1 ) ) + x 2 y 0 M r ¯ + 3 3 ,
with ϵ 22 being a positive constant.
For the term in (17) involving the SOMP, we have
η 2 3 g 2 T ( x ¯ 2 ) ζ x 2 x 1 g 1 T ( x ¯ 1 ) ζ ϵ 231 η 2 6 ϕ 2 ( x ¯ 2 ) + x 2 x 1 ϕ 1 T ( x ¯ 1 ) 2 + 1 4 ϵ 231 | ζ | 2 β 23 | η 2 | r ¯ + 3 + ϵ 232 + 1 4 ϵ 231 | ζ | 2 ,
where ϵ 231 , ϵ 232 are positive constants, and β 23 ( x ¯ 2 ) = 3 r ¯ + 3 r ¯ ϵ 232 ( r ̲ + 3 ) r ¯ 3 ϵ 231 η 2 3 ϕ 2 ( x ¯ 2 ) + x 2 x 1 ϕ 1 ( x ¯ 1 ) 2 r ¯ + 3 3 .
From (17), (21) and (22), we obtain
V ˙ 2 ( c 1 1 ) | η 1 | r ¯ + 3 + η 2 3 ( [ x 3 ] r 2 ( t ) [ x 3 ] r 2 ( t ) ) + η 2 3 [ x 3 ] r 2 ( t ) + ( β 21 ( x ¯ 2 ) + β 22 ( x ¯ 2 ) + β 23 ( x ¯ 2 ) ) | η 2 | r ¯ + 3 + ( δ 11 + δ 21 ) + ( δ 12 + δ 22 ) | ζ | 2 ( c 1 1 ) | η 1 | r ¯ + 3 + η 2 3 ( [ x 3 ] r 2 ( t ) [ x 3 ] r 2 ( t ) ) + η 2 3 [ x 3 ] r 2 ( t ) + β 2 ( x ¯ 2 ) | η 2 | r ¯ + 3 + k = 1 2 δ k 1 + k = 1 2 δ k 2 | ζ | 2 ,
where δ 21 = ϵ 21 + ϵ 22 + ϵ 232 , δ 22 = 1 4 ϵ 231 .
Constructing the virtual controller x 3 as
x 3 = ( c 2 + β 2 ( x ¯ 2 ) ) 1 r ̲ ( η 2 + [ η 2 ] r ¯ ) = α 2 ( x ¯ 2 ) ( η 2 + [ η 2 ] r ¯ ) ,
then we have
η 3 3 [ x 3 ] r 2 ( t ) ( c 2 + β 2 ( x ¯ 2 ) ) ( | η 2 | r 2 ( t ) + 3 + | η 2 | r ¯ r 2 ( t ) + 3 ) ,
where c 2 1 is the design parameter, the smooth function α 2 = ( c 2 + β 2 ( x ¯ 2 ) ) 1 r ̲ is irrelevant of r 2 ( t ) .
By (23) and (24), we have
V ˙ 2 ( c 1 1 ) | η 1 | r ¯ + 3 c 2 | η 2 | r ¯ + 3 + η 2 3 ( [ x 3 ] r 2 ( t ) [ x 3 ] r 2 ( t ) ) + k = 1 2 δ k 1 + k = 1 2 δ k 2 | ζ | 2 .
Deductive Step. In this step, we design the virtual control x i + 1 .
Suppose that at step i 1 , we have a positive function V i 1 and a virtual controller x i
x i = ( c i 1 + β i 1 ( x ¯ i 1 ) ) 1 r ̲ ( η i 1 + [ η i 1 ] r ¯ ) = α i 1 ( x ¯ i 1 ) ( η i 1 + [ η i 1 ] r ¯ ) ,
such that
V ˙ i 1 k = 1 i 1 ( c k 1 ) | η k | r ¯ + 3 + η i 1 3 ( [ x i ] r i 1 ( t ) [ x i ] r i 1 ( t ) ) + k = 1 i 1 δ k 1 + k = 1 i 1 δ k 2 | ζ | 2 ,
where α i 1 ( x ¯ i 1 ) is a smooth function uncorrelated of r i ( t ) .
In step i, we select a function
V i = V i 1 + 1 4 η i 4 .
From (28) and (29), we have
V ˙ i k = 1 i 1 ( c k 1 ) | η k | r ¯ + 3 + η i 1 3 ( [ x i ] r i 1 ( t ) [ x i ] r i 1 ( t ) ) + k = 1 i 1 δ k 1 + k = 1 i 1 δ k 2 | ζ | 2 + η i 3 ( [ x i + 1 ] r i ( t ) [ x i + 1 ] r i ( t ) ) + η i 3 [ x i + 1 ] r i ( t ) + η i 3 ( f i k = 1 i 1 x i x k ( [ x k + 1 ] r k ( t ) + f k ) x i y 0 M ) + η i 3 g i T ζ k = 1 i 1 x i x k g k T ζ .
Similar to the proof process of (18), we have
η i 1 3 ( [ x i ] r i 1 ( t ) [ x i ] r i 1 ( t ) ) r ¯ ( 2 r ¯ 2 + 2 ) ( | η i 1 | 3 | η i | r i 1 ( t ) + α i 1 r ¯ 1 | η i 1 | r i ( t ) + 2 | η i | ) r ¯ ( 2 r ¯ 2 + 2 ) | η i 1 | 3 ( | η i | r ¯ + | η i | ) + r ¯ ( 2 r ¯ 2 + 2 ) α i 1 r ¯ 1 · ( | η i 1 | r ¯ + 2 + | η i 1 | 3 ) | η i | | η i | r ¯ + 3 + β i 1 ( x ¯ i 1 ) | η i + 1 | r ¯ + 3 + ϵ i 1 ,
where ϵ i 1 0 is a free constant and β i 1 ( x ¯ i 1 ) is a smooth function, both of them uncorrelated of r i ( t ) .
With the help of (27), Assumption 1 and Lemma 2.1 in [27], we obtain
η i 3 ( f i k = 1 i 1 x i x k ( [ x k + 1 ] r k ( t ) + f k ) x i y 0 M ) η i 3 θ i + k = 1 i 1 x i x k ( | x k + 1 | + | x k + 1 | r ¯ + θ i ( x ¯ i ) ) + x i y 0 M β i 2 ( x ¯ i ) | η i | r ¯ + 3 + ϵ i 2 ,
where β i 2 ( x ¯ i ) 0 are uncorrelated of r i ( t ) , ϵ i 1 is a positive constant.
By (3) and (27), Assumption 1 and Lemmas A.2, A.4, we have
η i 3 ( g i ζ k = 1 i 1 x i x k g k ζ ) η i 3 ϕ i ( x ¯ i ) + k = 1 i 1 x i x k ϕ k ( x ¯ i ) ζ β i 3 ( x ¯ i ) | η i | r ¯ + 3 + ϵ i 31 + ϵ i 32 | ζ | 2 ,
where β i 3 ( x ¯ i ) 0 are uncorrelated of r i ( t ) . ϵ i 31 and ϵ i 32 are positive constants.
Substituting (31)–(33) into (30), we have
V ˙ i k = 1 i 1 ( c k 1 ) | η k | r ¯ + 3 + η i 3 ( [ x i + 1 ] r i ( t ) [ x i + 1 ] r i ( t ) ) + η i 3 [ x i + 1 ] r i ( t ) + k = 1 i δ k 1 + k = 1 i δ k 2 | ζ | 2 + ( β i 1 ( x ¯ i ) + β i 2 ( x ¯ i ) + β i 3 ( x ¯ i ) ) | η i | r ¯ + 3 .
The virtual controller
x i + 1 = α i ( x ¯ i ) ( η i + [ η i ] r ¯ ) = ( c i + β i 1 ( x ¯ i ) + β i 2 ( x ¯ i ) + β i 3 ( x ¯ i ) ) 1 r ̲ ( η i + [ η i ] r ¯ ) ,
leads to
V ˙ i k = 1 i ( c k 1 ) | η k | r ¯ + 3 + η i 3 ( [ x i + 1 ] r i ( t ) [ x i + 1 ] r i ( t ) ) + k = 1 i δ k 1 + k = 1 i δ k 2 | ζ | 2 ,
where c k 1 is a design parameter and α i ( x ¯ i ) 1 is uncorrelated of r i ( t ) .
Step n. Finally, we design the controller u. Let
V n = k = 1 n 1 4 η k 4 .
In the case of (37), we have
V ˙ n k = 1 n 1 ( c k 1 ) | η k | r ¯ + 3 + β n ( x ¯ n ) η n r ¯ + 3 + η n 3 [ u ] r n ( t ) + k = 1 n δ k 1 + k = 1 n δ k 2 | ζ | 2 ,
where β n ( x ¯ n ) 0 is a smooth function.
If we design the actual controller as
u = α n ( x ¯ n ) ( η n + [ η n ] r ¯ ) = ( c n + β n ( x ¯ n ) ) 1 r ̲ ( η n + [ η n ] r ¯ ) ,
then we obtain
V ˙ n k = 1 n ( c k 1 ) | η k | r ¯ + 3 + k = 1 n δ k 1 + k = 1 n δ k 2 | ζ | 2 ,
where c n 1 , α n ( x ¯ n ) 1 is uncorrelated of r i ( t ) .
Remark 2.
The design idea of this paper is completely different from the design idea of [15]. Although the system in [15] also has time-varying power, the system noise considered in this paper is a kind of color noise, which is a completely different white noise from [15]. A new design scheme is proposed in this part.
Remark 3.
With the effect of time-varying powers r i ( t ) in system (1), it is a challenging problem to design a time-independent controller. The time-varying powers make our design much more difficult and essentially different from the constant power cases [10,11,12]. In our control scheme, we designed the virtual controllers and real controller with the upper bound r ¯ and lower bound r ̲ of r i ( t ) .

2.2. Stability Analysis

In this part, we present the main results on stability.
Theorem 1.
Consider the high-order RNSs (1), if Assumptions (1)–(3) hold, with the controller (39), we have
(1) 
The closed-loop system has a unique solution on [ t 0 , ) ;
(2) 
All the states of the closed-loop system are bounded in probability;
(3) 
The fourth moment of the tracking error can be tuned to be arbitrarily small.
Specifically, for ε and initial value x ( t 0 ) , there is a finite-time T ( x ( t 0 ) , ε ) , such that
E | x 1 ( t ) y 0 ( t ) | 4 < ε , t > T ( x ( t 0 ) , ε ) .
Proof. 
Let V = V n , for (40), if r i ( t ) = 1 , we have
V ˙ k = 1 n ( c k 1 ) | η k | 4 + k = 1 n δ k 1 + k = 1 n δ k 2 | ζ | 2 c 0 V + b + a | ζ | 2 ,
where c 0 = min 1 k n { 4 ( c k 1 ) } , b = k = 1 n δ k 1 , a = k = 1 n δ k 2 . □
If r i ( t ) > 1 . By Lemma 2.3 in [27], we have
| η k | 4 τ + σ | η k | r ¯ + 3 ,
where 0 < τ 1 is a design parameter and σ = 4 r ¯ + 3 ( r ¯ 1 τ ( r ¯ + 3 ) ) r ¯ 1 4 , which yields
| η k | r ¯ + 3 σ 1 | η k | 4 σ 1 τ .
Substituting (43) into (40) yields
V ˙ c 0 V + b + a | ζ | 2 ,
where c 0 = min 1 k n { 4 σ 1 ( c k 1 ) } , b = k = 1 n ( c k 1 ) σ 1 τ + k = 1 n δ k 1 , a = k = 1 n δ k 2 .
Let η ( t ) = ( η 1 ( t ) , , η n ( t ) ) T , define the first exit time
χ l = inf { t : t t 0 , | η ( t ) | l } , l > 0 .
Under the concurrence of Assumption 3 and Fubini’s theorem
E V ( η ( t χ l ) ) V ( η ( t 0 ) ) + b ( t t 0 ) + a E { t 0 t | ζ ( s ) | 2 d s } V ( η ( t 0 ) ) + ( b + a K ) ( t t 0 ) .
From (46) and Lemma 5 in [19], Conclusion (1) is proved.
Next, we present a proof of Conclusion (3).
Let t l = min { t , χ l } = t χ l , by (41), we have
E ( e c 0 t l V ( η ( t l ) ) e c 0 t 0 E V ( η ( t 0 ) ) + b c 0 ( e c 0 t e c 0 t 0 ) + a E t 0 t e c 0 s | ζ ( s ) | 2 d s .
Then, letting l , by (47), we have
e c 0 t E ( V ( η ( t ) ) e c 0 t 0 E V ( η ( t 0 ) ) + b c 0 ( e c 0 t e c 0 t 0 ) + a E t 0 t e c 0 s | ζ ( s ) | 2 d s .
It can be inferred from (48), Assumption 3,
e c 0 t E ( V ( η ( t ) ) e c 0 t 0 E V ( η ( t 0 ) ) + b + a K c 0 ( e c 0 t e c 0 t 0 ) ,
or equivalently
E ( V ( η ( t ) ) e c 0 ( t t 0 ) E V ( η ( t 0 ) ) + b + a K c 0 ( 1 e c 0 ( t t 0 ) ) .
Referring to the definition of a and b, it can be obtained that the information of E V ( η ( t ) ) can be adjusted as small as you want. So, noting η = ( x 1 y 0 , η 2 , , η n ) T , for ε and initial value x ( t 0 ) , ∃ a finite-time T ( x ( t 0 ) , ε ) , the sufficient large L leads to
E | x 1 y 0 | 4 < ε , t > T ( x ( t 0 ) , ε ) .
Next, we will prove Conclusion (2). From (50), we obtain
E V ( η ( t ) ) V ( η ( t 0 ) ) + b + a K c 0 .
For any constant h > 0 , note that
E V ( η ( t ) ) | η | > h V ( η ( t ) ) P ( d w ) inf | η | > h V ( η ( t ) ) P ( | η | > h ) ,
from which (52), we have
P ( | η | > h ) V ( η ( t 0 ) ) + b + a K c 0 inf | η | > h V ( η ( t ) ) .
By (54) and V ( η ( t ) ) , we have
lim h sup t > t 0 P ( | η | > h ) lim h sup t > t 0 V η ( t 0 ) + b + a K c 0 inf | η | > h V ( η ( t ) ) = 0 .
By (48), η ( t ) is bounded in probability. This shows that η i ( t ) , i = 1 , , n is bounded in probability. Moreover, considering the η 1 = x 1 y 0 and η 2 = x 2 x 2 , we can conclude that Conclusion (2) is true.

3. A Simulation Example

In this part, we consider the system:
x ˙ 1 = [ x 2 ] 6 5 + 1 5 sin t + 1 2 x 1 3 + 1 2 x 1 sin 2 x 1 ζ ( t ) , x ˙ 2 = [ u ] 7 6 + 1 6 sin t + x 2 2 sin x 1 + 1 2 x 2 sin 2 x 1 ζ ( t ) , y = x 1 .
In the simulation, we choose ζ ( t ) = sin ( w ( t ) ) , where w ( t ) is white noise with limited bandwidth produced by MATLAB (noise power is 10 and sample time is 0.01). Obviously, ζ ( t ) is a second-order moment process with E ζ ( t ) 2 1 , which shows that Assumption 3 is satisfied.
Let y 0 = sin t . Choosing r ¯ = 2 , r ̲ = 1 . Obviously, the assumptions are true.
By the calculation, we have
u = ( c 2 + β 21 + β 22 + β 23 ) ( η 2 + [ η 2 ] 2 ) ,
where
β 21 = 3 2 ( ( x 1 + 1 ) 2 + 1 ) 15 2 ( α 1 + 1 ) 5 + 101 α 1 5 + 40 , β 22 = 3 4 ( 1 + x 2 4 sin 2 x 1 ) 1 2 + x 2 x 1 ( x 1 + 1 ) + | x 2 y 0 | 5 3 , β 23 = 3 4 η 2 5 1 + 1 4 x 2 2 sin 4 x 1 1 2 + x 2 x 1 1 + 1 4 x 1 2 sin 4 x 1 1 2 10 3 , x 2 = ( η 1 + [ η 1 ] 2 ) 1 + 3 5 1 + 1 4 x 1 6 1 2 + 1 5 3 + 3 η 1 5 1 + 1 4 x 1 2 sin 4 x 1 10 3 , x 2 x 1 = 15 16 ( ( 1 4 x 1 6 + 1 ) 1 / 2 + 1 ) 2 / 5 ( 1 4 x 1 6 + 1 ) 1 / 2 x 1 5 + 3 4 ( 1 4 x 1 2 sin 4 x 1 + 1 ) 10 / 3 η 1 4 + 25 3 ( 1 4 x 1 2 sin 4 x 1 + 1 ) 3 η 1 5 ( 1 2 x 1 sin 4 x 1 + x 1 2 sin 3 x 1 cos x 1 ) , | x 2 y 0 | = 5 η 1 4 ( 1 4 x 1 2 sin 4 x 1 + 1 ) 10 / 3 ( η 1 + [ η 1 ] 2 ) + α 1 ( 1 + 2 η 1 ) .
By randomly choosing parameters c 1 = 1.3 , c 2 = 1 , and a set of initial values ( x 1 ( 0 ) , x 2 ( 0 ) ) T = ( 0.5 , 0.6 ) T . Through the actual simulation, the system responses of the tracking error, states, and controller are shown in Figure 1, Figure 2 and Figure 3. It can be seen from Figure 1 that when t > T = 2 s , the error | e | = | x 1 y 0 | < 0.1 . At the same time, the effectiveness of the design idea can be directly illustrated with Figure 2 and Figure 3.

4. Conclusions

We studied the output tracking problem of RNSs with time-varying powers. The advantage of our control is that both time-varying power and SOMP are considered, which is more practical than the existing results, which only consider one factor. First, different from the deterministic systems considered in [15], the disturbance of the system studied in this paper is characterized by SOMP. The difference between the SOMP and Gaussian white noise is that white noise is an independent random process, while the SOMP is an interrelated random process. Secondly, the power of the system studied in this paper is a function of the time-varying order, which must be taken into account in the construction of the controller. The time-invariant controller was designed. It is concluded that the expectation of the fourth moment of the tracking deviation can be trimmed to be arbitrarily small, and all states are bounded in probability.
There are some future research topics, e.g., when there is uncertainty in the system, how to design the controller to ensure the tracking performance, or to generalize the results in this paper to more general systems in [28,29,30,31] or a more practical system [32].

Author Contributions

Conceptualization: H.W.; writing—original draft preparation: R.W.; methodology: R.W. and H.W.; writing—review and editing: W.L. and B.N. All authors have read and agreed to the published version of the manuscript.

Funding

This work was funded by the Shandong Province Higher Educational Excellent Youth Innovation team, China (no. 2019KJN017), and the Shandong Provincial Natural Science Foundation for Distinguished Young Scholars, China (no. ZR2019JQ22).

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.

Abbreviations

The following abbreviations are used in this manuscript:
SNSsstochastic nonlinear systems
RNSsrandom nonlinear systems
SOMPsecond-order moment process

References

  1. Zhang, T.P.; Xiao, X.N. Adaptive output feedback tracking control of stochastic nonlinear systems with dynamic uncertainties. Int. J. Robust Nonlin. 2015, 25, 1282–1300. [Google Scholar] [CrossRef]
  2. Li, W.Q.; Krstic, M. Stochastic adaptive nonlinear control with filterless least-squares. IEEE Trans. Autom. Control 2021, 66, 3893–3905. [Google Scholar] [CrossRef]
  3. Niu, B.; Wang, D.; Alotaibi, N.D.; Alsaadi, F.E. Adaptive neural state-feedback tracking control of stochastic nonlinear switched systems: An average dwell-time method. IEEE Trans. Neur. Net. Learn. 2019, 30, 1076–1087. [Google Scholar] [CrossRef] [PubMed]
  4. Jin, S.L.; Liu, Y.G.; Man, Y.C. Global output-feedback stabilization for stochastic nonlinear systems with function control coefficients. Asian J. Control 2016, 18, 1189–1199. [Google Scholar] [CrossRef]
  5. Li, W.Q.; Krstic, M. Mean-nonovershooting control of stochastic nonlinear systems. IEEE Trans. Autom. Control 2021, 66, 5756–5771. [Google Scholar] [CrossRef]
  6. Li, W.Q.; Krstic, M. Stochastic nonlinear prescribed-time stabilization and inverse optimality. IEEE Trans. Autom. Control 2022, 67, 1179–1193. [Google Scholar] [CrossRef]
  7. 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]
  8. Naifar, O.; Ben, M.A.; Hammami, M.A.; Ouali, A. On Observer Design for a Class of Nonlinear Systems Including Unknown Time-Delay. Mediterr. J. Math. 2016, 13, 2841–2851. [Google Scholar] [CrossRef]
  9. Jmal, A.; Ben Makhlouf, A.; Nagy, A.M.; Naifar, O. Finite-time stability for Caputo–Katugampola fractional-order time-delayed neural networks. Neural Process. Lett. 2019, 50, 607–621. [Google Scholar] [CrossRef]
  10. 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]
  11. Cui, R.H.; Xie, X.J. Adaptive state-feedback stabilization of state-constrained stochastic high-order nonlinear systems. Sci. China Inf. Sci. 2021, 64, 200203. [Google Scholar] [CrossRef]
  12. Peng, J.M.; Wang, J.N.; Shan, J.Y. Robust cooperative output tracking of networked high-order power integrators systems. Int. J. Control 2016, 89, 270–280. [Google Scholar] [CrossRef]
  13. Liu, J.Z.; Yan, S.; Zeng, D.L.; Lv, Y. A dynamic model used for controller design of a coal fired once-through boiler-turbine unit. IEEE Trans. Auto. Control 2015, 93, 2069–2078. [Google Scholar] [CrossRef]
  14. Rui, C.; Reyhangolu, M.; Kolmanovsky, I.; McClamroch, N.H. Nonsmooth stabilization of an underactuated unstable two degrees of freedom mechanical system. In Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, CA, USA, 10–12 December 1997; Volume 4, pp. 3998–4003. [Google Scholar] [CrossRef]
  15. Li, W.Q.; Liu, Y.; Yao, X.X. State-feedback stabilization and inverse optimal control for stochastic high-order nonlinear systems with time varying powers. Asian J. Control 2021, 23, 739–750. [Google Scholar] [CrossRef]
  16. Man, Y.C.; Liu, Y.G. Global adaptive stabilization and practical tracking for nonlinear systems with unknown powers. Automatica 2019, 100, 171–181. [Google Scholar] [CrossRef]
  17. Bertram, J.; Sarachik, P. Stability of circuits with randomly timevarying parameters. IRE Trans. Circuit Theory 1959, 6, 260–270. [Google Scholar] [CrossRef]
  18. Soong, T.T. Random Differential Equations in Science and Engineering. Math. Sci. Eng. 1973, 103. [Google Scholar] [CrossRef] [Green Version]
  19. Wu, Z.J. Stability criteria of random nonlinear systems and their applications. IEEE Trans. Autom. Control. 2015, 60, 1038–1049. [Google Scholar] [CrossRef]
  20. Wu, Z.J.; Karimi, H.R.; Shi, P. Practical trajectory tracking of random Lagrange systems. Automatica 2019, 105, 314–322. [Google Scholar] [CrossRef]
  21. Yao, L.Q.; Zhang, W.H. Adaptive tracking of random nonlinear system. Int. J. Robust Nonlin. 2017, 27, 3833–3840. [Google Scholar] [CrossRef]
  22. Wu, Z.J.; Wang, S.T.; Cui, M.Y. Tracking controller design for random nonlinear benchmark system. J. Frank. Inst. 2017, 354, 360–371. [Google Scholar] [CrossRef]
  23. Li, W.Q.; Liu, L.; Feng, G. Cooperative control of multiple nonlinear benchmark systems perturbed by second-order moment processes. IEEE Trans. Cybern. 2020, 50, 902–910. [Google Scholar] [CrossRef] [PubMed]
  24. Yao, L.Q.; Zhang, W.H.; Xie, X.J. Stability analysis of random nonlinear systems with time-varying delay and its application. Automatica 2021, 117, 108994. [Google Scholar] [CrossRef] [Green Version]
  25. Jiao, T.C.; Zheng, H.C.; Xu, S.Y. Unified stability criteria of random nonlinear time-varying impulsive switched systems. IEEE Trans. Circuits Syst. I 2020, 67, 3099–3112. [Google Scholar] [CrossRef]
  26. Shan, Q.H.; Zhang, H.G.; Wang, Z.S.; Zhang, Z. Global asymptotic stability and stabilization of neural networks with general noise. IEEE Trans. Neur. Net. Lear. 2018, 29, 597–607. [Google Scholar] [CrossRef]
  27. Chen, C.C.; Qian, C.J.; Lin, X.Z.; Sun, Z.Y.; Liang, Y.W. Smooth output feedback stabilization for a class of nonlinear systems with time-varying powers. Int. J. Robust Nonlinear Control. 2017, 27, 5113–5128. [Google Scholar] [CrossRef]
  28. Huang, H.; Shirkhani, M.; Tavoosi, J.; Mahmoud, O. A New Intelligent Dynamic Control Method for a Class of Stochastic Nonlinear Systems. Mathematics 2022, 10, 1406. [Google Scholar] [CrossRef]
  29. Zhu, C.; He, L.; Zhang, K.; Sun, W.; He, Z. Optimal Timing Fault Tolerant Control for Switched Stochastic Systems with Switched Drift Fault. Mathematics 2022, 10, 1880. [Google Scholar] [CrossRef]
  30. Li, W.Q.; Yao, X.X.; Krstic, M. Adaptive-gain observer-based stabilization of stochastic strict-feedback systems with sensor uncertainty. Automatica 2020, 120, 109112. [Google Scholar] [CrossRef]
  31. Li, W.Q.; Krstic, M. Prescribed-time output-feedback control of stochastic nonlinear systems. IEEE Trans. Autom. Control. 2022, 68. [Google Scholar] [CrossRef]
  32. Ayadi, M.; Naifar, O.; Derbel, N. High-order sliding mode control for variable speed PMSG-wind turbine-based disturbance observer. Int. J. Model. Identif. Control. 2019, 32, 85–92. [Google Scholar] [CrossRef]
Figure 1. Response to the tracking error.
Figure 1. Response to the tracking error.
Mathematics 10 02524 g001
Figure 2. Response of the states.
Figure 2. Response of the states.
Mathematics 10 02524 g002
Figure 3. Response of the controller.
Figure 3. Response of the controller.
Mathematics 10 02524 g003
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Wang, R.; Wang, H.; Li, W.; Niu, B. Output Tracking Control of Random Nonlinear Time-Varying Systems. Mathematics 2022, 10, 2524. https://0-doi-org.brum.beds.ac.uk/10.3390/math10142524

AMA Style

Wang R, Wang H, Li W, Niu B. Output Tracking Control of Random Nonlinear Time-Varying Systems. Mathematics. 2022; 10(14):2524. https://0-doi-org.brum.beds.ac.uk/10.3390/math10142524

Chicago/Turabian Style

Wang, Ruitao, Hui Wang, Wuquan Li, and Ben Niu. 2022. "Output Tracking Control of Random Nonlinear Time-Varying Systems" Mathematics 10, no. 14: 2524. https://0-doi-org.brum.beds.ac.uk/10.3390/math10142524

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