Next Article in Journal
Symmetric Grayscale Image Encryption Based on Quantum Operators with Dynamic Matrices
Previous Article in Journal
Deep Reinforcement Learning-Based Impact Angle-Constrained Adaptive Guidance Law
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Zero-Error Prescribed-Time Tracking Control for Switched Non-Square MIMO Nonlinear Systems Subject to Asymmetric Time-Varying Output Constraints

1
School of Mathematics and Statistics, Nanjing University of Information Science and Technology, Nanjing 210044, China
2
CHP-LCOCS, School of Mathematics and Statistics, Hunan Normal University, Changsha 410081, China
3
Center for Applied Mathematics of Jiangsu Province, Jiangsu International Joint Laboratory on System Modeling and Data Analysis, Nanjing University of Information Science and Technology, Nanjing 210044, China
4
School of Electrical Engineering and Automation, Anhui University, Hefei 230039, China
*
Authors to whom correspondence should be addressed.
Mathematics 2025, 13(6), 986; https://doi.org/10.3390/math13060986
Submission received: 10 February 2025 / Revised: 9 March 2025 / Accepted: 15 March 2025 / Published: 17 March 2025

Abstract

:
Previous studies typically assume that output constraints are symmetric or time-invariant. However, effectively addressing asymmetric and time-varying output constraints remains an unsolved issue, especially in the case of switched non-square multi-input multi-output (MIMO) nonlinear systems. To tackle this challenge, this paper first establishes a prescribed-time (PT) Lyapunov criterion for switched nonlinear systems. Second, an asymmetric nonlinear mapping (ANM) method is proposed to handle asymmetric time-varying output constraints. Compared to the barrier Lyapunov function (BLF) approach, the ANM method relaxes the initial output conditions and the constraint functions are not necessarily required to be opposite in sign. Finally, a PT tracking controller is designed for a class of switched MIMO nonlinear systems with a non-square control coefficient matrix by using the time-varying gain technique. This controller achieves zero-error tracking within the prescribed time while ensuring that output constraints are satisfied. The effectiveness of the proposed control strategy is validated through numerical and simulation examples.

1. Introduction

Switched systems, comprising multiple subsystems governed by a deterministic switching law, are extensively utilized to model diverse real-world scenarios, including aircrafts, robotics, and network systems. As a result, the control and stabilization of these systems have garnered significant research interest, as presented in [1,2,3] and related studies. It is worth noting that many practical engineering systems are often modeled by more complex MIMO nonlinear systems, which have been extensively studied in [4,5,6,7]. Furthermore, nonlinear systems with a non-square control coefficient matrix find extensive applications across various engineering domains, including spacecraft attitude control, flexible robotic manipulators, and the swing-up control of gymnastic robots, as illustrated in [8,9,10]. However, control strategies for non-square switched MIMO nonlinear systems remain an open research problem. Therefore, exploring the tracking control problem for non-square switched MIMO nonlinear systems presents a challenging and significant research endeavor.
Recently, an increasing number of researchers are focusing on the finite-time (FT) control of nonlinear systems due to its advantages, such as faster convergence rates and enhanced robustness against disturbances. To achieve FT stability for nonlinear systems, various sophisticated and well-designed methods have been proposed, including the homogeneous approach, backstepping design, dynamic gain control, and adding a power integrator (see [11,12,13,14,15]). It is worth noting that the estimation of settling time in FT control heavily depends on initial conditions. To address this limitation, the concept of fixed-time (FxT) stability was introduced (see [16,17,18,19]). FxT stability is notable for its ability to estimate an upper bound of settling time that is independent of initial conditions. However, while FxT stability provides advantages in settling time estimation, the relationship between control parameters and the upper bound of the settling time is often complex, and the settling time is frequently overestimated. As a result, the concept of prescribed-time (PT) stability has been introduced, allowing users to arbitrarily specify the system’s convergence time based on practical requirements, regardless of the initial conditions. Specifically, PT stability has been successfully applied to various complex control problems, including uncertain nonlinear systems with time delays in [20]. Due to its distinct advantages, PT stability has garnered significant research interest in the control community (see [21,22,23]).
On the other hand, many real-world systems are often required to satisfy specific output constraints. As a result, the control of nonlinear systems with output constraints has attracted significant attention, as highlighted in studies such as [24,25,26,27]. The BLF has proven to be an effective tool for both controller design and stability analysis in such systems. As the system state variable approaches the predefined constraint boundary, the BLF value tends to infinity. Ensuring the boundedness of the BLF can effectively prevent constraint violations. However, as noted in [28], control algorithms based on BLFs often require transforming the output constraint problem into a tracking error constraint problem, which results in more conservative initial output conditions. By introducing a nonlinear transformation that is dependent on the output, the authors of [28] proposed an adaptive control method for single-input single-output systems with time-varying output constraints, which relaxes the initial output condition requirements. Nevertheless, this approach does not account for switching or MIMO characteristic in the modeling. Additionally, the time-varying output constraints considered in [28] are not arbitrary functions but must satisfy specific conditions. For instance, the output y ( t ) is required to satisfy ε l ( t ) < y ( t ) < ε u ( t ) , where ε l ( t ) and ε u ( t ) are assumed to be positive functions.
Motivated by these observations, we now formulate the following research question:
For switched MIMO systems with time-varying output constraints and non-square control coefficient matrices, how can we achieve prescribed-time trajectory tracking control?
In this paper, we aim to provide a comprehensive answer to this question. The contributions of this work are listed in the following three aspects:
(1)
The conservatism in initial conditions inherent to BLF-based control methods, as observed in [24,25,26,27], poses significant challenges for practical implementation. Although the integral BLF approach proposed in [29] alleviates this issue to some extent, it remains ineffective in addressing time-varying asymmetric output constraints. To address this limitation, we employ the ANM method, effectively alleviating the conservatism in the system’s initial output constraints.
(2)
The proposed ANM method is applicable to asymmetric time-varying output constraints, including unilateral constraints, unconstrained cases, and constant constraints, offering greater generality compared to the nonlinear transferred function approach discussed in [28]. Our approach permits the constraint functions to be arbitrary smooth time-varying functions, in contrast to [27,28,30], where they are required to have opposite signs.
(3)
Compared to the MIMO systems with square coefficient matrices studied in [4,5,6], this work proposes a unified design approach that is applicable not only to square MIMO systems but also effectively handles non-square MIMO systems, achieving zero-error tracking within a prescribed time.
The rest of this paper is organized as follows. Section 2 presents the system model and preliminaries. Section 3 details the proposed control strategy and conducts an in-depth stability analysis. Section 4 presents numerical and simulation examples with corresponding results to validate the theoretical findings. The paper concludes with some remarks in Section 5.

2. Problem Formulation

2.1. System and Assumptions

This work investigates the following switched MIMO system:
x ˙ i = x i + 1 , i = 1 , 2 , , n 1 x ˙ n = H σ ( x 1 ) u + F σ ( t , x ) , y = x 1 ,
where x i = [ x i 1 , x i 2 , , x i m ] T R m , i = 1 , 2 , , n , m n , x = [ x 1 , x 2 , , x n ] T R n m and u = [ u 1 , u 2 , , u q ] T R q ( q m ) are the state and control input vectors, respectively. Differently from the switching mechanism in [31], where the switching is governed by a stochastic Markov process, our switching signal, denoted as σ : [ t 0 , + ) N : = { 1 , 2 , , N } , is a deterministic, piecewise constant and right continuous function. Throughout this paper, we assume that all the states of (1) remain continuous at each switching instant, and there is a finite number of switchings for the switching signal σ ( t ) within any finite time interval. For any σ N , the matrix H σ ( x 1 ) R m × q denotes the control coefficient matrix, which is not necessarily symmetric, and the function F σ = [ f 1 , σ , , f m , σ ] T R m consists of unknown smooth nonlinear vectors, which represents non-vanishing disturbance.
Let us denote ε l ( t ) = [ ε l , 1 ( t ) , , ε l , m ( t ) ] T R m and ε u ( t ) = [ ε u , 1 ( t ) , , ε u , m ( t ) ] T R m as the constraint function vectors. The objective of this paper is to design a tracking controller u R q that ensures that all state variables remain bounded, while enabling the output y = x 1 to accurately track a reference signal y r : = y r ( t ) = [ y r , 1 ( t ) , , y r , m ( t ) ] T within any prescribed time T p r e without violating the predetermined output constraint
ε l , j ( t ) < y j < ε u , j ( t ) , j = 1 , 2 , , m .
Remark 1. 
We emphasize that the constraint functions ε l , j ( t ) and ε u , j ( t ) , j = 1 , 2 , , m can be any smooth time-varying functions. This distinguishes our approach from the requirement in [27,28,30], where the two constraint functions must have opposite signs. In practical applications, output constraint functions may both be positive, both negative, or differ in sign. Our method offers a more general and flexible framework, broadening its applicability to a wider range of constrained control problems.
Assumption 1. 
For any σ N , there exist the unknown bounded function c σ ( t ) and the known smooth function f ( x ) such that
| F σ ( t , x ) | c σ ( t ) f ( x ) ,
where c σ ( t ) is bounded by an unknown constant c ¯ σ .
Assumption 2. 
For any σ N , the control coefficient matrix H σ can be decomposed as
H σ ( x 1 ) = P Q σ ( x 1 ) ,
where P = ( I m , ι m + 1 , , ι q ) R m × q is a known matrix, with ι p R m , for p = m + 1 , , q , being nonzero vectors, and Q σ ( x 1 ) R q × q is a square matrix that is not necessarily symmetric. Moreover, the matrix P ( Q σ ( x 1 ) + Q σ T ( x 1 ) ) P T is symmetric and positive-definite, i.e.,
λ min P ( Q σ ( x 1 ) + Q σ T ( x 1 ) ) P T λ ̲ > 0 ,
where λ ̲ is a known constant and λ min ( ) denotes the minimum eigenvalue of the matrix •.
Assumption 3. 
For any j = 1 , 2 , , m , there exist the constants M ̲ 0 , M ¯ 0 , M 1 such that the time-varying functions ε l , j ( t ) , ε u , j ( t ) and their time derivative ε ˙ l , j ( t ) , ε ˙ u , j ( t ) satisfy
ε l , j ( t ) M ̲ 0 , ε u , j ( t ) M ¯ 0 , ε ˙ l , j ( t ) M 1 , ε ˙ u , j ( t ) M 1 ,
where ε ˙ l , j ( t ) , ε ˙ u , j ( t ) denote the first-order time derivatives of ε l , j ( t ) and ε u , j ( t ) , respectively, i.e., ε ˙ l , j ( t ) d ε l , j ( t ) / d t and ε ˙ u , j ( t ) d ε u , j ( t ) / d t .
Assumption 4. 
For any j = 1 , 2 , , m , there exist the known time-varying functions N l , j ( t ) , N u , j ( t ) and positive constants N i , j , i = 1 , 2 , , n , such that the desired trajectory y r , j satisfies ε l , j ( t ) < N l , j ( t ) < y r , j < N u , j ( t ) < ε u , j ( t ) and its i-th time derivatives satisfy | y r , j ( i ) ( t ) | N i , j , i = 1 , 2 , , n .
Remark 2. 
Assumption 2 is introduced to address the non-invertibility issue of non-square coefficient matrices. The non-square nature of the system introduces significant challenges in controller design, as illustrated in inequality (37). Assumption 2 provides the necessary theoretical foundation for achieving prescribed-time tracking control. It is worth noting that similar conditions have been successfully applied in [9,32]. Moreover, this assumption effectively characterizes various practical engineering systems, including spacecraft attitude control, flexible robotic manipulators, and the swing-up control of gymnastic robots, with relevant applications discussed in [8,9,10].

2.2. Preliminaries

In this paper, R + and R n denote the set of nonnegative real numbers and the real n-dimensional space, respectively. For a given matrix A, A T denotes its transpose. For a given vector X, | X | is the Euclidean norm. Define A = i = 1 n j = 1 m a i j 2 1 2 for a matrix A R n × m . Let C 1 , 2 ( [ a , b ] × R n ; R + ) denote all nonnegative functions V ( t , ζ ) on [ a , b ] × R n , which are continuously differentiable in t and twice continuously differentiable in ζ .
We introduce the following scaling function:
μ ( t ) = T t 0 + T t ν , t [ t 0 , t 0 + T ) ,
where ν max { n , 2 } is an integer and T = T p r e > 0 is a freely prescribed time. Obviously, μ ( t ) is a monotonically increasing function on [ t 0 , t 0 + T ) with μ ( t 0 ) = 1 and lim t t 0 + T μ ( t ) = + . Meanwhile, μ ( t ) is continuously differentiable with respect to t and
μ ˙ ( t ) = ν T T t 0 + T t ν + 1 .
In the following part, we introduce two lemmas, which are useful for our subsequent controller design and stability analysis.
Theorem 1. 
Consider a switched nonlinear system ζ ˙ = f σ ( t , ζ ) with σ = σ ( t ) being defined as that in (1) and f σ : [ t 0 , t 0 + T ) × R r R r being a smooth function. If there exist a non-negative function V ( t , ζ ) C 1 , 2 ( [ t 0 , t 0 + T ) × R r ; R + ) and the positive constants c 0 , θ 0 such that for all ζ R r , σ N ,
V ˙ ( t , ζ ) = V t + V ζ T f σ c 0 μ ( t ) V ( t , ζ ) + θ 0 μ ( t ) , for all t [ t 0 , t 0 + T ) ,
then the function V ( t , ζ ) satisfies
V ( t , ζ ( t ) ) e t 0 t c 0 μ ( s ) d s V ( t 0 , ζ ( t 0 ) ) + c 0 1 θ 0 .
Proof. 
Let { t l | l = 0 , 1 , 2 , } be the switching time instants of the switching signal σ = σ ( t ) in system (19). During the time interval [ t l , t l + 1 ) ( l = 0 , 1 , 2 , ), the σ l -th subsystem is activated. Then, there exists a time interval [ t n 1 , t n ) such that t 0 + T [ t n 1 , t n ) . For any t [ t 0 , t 0 + T ) , from (6) and (8), we have
e t 0 t c 0 μ ( s ) d s V ˙ ( t , ζ ) c 0 μ ( t ) V ( t , ζ ) e t 0 t c 0 μ ( s ) d s + θ 0 μ ( t ) e t 0 t c 0 μ ( s ) d s ,
which implies that
m = 1 n t t m 1 t t m ( e t 0 τ c 0 μ ( s ) d s V ˙ ( τ , ζ ) + c 0 μ ( τ ) V ( τ , ζ ) e t 0 τ c 0 μ ( s ) d s ) d τ t 0 t θ 0 μ ( τ ) e t 0 τ c 0 μ ( s ) d s d τ .
We compute the term on the left side of (11) to obtain
m = 1 n t t m 1 t t m e t 0 τ c 0 μ ( s ) d s V ˙ ( τ , ζ ) + c 0 μ ( τ ) V ( τ , ζ ) e t 0 τ c 0 μ ( s ) d s d τ = m = 1 n t t m 1 t t m d V ( τ , ζ ) e t 0 τ c 0 μ ( s ) d s = m = 1 n V ( τ , ζ ) e t 0 τ c 0 μ ( s ) d s | t t m 1 t t m = V ( τ , ζ ) e t 0 τ c 0 μ ( s ) d s | t 0 t = V ( t , ζ ) e t 0 t c 0 μ ( s ) d s V ( t 0 , ζ ) .
On the right-hand side of (11), it can be derived that
t 0 t θ 0 μ ( τ ) e t 0 τ c 0 μ ( s ) d s d τ θ 0 c 0 e t 0 τ c 0 μ ( s ) d s 1 .
Based on (12) and (13), we have
V ( t , ζ ) V ( t 0 , ζ ) e t 0 t c 0 μ ( s ) d s c 0 1 θ 0 1 e t 0 t c 0 μ ( s ) d s c 0 1 θ 0 .
This completes the proof of Theorem 1. □

3. Control Design and Stability Analysis

3.1. State-Constrained Transformation

Let us define the tracking error z = [ z 1 , , z m ] T , where z j = y j y r , j = x 1 j y r , j for j = 1 , 2 , , m . In light of the output constraint (2), it can be verified that z j ( j = 1 , 2 , , m ) must satisfy the constraint condition:
E l , j ( t ) : = ε l , j ( t ) y r , j ( t ) < z j < ε u , j ( t ) y r , j ( t ) : = E u , j ( t ) .
To tackle the issue of output constraint (15),we introduce the following asymmetric nonlinear mapping (ANM):
ζ j = I { z j 0 } 2 π E u , j tan π 2 · z j E u , j + I { z j < 0 } 2 π E l , j tan π 2 · z j E l , j , j = 1 , 2 , , m ,
where I A = I A ( w ) is an indicator function defined by
I A ( w ) = 1 , w A , 0 , w A .
The aforementioned transformation is well-defined on the condition that the error variables z j , j = 1 , , m adhere to the constraint condition (15). Consequently, if sup t t 0 | ζ ( t ) | 2 = sup t t 0 | ζ 1 ( t ) | 2 + + | ζ m ( t ) | 2 < + is satisfied, then the variables z j , j = 1 , 2 , , m will indeed comply with the constraint condition (15). In fact, the ANM method is designed to transform the output-constrained problem into a bounded tracking error problem by introducing a nonlinear mapping function (15). We see that the output constraints will not be violated as long as ζ j is bounded. Moreover, according to Assumptions 3 and 4, we know that both E l , j ( t ) and E u , j ( t ) are positive and bounded, i.e., there exist positive constants M l , j and M u , j such that 0 < E l , j ( t ) M l , j and 0 < E u , j ( t ) M u , j . Thus, if z j , j = 1 , 2 , , m satisfies (15), then it follows from (16) that
z j = I { ζ j 0 } 2 π E u , j arctan π 2 · ζ j E u , j + I { ζ j < 0 } 2 π E l , j arctan π 2 · ζ j E l , j , j = 1 , 2 , , m .
Noting that | arctan x | | x | for x R , we further know that | z j | | ζ j | holds for all j = 1 , 2 , , m . In addition, it can be inferred that z j = z j ( ζ j , E u , j , E l , j ) is continuously differentiable with respect to its arguments and
z ˙ j = z j ζ j ζ ˙ j + z j E u , j E ˙ u , j + z j E l , j E ˙ l , j .
It is easy to compute that
z j E u , j = I { ζ j 0 } ( 2 π arctan ( π 2 · ζ j E u , j ) ζ j E u , j ( 1 + ( π 2 · ζ j E u , j ) 2 ) ) , z j E l , j = I { ζ j < 0 } ( 2 π arctan ( π 2 · ζ j E l , j ) ζ j E l , j ( 1 + ( π 2 · ζ j E l , j ) 2 ) ) .
Due to the fact that
lim ϵ 0 + z j ( 0 + ϵ , E u , j , E l , j ) z j ( 0 , E u , j , E l , j ) ϵ = lim ϵ 0 z j ( 0 + ϵ , E u , j , E l , j ) z j ( 0 , E u , j , E l , j ) ϵ = 1 ,
we can obtain
z j ζ j = 1 1 + π 2 · ζ j E u , j 2 , if ζ j > 0 , 1 , if ζ j = 0 , 1 1 + π 2 · ζ j E l , j 2 , if ζ j < 0 .
Using the transformation (16), together with the switched MIMO system (1), yields
ζ ˙ j = ψ j ( x 2 j y ˙ r , j ) + I { ζ j 0 } s u , j E ˙ u , j + I { ζ j < 0 } s l , j E ˙ l , j , j = 1 , 2 , , m ,
where ψ j , s u , j and s l , j are defined by ψ j = I { ζ j 0 } Δ u , j + I { ζ j < 0 } Δ l , j , s u , j = ζ j E u , j 2 π Δ u , j arctan ( π 2 · ζ j E u , j ) , s l , j = ζ j E l , j 2 π Δ l , j arctan ( π 2 · ζ j E l , j ) with Δ u , j = 1 + π 2 · ζ j E u , j 2 , Δ l , j = 1 + ( π 2 · ζ j E l , j ) 2 .
Remark 3. 
Compared with the existing results, such as [24,25], the ANM method offers a broader range of applicability and can be categorized into the following cases:
Case 1 [Symmetric time-varying constraints, i.e., ε l , j ( t ) = ε j ( t ) and ε u , j ( t ) = ε j ( t ) , j = 1 , , m ]. Under the assumption of symmetric and time-varying output constraints, the ANM (16) still works with
E l , j ( t ) = y r , j ( t ) ε j ( t ) , E u , j ( t ) = ε j ( t ) y r , j ( t ) .
Case 2 [Symmetric constant constraints, i.e., ε l , j ( t ) = ε and ε u , j ( t ) = ε , j = 1 , , m ]. In this case, the output constraints are assumed to be positive numbers. Then, the system (1) degenerates into the case studied in [24,25]. Response: The underline is necessary to clearly present the classification and should be retained in all highlighted parts.
Case 3 [Unilateral constraints or non-constraints, i.e., ε l , j ( t ) = or ε u , j ( t ) = + , j = 1 , , m ]. In the unilateral constraint case, the output variable y ( t ) is required to be < y j ( t ) < ε u , j ( t ) or ε l , j ( t ) < y j ( t ) < + for all t 0 . Taking the first case as an example, the ANM (16) is changed into
ζ j = I { z j 0 } 2 π E u , j tan π 2 · z j E u , j + I { z j < 0 } z j , j = 1 , 2 , , m .
On the other hand, our results can be extended to the case where no constraints are imposed on the output y ( t ) . In this case, the ANM (16) can reduce into a trivial transformation ζ j = z j , j = 1 , 2 , , m .

3.2. Controller Design

Let us define
η 1 j = μ ( t ) ξ 1 j , ξ 1 j = ζ j , j = 1 , 2 , , m , η i = μ ( t ) ξ i , ξ i = x i ϕ i 1 , i = 2 , , n ,
where ϕ 1 , , ϕ n 1 R m are the virtual controllers to be specified later. In the following, we focus on the control design of the switched MIMO system (1). The design process is carried out by using the backstepping methodology.
Step 1. Let us consider a candidate Lyapunov function V 1 = 1 2 j = 1 m | η 1 j | 2 . Then, the dynamics of η 1 j , j = 1 , 2 , , m , are
η ˙ 1 j = μ ( t ) ξ ˙ 1 j + μ ˙ ( t ) ξ 1 j = μ ( t ) ψ j ( x 2 j y ˙ r , j ) + μ ( t ) I { ζ j 0 } s u , j E ˙ u , j + μ ( t ) I { ζ j < 0 } s l , j E ˙ l , j + μ ˙ ( t ) ξ 1 j .
Combining with (19) yields
V ˙ 1 = j = 1 m η 1 j μ ( t ) ξ ˙ 1 j + μ ˙ ( t ) ξ 1 j = μ ( t ) j = 1 m η 1 j ψ j ( x 2 j y ˙ r , j ) + μ ( t ) j = 1 m η 1 j I { ζ j 0 } s u , j E ˙ u , j + μ ( t ) j = 1 m η 1 j I { ζ j < 0 } s l , j E ˙ l , j + j = 1 m η 1 j μ ˙ ( t ) ξ 1 j .
For any j = 1 , 2 , , m , in accordance with Assumptions 3 and 4, there exist the positive constants M ¯ u , j and M ¯ l , j such that | E ˙ u , j E u , j | M ¯ u , j and | E ˙ l , j E l , j | M ¯ l , j . It is noteworthy that the relationship η 1 j = μ ( t ) ξ 1 j = μ ( t ) ζ j holds true for j = 1 , 2 , , m . Therefore, by using the fact | j = 1 m x j y j | j = 1 m x j 2 · j = 1 m y j 2 for x j , y j R and Young’s inequality, we can derive
| μ ( t ) j = 1 m η 1 j I { ζ j 0 } s u , j E ˙ u , j | μ ( t ) j = 1 m ( 1 + Δ u , j ) M ¯ u , j | η 1 j | | ζ j | j = 1 m ( 1 + Δ u , j ) 2 M ¯ u , j 2 j = 1 m | η 1 j | 4 D u j = 1 m | η 1 j | 2 ,
where D u = j = 1 m ( 1 + Δ u , j ) M ¯ u , j . Similarly,
| μ ( t ) j = 1 m η 1 j I { ζ j < 0 } s l , j E ˙ l , j | D l j = 1 m | η 1 j | 2 ,
where D l = j = 1 m ( 1 + Δ l , j ) M ¯ l , j . Denote η 1 = [ η 11 , , η 1 m ] T , ξ 1 = [ ξ 11 , , ξ 1 m ] T , y ˙ r = [ y ˙ r , 1 , , y ˙ r , m ] T and Ψ = diag { ψ 1 , , ψ m } . Obviously, the matrix Ψ is invertible due to the positiveness of ψ j , j = 1 , 2 , , m . It follows from (23)–(25) that
V ˙ 1 μ ( t ) η 1 T Ψ ( x 2 y ˙ r ) + D 1 | η 1 | 2 + μ ˙ ( t ) η 1 T ξ 1 = μ ( t ) η 1 T Ψ ( x 2 ϕ 1 ) + μ ( t ) η 1 T Ψ ( ϕ 1 y ˙ r ) + D 1 | η 1 | 2 + μ ˙ ( t ) η 1 T ξ 1 ,
where D 1 = D u + D l . Due to the fact that η 1 = μ ( t ) ξ 1 , the last term η 1 T μ ˙ ( t ) ξ 1 in the above equation can be rewritten as μ ˙ ( t ) μ 1 ( t ) | η 1 | 2 . Noting that ψ j 1 for j = 1 , 2 , , m , we have η 1 T Ψ η 1 | η 1 | 2 . By taking
ϕ 1 = k 1 η 1 + 1 2 ξ 1 + D 1 ξ 1 + μ ˙ ( t ) μ 1 ( t ) ξ 1 + y ˙ r
with k 1 > 0 being a real number, then it follows that
μ ( t ) η 1 T Ψ ( ϕ 1 y ˙ r ) = μ ( t ) η 1 T Ψ k 1 η 1 + 1 2 ξ 1 + D 1 ξ 1 + μ ˙ ( t ) μ 1 ( t ) ξ 1 = μ ( t ) k 1 η 1 T Ψ η 1 1 2 η 1 T Ψ η 1 D 1 η 1 T Ψ η 1 μ ˙ ( t ) μ 1 ( t ) η 1 T Ψ η 1 μ ( t ) k 1 | η 1 | 2 1 2 | η 1 | 2 D 1 | η 1 | 2 μ ˙ ( t ) μ 1 ( t ) | η 1 | 2 .
Hence, we know from (26) that V ˙ 1 η 1 T Ψ η 2 μ ( t ) k 1 | η 1 | 2 1 2 | η 1 | 2 .
Step 2. Let us consider a candidate Lyapunov function V 2 = V 1 + 1 2 | η 2 | 2 . The dynamic of η 2 is
η ˙ 2 = μ ( t ) ξ 3 + ϕ 2 μ ( t ) ϕ ˙ 1 + μ ˙ ( t ) μ 1 ( t ) η 2 .
Then, along with the solution of (29), it follows that
V ˙ 2 = V ˙ 1 + η 2 T η ˙ 2 η 1 T Ψ η 2 μ ( t ) k 1 | η 1 | 2 1 2 | η 1 | 2 + η 2 T η 3 + μ ( t ) η 2 T ϕ 2 μ ( t ) η 2 T ϕ ˙ 1 + μ ˙ ( t ) μ 1 ( t ) | η 2 | 2 .
Note that Ψ 2 = j = 1 m | ψ j | 2 . By using the Young inequality, we have
η 1 T Ψ η 2 1 2 j = 1 m | ψ j | 2 | η 2 | 2 + 1 2 | η 1 | 2 .
By taking
ϕ 2 = k 2 η 2 1 2 ξ 2 1 2 j = 1 m | ψ j | 2 ξ 2 μ ˙ ( t ) μ 1 ( t ) ξ 2 + ϕ ˙ 1
with k 2 > 0 being a real number, we have V ˙ 2 η 2 T η 3 μ ( t ) k 1 | η 1 | 2 μ ( t ) k 2 | η 2 | 2 1 2 | η 2 | 2 .
Repeating this step, we can obtain the dynamic of η i
η ˙ i = μ ( t ) ξ i + 1 + ϕ i μ ( t ) ϕ ˙ i 1 + μ ˙ ( t ) μ 1 ( t ) η i
and find a ϕ i ( i = 3 , , n 1 ) in the form of
ϕ i = k i η i ξ i μ ˙ ( t ) μ 1 ( t ) ξ i + ϕ ˙ i 1
with k i > 0 being a real number, such that
V ˙ i η i T η i + 1 μ ( t ) l = 1 i k l | η l | 2 1 2 | η i | 2 ,
where V i = V i 1 + 1 2 | η i | 2 , i = 3 , , n 1 , and k 3 , , k n 1 are positive real numbers.
Stepn. Consider a Lyapunov function V n = V n 1 + 1 2 | η n | 2 . The dynamic of η n is
η ˙ n = μ ( t ) H σ u + μ ( t ) F σ μ ( t ) ϕ ˙ n 1 + μ ˙ ( t ) μ 1 ( t ) η n .
Then, along with the solution of (35), it follows that
V ˙ n = V ˙ n 1 + η n T η ˙ n η n 1 T η n μ ( t ) l = 1 n 1 k l | η l | 2 1 2 | η n 1 | 2 + μ ( t ) η n T H σ u + μ ( t ) η n T F σ μ ( t ) η n T ϕ ˙ n 1 + μ ˙ ( t ) μ 1 ( t ) | η n | 2 .
By using the Young inequality, we have
η n 1 T η n 1 2 | η n 1 | 2 + 1 2 | η n | 2 , μ ( t ) η n T F σ ϕ ˙ n 1 μ ( t ) ( 2 θ ) 1 f 2 + | ϕ ˙ n 1 | 2 | η n | 2 + μ ( t ) θ M ,
where M = max { 1 , c ¯ 1 2 , , c ¯ N 2 } , θ > 0 is a control parameter. Note, that
η n T H σ P T η n = 1 2 η n T P ( Q σ + Q σ T ) P T η n + 1 2 η n T P ( Q σ Q σ T ) P T η n 1 2 λ ̲ | η n | 2 .
Hence, by taking
u = 2 λ ̲ 1 k n + 1 2 μ 1 ( t ) + ( 2 θ ) 1 f 2 + | ϕ ˙ n 1 | 2 + μ ˙ ( t ) μ 2 ( t ) P T η n
with k n > 0 being a real number, we have
μ ( t ) η n T H σ u = 2 λ ̲ 1 μ ( t ) k n η n T H σ P T η n λ ̲ 1 η n T H σ P T η n λ ̲ 1 μ ( t ) θ 1 f 2 + | ϕ ˙ n 1 | 2 η n T H σ P T η n 2 λ ̲ 1 μ ˙ ( t ) μ 1 ( t ) η n T H σ P T η n μ ( t ) k n | η n | 2 1 2 | η n | 2 μ ( t ) ( 2 θ ) 1 f 2 + | ϕ ˙ n 1 | 2 | η n | 2 μ ˙ ( t ) μ 1 ( t ) | η n | 2 .
Therefore, we obtain
V ˙ n μ ( t ) l = 1 n k l | η l | 2 + μ ( t ) Θ 2 μ ( t ) k V n + μ ( t ) Θ ,
where k = min { k 1 , k 2 , , k n } and Θ = θ M are positive constants.
Remark 4. 
Since H σ in system (1) is not necessarily a square matrix, directly applying the inverse of H σ for controller design, as in [5,6,24], is unfeasible. To address this, we decompose H σ into a non-square matrix P and a square matrix Q σ , as stated in Assumption 2. This enables controller design even when H σ is non-invertible. However, since Q σ is unknown and cannot be directly utilized, constructing a control input based on H σ is challenging. To resolve this, we incorporate inequality (37) and design a prescribed-time tracking controller relying solely on P , eliminating the dependence on Q σ and ensuring convergence within the prescribed time.

3.3. Stability Analysis

Theorem 2. 
Under Assumptions 1–4, there exists a tracking controller u in the form of (38) for system (1) such that for any initial data y ( t 0 ) satisfying ε l , j ( t 0 ) < y j ( t 0 ) < ε u , j ( t 0 ) , j = 1 , 2 , m ,
(1) 
the prescribed output constraint is not violated, i.e., the output y ( t ) = [ y 1 ( t ) , , y m ( t ) ] T satisfies
ε l , j ( t ) < y j ( t ) < ε u , j ( t ) , j = 1 , 2 , m , t [ t 0 , t 0 + T ) ;
(2) 
all signals of the closed-loop system are bounded on [ t 0 , t 0 + T ) ;
(3) 
the tracking error z ( t ) = y ( t ) y r ( t ) possesses the following property:
lim t t 0 + T | z ( t ) | + | z ˙ ( t ) | = 0 ,
where z ˙ ( t ) = y ˙ ( t ) y ˙ r ( t ) represents the first time derivative of z ( t ) .
Proof. 
(1) According to Theorem 1 and (39), we know that V n remains bounded over the interval [ t 0 , t 0 + T ) . This, in turn, implies that the variables η i , i = 1 , , n , are also bounded within the same interval. Observing (21), we deduce that ξ 1 j = μ 1 ( t ) η 1 j , j = 1 , 2 , , m are also bounded, as ζ j . Consequently, by referring to (16), we can assert that E l , j ( t ) < z j ( t ) < E u , j ( t ) , j = 1 , 2 , , m hold for all t [ t 0 , t 0 + T ) . Given the relationship y j ( t ) = z j ( t ) + y r , j ( t ) , j = 1 , 2 , , m , we can further obtain
E l , j ( t ) + y r , j ( t ) < y j ( t ) < E u , j ( t ) + y r , j ( t ) .
Considering the definitions of E l , j ( t ) and E u , j ( t ) in (15), we conclude that the output y ( t ) will obey the pre-assigned output constraint ε l , j ( t ) < y j ( t ) < ε u , j ( t ) provided that the initial value y ( t 0 ) satisfies ε l , j ( t 0 ) < y j ( t 0 ) < ε u , j ( t 0 ) .
(2) Based on (21) and (39), we know that η i and ξ i , i = 1 , , n , are bounded over the interval [ t 0 , t 0 + T ) . Moreover, combining with ξ i = μ 1 ( t ) η i , i = 1 , 2 , , n , it can be inferred that lim t t 0 + T | ξ i | = 0 .
Next, we need to show the boundedness of the controller u. First, we consider the boundedness of the first virtual controller ϕ 1 . Based on Assumption 4, it follows that y r is bounded. Noting that μ ˙ ( t ) μ 1 ( t ) = ν T T t 0 + T t , we have lim t t 0 + T μ ˙ ( t ) μ 1 ( t ) ξ 1 = ν T lim t t 0 + T t 0 + T t T ν 1 η 1 = 0 . Considering that η 1 and ξ 1 are both bounded on the interval [ t 0 , t 0 + T ) , we conclude that the virtual controller ϕ 1 = k 1 η 1 + 1 2 ξ 1 + D 1 ξ 1 + μ ˙ ( t ) μ 1 ( t ) ξ 1 + y ˙ r is bounded on [ t 0 , t 0 + T ) .
Second, we consider the boundedness of the second virtual controller ϕ 2 . Recall that
ϕ 2 = k 2 η 2 1 2 ξ 2 1 2 j = 1 m | ψ j | 2 ξ 2 μ ˙ ( t ) μ 1 ( t ) ξ 2 + ϕ ˙ 1 .
For any j = 1 , 2 , , m , according to the definition of ψ j and the boundedness of E l , j and E u , j , we have
lim t t 0 + T ψ j = lim ζ j 0 + 1 + ( π 2 · ζ j E u , j ) 2 = lim ζ j 0 1 + ( π 2 · ζ j E l , j ) 2 = 1 .
Given that η 2 , ξ 2 are bounded, and lim t t 0 + T μ ˙ ( t ) μ 1 ( t ) ξ 2 = 0 , it is sufficient to ensure that ϕ 2 remains bounded, provided that ϕ ˙ 1 is also bounded. Let us denote ϕ 1 = [ ϕ 11 , , ϕ 1 m ] T . Based on the definition of ϕ 1 , we can derive that
ϕ ˙ 1 j = k 1 η ˙ 1 j + 1 2 ξ ˙ 1 j + D 1 ξ ˙ 1 j + D ˙ 1 ξ 1 j + d d t ( μ ˙ ( t ) μ 1 ( t ) ξ 1 j ) + y ¨ r , j = k 1 η ˙ 1 j + 1 2 ξ ˙ 1 j + D 1 ξ ˙ 1 j + D ˙ 1 ξ 1 j + ν ( t 0 + T t ) 2 ξ 1 j + ν t 0 + T t ξ ˙ 1 j + y ¨ r , j , j = 1 , 2 , , m .
Denote η 2 = [ η 21 , , η 2 m ] T . For any j = 1 , 2 , , m , it follows from (22) and (27) that
η ˙ 1 j = ψ j η 2 j μ ( t ) ψ j k 1 η 1 j + 1 2 ξ 1 j + D 1 ξ 1 j + μ ˙ ( t ) μ 1 ( t ) ξ 1 j + μ ( t ) I { ζ j < 0 } s l , j E ˙ l , j + μ ( t ) I { ζ j 0 } s u , j E ˙ u , j + μ ˙ ( t ) ξ 1 j .
Note, that
| I { ζ j 0 } s l , j E ˙ l , j | D l | ξ 1 j | , | I { ζ j 0 } s u , j E ˙ u , j | D u | ξ 1 j | ,
and lim t t 0 + T | ξ 1 j | = 0 . Hence, due to the fact that ν 2 , we have
lim t t 0 + T ξ ˙ 1 j = lim t t 0 + T d d t μ 1 ( t ) η 1 j = lim t t 0 + T μ 2 ( t ) μ ˙ ( t ) η 1 j + μ 1 ( t ) η ˙ 1 j = lim t t 0 + T ν T T t 0 + T t 1 ν ψ j k 1 η 1 j = lim t t 0 + T ( k 1 η 1 j ) .
Since η 1 j is bounded over the interval [ t 0 , t 0 + T ) , we know that there exists a finite constant ω such that
lim t t 0 + T T ν ξ 1 j ( t 0 + T t ) ν = ω .
Applying the L’Hôpital’s rule, we have
lim t t 0 + T T ν ξ ˙ 1 j ν ( t 0 + T t ) ν 1 = ω .
Combining with (46) and applying the L’Hôpital’s rule again yields
lim t t 0 + T T ν k 1 η 1 j ν ( t 0 + T t ) ν 1 = lim t t 0 + T T ν k 1 η ˙ 1 j ν ( ν 1 ) ( t 0 + T t ) ν 2 = ω .
Case 1 For ν = 2 , it follows from (49) that lim t t 0 + T η ˙ 1 j = 2 k 1 1 T 2 ω , which indicates that η ˙ 1 j is bounded on the interval [ t 0 , t 0 + T ) . Moreover, it further follows that η 1 j tends to zero at a rate not slower than ( t 0 + T t ) . Thus, we know that ξ 1 j tends to zero at a rate not slower than ( t 0 + T t ) 3 as t approaches t 0 + T . Thus, we can ensure the boundedness of ϕ ˙ 1 j on [ t 0 , t 0 + T ) according to (44).
Case 2 For ν > 2 , we can deduce from (49) that η 1 j tends to zero at a rate not slower than ( t 0 + T t ) ν 1 and η ˙ 1 j tends to zero at a rate not slower than ( t 0 + T t ) ν 2 as t approaches t 0 + T . Therefore, in conjunction with (44), we can conclude that ϕ ˙ 1 j is bounded over the interval [ t 0 , t 0 + T ) .
Consequently, the boundedness of ϕ ˙ 1 can be guaranteed over the interval [ t 0 , t 0 + T ) , which in turn implies that ϕ 2 is also bounded.
By repeatedly applying the L’Hôpital’s rule to (49), we establish that η 1 j ( l ) , for j = 1 , 2 , , m and l = 1 , , n 1 , approaches zero at a rate of no less than ( t 0 + T t ) ν l 1 as t nears t 0 + T . By analogous reasoning applied to (44)–(46), we can similarly demonstrate that η i ( l ) , i = 2 , , n 1 , l = 1 , , n i also tends to zero at a comparable rate as t approaches t 0 + T . Consequently, it is sufficient to show that ϕ i ( l ) , for i = 1 , 2 , , n 1 and l = 1 , , n i , remains bounded over the interval [ t 0 , t 0 + T ) . Observing that x i = ξ i + ϕ i 1 , i = 2 , , n , we deduce that x i , i = 1 , 2 , , n is bounded. In conjunction with (38), we can conclude that u is bounded on the interval [ t 0 , t 0 + T ) .
(3) Given that lim t t 0 + T | ξ 1 ( t ) | = 0 , we know that lim t t 0 + T | ζ j ( t ) | = 0 , j = 1 , 2 , , m . In light of (17), we can deduce that
lim t t 0 + T | z j ( t ) | lim t t 0 + T | ζ j ( t ) | = 0 , j = 1 , 2 , , m ,
which asserts that lim t t 0 + T | z ( t ) | = lim t t 0 + T | z 1 ( t ) | 2 + + | z m ( t ) | 2 = 0 holds. Furthermore, considering the expression for z ˙ j as given in (18), we have
| z ˙ j | | z j ζ j | | ζ ˙ j | + | z j E u , j | | E ˙ u , j | + | z j E l , j | | E ˙ l , j | | ζ ˙ j | + | E ˙ u , j E u , j | | ζ j | + | E ˙ l , j E l , j | | ζ j | ,
where we use the facts that | z j ζ j | 1 , | z j E u , j | | ζ j E u , j | and | z j E l , j | | ζ j E l , j | . Therefore, in conjunction with lim t t 0 + T | ζ j ˙ ( t ) | = 0 for j = 1 , 2 , , m , it can be concluded that lim t t 0 + T | z ˙ ( t ) | = 0 holds. The proof is complete. □
Remark 5. 
As noted in [28], the BLF method often requires the initial output to be restricted within a smaller range than the actual constraints, whereas the ANM method effectively avoids this limitation. To illustrate this issue, we consider the following system with output constrained by a constant bound:
x ˙ 1 ( t ) = u + x 2 ( t ) , y = x 1 ( t ) ,
where x ( 0 ) = x 0 , u R is the control input, and x 1 , x 2 R are the system states. The system output y is subject to the following constraint: ε r < y ( t ) < ε r , where ε r is a known positive constant. Define the tracking error as z e = y y r , where y r is a known reference signal. We consider the following logarithmic BLF:
V = 1 2 log ε b 2 ε b 2 z e 2 ,
where ε b = ε r Y , | y r | Y < ε r , Y is a positive constant. The BLF approach guarantees compliance with the output constraint by restricting the tracking error within the bound: ε b < z e < ε b . Recalling the definition of z e , we obtain y r ε r + Y = y r ε b < y < ε b + y r = ε r Y + y r . When t = 0 , which implies that:
y r ( 0 ) ε r + Y < y ( 0 ) < ε r Y + y r ( 0 ) .
Since | y r | Y , it follows that Y < y r ( 0 ) < Y , leading to a more restrictive initial range for the output signal y ( 0 ) than the original constraint ε r < y ( t ) < ε r . Thus, by adopting the ANM method, we effectively circumvent the conservativeness associated with the BLF-based control algorithm regarding the initial value of the system output.
Remark 6. 
It is noteworthy that this work centers on achieving PT tracking control, a goal that diverges from the findings presented in [4,7,9,22]. The pivotal difference resides in our employment of the ANM method to address output constraints, thereby recasting the output-constrained challenge into an investigation of the boundedness of ζ j , j = 1 , 2 , , m . Conversely, by using the time-varying gain technique and L’Hôpital’s rule, a zero-error tracking outcome is attainable. For analogous results, refer to [7], where a full-state tracking result is obtained for normal MIMO systems. Indeed, due to the presence of output constraints and the ANM (16), a nonlinear term I { ζ j 0 } s u , j E ˙ u , j + I { ζ j < 0 } s l , j E ˙ l , j is incorporated into (19). It can be easily verified that this nonlinear term vanishes as ζ j , j = 1 , 2 , , m approaches zero. Consequently, a good tracking result, lim t t 0 + T | z ( t ) | + | z ˙ ( t ) | = 0 , is ensured. Given that numerous physical systems can be represented as two-dimensional nonlinear systems, this tracking outcome is adequately sufficient for a broad spectrum of practical applications.

4. Example

In this section, two examples are provided to validate our theoretical results.
Example 1. 
Consider the following three-dimensional switched MIMO system:
x ˙ 1 = x 2 , x ˙ 2 = H σ ( x 1 ) u + F σ ( t , x ) , y = x 1 ,
where x 1 = [ x 11 , x 12 ] T R 2 , x 2 = [ x 21 , x 22 ] T R 2 , x = [ x 1 , x 2 ] T R 4 and u = [ u 1 , u 2 , u 3 ] T R 3 are the state and control input vectors, respectively. The switching signal σ ( t ) takes values from the set N = { 1 , 2 } . The system parameters are defined as follows:
H 1 = 0.9 0 0.2 0 0.9 0.5 , H 2 = 0.6 0 0.2 0 0.6 0.3 , F 1 = 0.05 x 12 0.02 x 11 , F 2 = 0.02 x 21 0.04 x 22 .
Consider the output variable y = [ y 1 , y 2 ] T , which is required to satisfy the time-varying constraints ε l , j ( t ) < y j < ε u , j ( t ) ( j = 1 , 2 ) for all t 0 . The time-varying constraint function vectors are defined as:
ε l ( t ) = 3.5 e 2 t , 3 e t T , ε u ( t ) = 6.5 + e 2 t , 6.5 + e t T .
Furthermore, the reference trajectories are given by
y r = sin 3 t + 5 , cos 3 t + 5 T .
Besides, it can be verified that Assumption 1 holds by choosing f ( x ) = | x 1 | + | x 2 | . By choosing the matrix
P = 1 0 1 0 1 2 ,
it can be verified that Assumption 2 holds, and the minimum eigenvalue satisfies λ ̲ = 110 . Clearly, Assumption 3 is satisfied with M ̲ 0 = 2 , M ¯ 0 = 7.5 , M 1 = 2 .
Based on the control framework introduced in Section 3, we design a tracking controller as follows:
u = 2 λ ̲ 1 k 2 + 1 2 μ 1 ( t ) + ( 2 θ ) 1 f 2 + | ϕ ˙ 1 | 2 + μ ˙ ( t ) μ 2 ( t ) P T η 2 .
where ζ 1 , η 1 and η 2 are defined in (21) with ϕ 1 = k 1 η 1 + 1 2 ξ 1 + D 1 ξ 1 + μ ˙ ( t ) μ 1 ( t ) ξ 1 + y ˙ r . For the simulation, the initial condition is given as x 1 ( 0 ) = [ 4 , 4 ] T , x 2 ( 0 ) = [ 4 , 4 ] T , and the design parameters are set as θ = 2.5 , k 1 = 0.2 , k 2 = 1 , ν = 2 , and T p r e = 6 .
The simulation results are given in Figure 1, Figure 2, Figure 3, Figure 4, Figure 5, Figure 6 and Figure 7. Figure 2 illustrates that the output tracking errors z j ( j = 1 , 2 ) converge to zero at the prescribed time, while the norm of the derivative of the tracking error also converges to zero. Figure 3 demonstrates that the time-varying asymmetric output constraints are strictly satisfied, and the control signal u remains bounded. To better illustrate the advantages of the ANM method, we present the control performance and output tracking under different constraint settings (see Figure 4, Figure 5, Figure 6 and Figure 7), including unilateral constraints, constant constraints, and the unconstrained case. This confirms that the ANM method is applicable to all these scenarios, as stated in Remark 3. Compared to the unconstrained case, the control input u exhibits greater variation under time-varying asymmetric output constraints. This is because the system must exert more control effort to ensure that the state remains within the prescribed constraint boundaries.
Example 2. 
Consider a spacecraft system driven by four reaction wheels as mentioned in [8], where the nonlinear dynamics of the system are given by
x ˙ 1 = x 2 , x ˙ 2 = H σ ( x 1 ) u + F σ ( t , x ) ,
where x 1 = [ x 11 , x 12 , x 13 ] T R 3 represents the attitude angles of the spacecraft, x 2 = [ x 21 , x 22 , x 23 ] T R 3 represents the angular velocity of the spacecraft, and u = [ u 1 , u 2 , u 3 , u 4 ] T R 4 represents the control torques imposed on the four reaction wheels. H σ ( x 1 ) = J σ 1 D is an extended inertia matrix with J σ being the inertia matrix, and F σ ( t , x ) = J σ 1 S ( x 2 ) J σ x 2 represents the nonlinear disturbance term with S ( x 2 ) being a skew-symmetric matrix of x 2 defined by
S ( x 2 ) = 0 x 23 x 22 x 23 0 x 21 x 22 x 21 0 .
In this example, switching dynamics are incorporated into system modeling to capture the variation in outer surroundings, i.e., σ ( t ) represents the switching signal taking values from the set N = { 1 , 2 } . We select the matrices in the above model as
J 1 = 40 0 0 0 17 0 0 0 15 kg · m 2 , J 2 = 25 0 0 0 20 0 0 0 15 kg · m 2 , D = 1 0 0 1 / 3 0 1 0 1 / 3 0 0 1 1 / 3 .
Assume that the output variable y = x 1 , and y = [ y 1 , y 2 , y 3 ] T must fulfill ε l , j ( t ) < y j < ε u , j ( t ) ( j = 1 , 2 , 3 ) for all t 0 . The time-varying constraint function vectors ε l ( t ) = [ ε l , 1 ( t ) , ε l , 2 ( t ) , ε l , 3 ( t ) ] T and ε u ( t ) = [ ε u , 1 ( t ) , ε u , 2 ( t ) , ε u , 3 ( t ) ] T are set as
ε l ( t ) = 0.25 , 0.2 , 0.3 T , ε u ( t ) = 0.4 + 0.2 e 6 t , 0.35 + 0.15 e 6 t , 0.45 + 0.1 e 6 t T .
The desired trajectories of attitude angles are chosen as
y r = 0.3 + 0.05 e 6 t , 0.25 + 0.04 e 6 t , 0.35 + 0.03 e 6 t T .
It is easy to show that | F σ ( t , x ) | c σ ( t ) f ( x ) , with c σ ( t ) being some unknown disturbance and f ( x ) = | x 2 | 2 (which is computable and not unique). Hence, it shows that Assumption 1 holds. Based on (58), it can be computed that the matrix P is setting as
P = 1 0 0 1 0 1 0 1 0 0 1 1 ,
which implies that Assumption 2 holds with λ ̲ = 0.055 . According to (2), Assumption 3 is satisfied with M ̲ 0 = 0.2 , M ¯ 0 = 0.6 , M 1 = 1.2 .
Based on the control framework introduced in Section 3, we design a tracking controller as follows:
u = 2 λ ̲ 1 k 2 + 1 2 μ 1 ( t ) + ( 2 θ ) 1 f 2 + | ϕ ˙ 1 | 2 + μ ˙ ( t ) μ 2 ( t ) P T η 2 .
where ζ 1 , η 1 and η 2 are defined in (21) with ϕ 1 = k 1 η 1 + 1 2 ξ 1 + D 1 ξ 1 + μ ˙ ( t ) μ 1 ( t ) ξ 1 + y ˙ r . For the simulation, the initial condition is given as x 1 ( 0 ) = 0.5 , 0.4 , 0.45 T , x 2 ( 0 ) = 0 , 0 , 0 T , and the design parameters are set as θ = 5 , k 1 = k 2 = 1 , ν = 2 , and T p r e = 3 . The simulation results are given in Figure 8, Figure 9, Figure 10, Figure 11 and Figure 12. Figure 9 shows that the output tracking errors z j ( j = 1 , 2 , 3 ) converge to zero at the prescribed time, verifying the effectiveness of the proposed control strategy in achieving zero-error trajectory tracking. Figure 10 illustrates that the control input u remains bounded throughout the tracking process. From Figure 11, we can infer that the time-varying asymmetric output constraints are satisfied, confirming that the ANM approach successfully prevents constraint violations. Figure 12 presents the variation of the tracking error under different prescribed times, further validating the flexibility of the proposed method in achieving prescribed-time convergence with different time settings.
Remark 7. 
Although the boundedness of all signals has been theoretically proven, numerical simulations often encounter issues due to the unbounded nature of the time-varying gain μ ( t ) as t approaches T p r e . To circumvent this problem and enable practical simulation, we introduce a small positive parameter ϵ > 0 to modify μ ( t ) , resulting in T ˜ p r e = T p r e + ϵ . This method is consistent with the techniques employed in [33,34].

5. Conclusions

A PT tracking control method is proposed for a class of switched MIMO nonlinear systems with asymmetric time-varying output constraints. By combining the tangent-type ANM and the backstepping recursive design strategy, the proposed controller effectively achieves zero-error tracking while ensuring that all closed-loop signals remain bounded and satisfy the specified output constraints. Simulation results confirm that the method successfully achieves the desired tracking performance. In future work, we will investigate prescribed-time tracking control for switched stochastic MIMO systems, considering both system uncertainties and external disturbances. Furthermore, we will develop an adaptive controller based on the backstepping method to achieve prescribed-time tracking control.

Author Contributions

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

Funding

This research was funded by the National Natural Science Foundation of China, grant numbers 62003170 and 62303001.

Data Availability Statement

The data that support the findings of this study are available from authors upon reasonable request.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Li, S.; Ahn, C.K.; Guo, J.; Xiang, Z.R. Global output feedback sampled-data stabilization of a class of switched nonlinear systems in the p-normal form. IEEE Trans. Syst. Man Cybern. Syst. 2019, 51, 1075–1084. [Google Scholar] [CrossRef]
  2. Liberzon, D. Finite data-rate feedback stabilization of switched and hybrid linear systems. Automatica 2014, 50, 409–420. [Google Scholar] [CrossRef]
  3. Pavlichkov, S.S.; Dashkovskiy, S.N.; Pang, C.K. Uniform stabilization of nonlinear systems with arbitrary switchings and dynamic uncertainties. IEEE Trans. Autom. Control 2016, 62, 2207–2222. [Google Scholar] [CrossRef]
  4. Kong, L.H.; He, W.; Liu, Z.J.; Yu, X.B.; Silvestre, C. Adaptive tracking control with global performance for output-constrained MIMO nonlinear systems. IEEE Trans. Autom. Control 2022, 68, 3760–3767. [Google Scholar] [CrossRef]
  5. Liu, Y.C.; Zhu, Q.D. Adaptive neural network asymptotic control design for MIMO nonlinear systems based on event-triggered mechanism. Inf. Sci. 2022, 603, 91–105. [Google Scholar] [CrossRef]
  6. Xu, H.; Yu, D.; Sui, S.; Zhao, Y.P.; Chen, C.L.P.; Wang, Z. Nonsingular practical fixed-time adaptive output feedback control of MIMO nonlinear systems. IEEE Trans. Neural Netw. Learn. Syst. 2022, 34, 7222–7234. [Google Scholar] [CrossRef]
  7. Ye, H.F.; Song, Y.D. Prescribed-time tracking control of MIMO nonlinear systems with nonvanishing uncertainties. IEEE Trans. Autom. Control 2022, 68, 3664–3671. [Google Scholar] [CrossRef]
  8. Shao, X.D.; Hu, Q.L.; Shi, Y.; Zhang, Y.M. Fault-tolerant control for full-state error constrained attitude tracking of uncertain spacecraft. Automatica 2023, 151, 110907. [Google Scholar] [CrossRef]
  9. Song, Y.D.; Huang, X.C.; Wen, C.Y. Tracking control for a class of unknown non-square MIMO nonaffine systems: A deep-rooted information based robust adaptive approach. IEEE Trans. Autom. Control 2015, 61, 3227–3233. [Google Scholar] [CrossRef]
  10. Xin, X.; Kaneda, M. Swing-up control for a 3-DOF gymnastic robot with passive first joint: Design and analysis. IEEE Trans. Robot. 2007, 23, 1277–1285. [Google Scholar] [CrossRef]
  11. Levant, A. Homogeneity approach to high-order sliding mode design. Automatica 2005, 41, 823–830. [Google Scholar] [CrossRef]
  12. Du, H.B.; Qian, C.J.; Yang, S.Z.; Li, S.H. Recursive design of finite-time convergent observers for a class of time-varying nonlinear systems. Automatica 2013, 49, 601–609. [Google Scholar] [CrossRef]
  13. Zhang, X.F.; Feng, G.; Sun, Y.H. Finite-time stabilization by state feedback control for a class of time-varying nonlinear systems. Automatica 2012, 48, 499–504. [Google Scholar] [CrossRef]
  14. Hong, Y.G.; Wang, J.K.; Cheng, D.Z. Adaptive finite-time control of nonlinear systems with parametric uncertainty. IEEE Trans. Autom. Control 2006, 51, 858–862. [Google Scholar] [CrossRef]
  15. Song, X.N.; Wu, C.L.; Song, S.; Stojanovic, V.; Tejado, I. Fuzzy wavelet neural adaptive finite-time self-triggered fault-tolerant control for a quadrotor unmanned aerial vehicle with scheduled performance. Eng. Appl. Artif. Intell. 2024, 131, 107832. [Google Scholar] [CrossRef]
  16. Polyakov, A. Nonlinear feedback design for fixed-time stabilization of linear control systems. IEEE Trans. Autom. Control 2011, 57, 2106–2110. [Google Scholar] [CrossRef]
  17. Polyakov, A.; Efimov, D.; Perruquetti, W. Finite-time and fixed-time stabilization: Implicit Lyapunov function approach. Automatica 2015, 51, 332–340. [Google Scholar] [CrossRef]
  18. Ning, B.D.; Han, Q.L.; Zuo, Z.Y.; Ding, L.; Lu, Q.; Ge, X.H. Fixed-time and prescribed-time consensus control of multi-agent systems and its applications: A survey of recent trends and methodologies. IEEE Trans. Ind. Inform. 2022, 19, 1121–1135. [Google Scholar] [CrossRef]
  19. Chen, C.C.; Sun, Z.Y. Fixed-time stabilisation for a class of high-order non-linear systems. IET Control Theory Appl. 2018, 12, 2578–2587. [Google Scholar] [CrossRef]
  20. Zhang, Z.X.; Zhang, K.; Xie, X.P.; Stojanovic, V. ADP-based prescribed-time control for nonlinear time-varying delay systems with uncertain parameters. IEEE Trans. Autom. Sci. Eng. 2024, 22, 3086–3096. [Google Scholar] [CrossRef]
  21. Xie, H.X.; Jing, Y.W.; Dimirovski, G.M.; Chen, J.Q. Adaptive fuzzy prescribed-time tracking control for nonlinear systems with input saturation. ISA Trans. 2023, 143, 370–384. [Google Scholar] [CrossRef] [PubMed]
  22. Cui, Q.; Cao, H.W.; Wang, Y.J.; Song, Y.D. Prescribed-time tracking control of constrained Euler-Lagrange systems: An adaptive proportional-integral solution. Int. J. Robust Nonlinear Control 2022, 32, 9723–9741. [Google Scholar] [CrossRef]
  23. Li, J.J.; Xiang, X.B.; Dong, D.L.; Yang, S.L. Prescribed-time observer based trajectory tracking control of autonomous underwater vehicles with tracking error constraints. Ocean Eng. 2023, 274, 114018. [Google Scholar] [CrossRef]
  24. Gao, Y.; Tong, S.C.; Li, Y.M. Observer-based adaptive fuzzy output constrained control for MIMO nonlinear systems with unknown control directions. Fuzzy Sets Syst. 2016, 290, 79–99. [Google Scholar] [CrossRef]
  25. Zhang, T.P.; Liu, H.Q.; Xia, M.Z.; Yi, Y. Adaptive neural control of MIMO uncertain nonlinear systems with unmodeled dynamics and output constraint. Int. J. Adapt. Control Signal Process. 2018, 32, 1731–1747. [Google Scholar] [CrossRef]
  26. Tian, X.Y.; Li, Y.C.; Ma, R.C. Prescribed-time stabilization with time-varying output constraints for switched nonlinear systems. Int. J. Control Autom. Syst. 2023, 21, 1538–1546. [Google Scholar] [CrossRef]
  27. Ling, S.; Wang, H.Q.; Liu, P.X. Adaptive tracking control of high-order nonlinear systems under asymmetric output constraint. Automatica 2020, 122, 109281. [Google Scholar] [CrossRef]
  28. Zhao, K.; Song, Y.D.; Chen, C.L.P.; Chen, L. Control of nonlinear systems under dynamic constraints: A unified barrier function-based approach. Automatica 2020, 119, 109102. [Google Scholar] [CrossRef]
  29. Tang, Z.L.; Ge, S.Z.S.; Tee, K.P.; He, W. Robust adaptive neural tracking control for a class of perturbed uncertain nonlinear systems with state constraints. IEEE Trans. Syst. Man Cybern. Syst. 2016, 46, 1618–1629. [Google Scholar] [CrossRef]
  30. Fan, B.; Yang, Q.M.; Tang, X.Y.; Sun, Y.X. Robust ADP design for continuous-time nonlinear systems with output constraints. IEEE Trans. Neural Netw. Learn. Syst. 2018, 29, 2127–2138. [Google Scholar] [CrossRef]
  31. Song, X.N.; Sun, P.; Song, S.; Stojanovic, V. Saturated-threshold event-triggered adaptive global prescribed performance control for nonlinear Markov jumping systems and application to a chemical reactor model. Expert Syst. Appl. 2024, 249, 123490. [Google Scholar] [CrossRef]
  32. Song, Y.D.; Ye, H.F.; Lewis, F.L. Prescribed-time control and its latest developments. IEEE Trans. Syst. Man Cybern. Syst. 2023, 53, 4102–4116. [Google Scholar] [CrossRef]
  33. Song, Y.D.; Wang, Y.J.; Holloway, J.; Krstic, M. Time-varying feedback for regulation of normal-form nonlinear systems in prescribed finite time. Automatica 2017, 83, 243–251. [Google Scholar] [CrossRef]
  34. Krishnamurthy, P.; Khorrami, F.; Krstic, M. A dynamic high-gain design for prescribed-time regulation of nonlinear systems. Automatica 2020, 115, 108860. [Google Scholar] [CrossRef]
Figure 1. The switching law σ ( t ) in Example 1.
Figure 1. The switching law σ ( t ) in Example 1.
Mathematics 13 00986 g001
Figure 2. The output tracking error in Example 1.
Figure 2. The output tracking error in Example 1.
Mathematics 13 00986 g002
Figure 3. Output and control input under asymmetric time-varying constraints in Example 1.
Figure 3. Output and control input under asymmetric time-varying constraints in Example 1.
Mathematics 13 00986 g003
Figure 4. Output and control input under one-sided time-varying constraints ε u ( t ) in Example 1.
Figure 4. Output and control input under one-sided time-varying constraints ε u ( t ) in Example 1.
Mathematics 13 00986 g004
Figure 5. Output and control input under one-sided time-varying constraints ε l ( t ) in Example 1.
Figure 5. Output and control input under one-sided time-varying constraints ε l ( t ) in Example 1.
Mathematics 13 00986 g005
Figure 6. Output and control input under asymmetric constant constraints in Example 1.
Figure 6. Output and control input under asymmetric constant constraints in Example 1.
Mathematics 13 00986 g006
Figure 7. Unconstrained output and control input in Example 1.
Figure 7. Unconstrained output and control input in Example 1.
Mathematics 13 00986 g007
Figure 8. The switching law σ ( t ) in Example 2.
Figure 8. The switching law σ ( t ) in Example 2.
Mathematics 13 00986 g008
Figure 9. The output tracking error in Example 2.
Figure 9. The output tracking error in Example 2.
Mathematics 13 00986 g009
Figure 10. The control input in Example 2.
Figure 10. The control input in Example 2.
Mathematics 13 00986 g010
Figure 11. The output response under asymmetric time-varying constraints in Example 2.
Figure 11. The output response under asymmetric time-varying constraints in Example 2.
Mathematics 13 00986 g011
Figure 12. Comparison of tracking error under different prescribed times in Example 2.
Figure 12. Comparison of tracking error under different prescribed times in Example 2.
Mathematics 13 00986 g012
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Liu, Y.; Wang, H.; Zhu, Q.; Jia, F. Zero-Error Prescribed-Time Tracking Control for Switched Non-Square MIMO Nonlinear Systems Subject to Asymmetric Time-Varying Output Constraints. Mathematics 2025, 13, 986. https://doi.org/10.3390/math13060986

AMA Style

Liu Y, Wang H, Zhu Q, Jia F. Zero-Error Prescribed-Time Tracking Control for Switched Non-Square MIMO Nonlinear Systems Subject to Asymmetric Time-Varying Output Constraints. Mathematics. 2025; 13(6):986. https://doi.org/10.3390/math13060986

Chicago/Turabian Style

Liu, Ying, Hui Wang, Quanxin Zhu, and Fujin Jia. 2025. "Zero-Error Prescribed-Time Tracking Control for Switched Non-Square MIMO Nonlinear Systems Subject to Asymmetric Time-Varying Output Constraints" Mathematics 13, no. 6: 986. https://doi.org/10.3390/math13060986

APA Style

Liu, Y., Wang, H., Zhu, Q., & Jia, F. (2025). Zero-Error Prescribed-Time Tracking Control for Switched Non-Square MIMO Nonlinear Systems Subject to Asymmetric Time-Varying Output Constraints. Mathematics, 13(6), 986. https://doi.org/10.3390/math13060986

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