Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

Event-triggered adaptive predefined-time anti-unwinding attitude tracking control for spacecraft

  • Guogang Wang ,

    Roles Conceptualization, Funding acquisition

    wang_guo_g@sina.com

    Affiliation School of Information and Control Engineering, Jilin University of Chemical Technology, Jilin, China

  • Zichao Feng,

    Roles Conceptualization, Methodology, Software, Writing – original draft, Writing – review & editing

    Affiliation School of Information and Control Engineering, Jilin University of Chemical Technology, Jilin, China

  • Youyang Qu,

    Roles Conceptualization

    Affiliation Laboratory of Attitude and Orbit Control, Chang Guang Satellite Technology CO.LTD, Changchun City, China

  • Hongwei Sun

    Roles Supervision

    Affiliation School of Information and Control Engineering, Jilin University of Chemical Technology, Jilin, China

Abstract

This paper addresses the problem of predefined-time attitude tracking control for rigid spacecraft subject to external disturbances and unknown inertia parameters. First, a predefined-time non-singular sliding surface is designed to ensure that the closed-loop system converges within a predefined time. Second, to tackle the unwinding problem inherent in quaternion-based modeling, a potential function is introduced in the controller design to guarantee anti-unwinding performance even outside the sliding surface. The proposed controller not only suppresses chattering but also ensures both anti-unwinding behavior and predefined-time convergence. Then, an event-triggered mechanism is developed to reduce communication burden while avoiding Zeno behavior. The proposed control method can make the attitude tracking error converge to an arbitrary predefined residual set. Finally, simulation results verify the effectiveness of the proposed method.

1. Introduction

Spacecraft attitude control technology can be used in many missions such as satellite communication, ocean monitoring and weather forecasting, but spacecraft operating in complex environments often face parametric uncertainties and external disturbances. To address these challenges, many control strategies for spacecraft attitude control have been developed such as sliding mode control [1,2], optimal control [3,4], event-triggered control [5,6], model predictive control [7,8], and backstepping control [9,10].

Sliding mode control (SMC) is a very efficient method of handling parameter uncertainties and external disturbances, and hence has been used extensively to design spacecraft attitude controllers. Finite time and fixed time sliding mode attitude tracking control schemes are proposed for rigid spacecraft, however the linear sliding mode control has certain drawbacks, such as the chattering on the sliding surface [11]. To overcome these issues, many researchers have investigated nonlinear terminal sliding mode control schemes to achieve faster convergence and better dynamic performance. Song and Li [12] proposed finite time fast terminal sliding mode control scheme with dual loop structure for spacecraft attitude control. Chen et al. [13] considered modeling uncertainties, external disturbances and actuator saturation. By combining fast terminal sliding mode surface (FTSMS) and low-pass filter, they developed novel integral terminal sliding mode surface (ITSMS) that converge fast finite-time convergence of the control system. However, these methods did not address singularity problem inherent in spacecraft dynamics. Zheng et al. [14] constructed nonsingular terminal sliding mode surfaces to improve the accuracy of attitude tracking control of rigid spacecraft. A nonsingular controller is proposed in literature, which guarantees that the closed-loop system is almost globally stable in fixed time (i.e., all initial states converge to equilibrium point in fixed time except zero measure set). Gao et al. [15] designed a jitter-free fault-tolerant controller based on nonsingular terminal sliding mode (NTSM), which provides a new solution for finite time attitude maneuver of rigid spacecraft. Alipour [16] proposed a new adaptive fractional order nonsingular terminal sliding mode (AFONTSM) controller, and studied the fixed-time stability of closed-loop systems under uncertainties and external disturbances by using Lyapunov theorem.

When quaternion is used to represent the attitude of spacecraft, there are two target values in quaternion scalars. If one of them is ignored artificially, the spacecraft will need to rotate an angle greater than 180 to complete the task when it can rotate at a small angle (called unwinding phenomenon), resulting in unnecessary energy waste. Therefore, it is necessary to avoid unwinding phenomenon in the process of designing attitude controller. To overcome this problem, Dong and Wu et al. [17] designed a terminal sliding mode control law with hyperbolic sine switching function, which solved buffeting by introducing boundary layer and gave a subset of attraction domain of equilibrium point, so as to realize finite time convergence and attitude tracking without unwinding. Su and Xu et al. [18] designed a preset-time sliding mode disturbance observer to estimate the disturbance, and constructed a new sliding mode surface with two equilibrium points by introducing a hyperbolic sine function to ensure the preset-time convergence and avoid unwinding phenomenon. Muhammad Amrr [19] proposed a finite-time composite control method to solve external disturbances, actuator failures and quaternion unwinding problems, Huang and Li et al. [20] proposed two anti-unwinding control schemes to ensure that the spacecraft attitude tracks the desired attitude in finite time. The first controller is designed by a new sliding mode surface without considering external disturbances and gives a convergence time expression. The second controller can achieve fixed-time stability in the presence of external disturbances by modifying the sliding mode surface and introducing adaptive laws. Guang and Li et al. [21] designed a nonsingular fixed-time sliding mode controller, which achieved fixed-time convergence and anti-unwinding characteristics. Zuo et al. [22] proposed a novel observer-based fixed-time control technique to achieve system stabilization.

In recent years, researchers have focused on predefined-time control algorithms [2326]. Liu et al. [27] constructed a composite barrier Lyapunov function to avoid the unwinding phenomenon during spacecraft attitude control. Based on a new time-scale transformation of the attitude system, they designed an adaptive backstepping attitude controller to ensure stable performance. Xu et al. [28] addressed the problem of anti-unwinding attitude stabilization for rigid spacecraft by proposing a predefined-time adaptive sliding mode surface. The proposed method guarantees both predefined-time convergence and anti-unwinding performance. Wang et al. [29]addressed the control problem with input constraints by developing an algorithm that achieves consensus while strictly satisfying predefined amplitude and rate limitations.

Modern control systems are increasingly implemented over communication networks, which offer cost reduction and flexibility advantages. However, because of limited bandwidth of such networks, event-triggered control has been proposed and attracting increasing interest. In this control model, controller communicates with actuators or sensors only at discrete time events when a predefined trigger condition is met, and thus the communication load is reduced. Wang et al. [30] proposed an event-triggered adaptive backstepping controller using switching threshold strategy to construct the event-triggering mechanism. This compensates for network errors and disturbances and avoid Zeno phenomena. Wang et al. [31] proposed a predefined time event-triggered sliding mode attitude synchronization strategy for distributed multi-spacecraft systems. Wang and Zuo [32]introduced a new distributed event-triggered algorithm, in which control updates are executed only when specific triggering conditions are satisfied. They rigorously proved the existence of a strictly positive minimum inter-event time, thereby excluding the occurrence of Zeno behavior.

The main contributions of this paper are as follows:

  1. Compared with [17] and [21], this paper considers the effects of inertia uncertainties and unknown external disturbances, as well as the communication burden of spacecraft. The proposed predefined-time controller demonstrates superior convergence performance under these more realistic conditions.
  2. Unlike [27] and [28], this paper designs a predefined-time non-singular sliding surface that guarantees strict predefined-time convergence and anti-unwinding performance on the surface. Moreover, a potential function is introduced to design the controller, ensuring anti-unwinding behavior even outside the sliding surface. The attitude tracking error is proven to converge to an arbitrarily small residual set within the predefined time.
  3. Noting that most existing anti-unwinding attitude tracking control studies neglect communication constraints, this paper proposes a predefined-time adaptive event-triggered anti-unwinding control strategy, which effectively reduces communication burden while avoiding the unwinding phenomenon.

The rest of the paper is structured as follows:

Section 2 presents the relative kinematic and dynamic models of the rigid spacecraft, introduces the unwinding phenomenon, and states the control objectives. Section 3 details the controller design. Section 4 provides simulation results. Section 5 concludes the paper.

2. Preliminaries and problem formulation

2.1 Attitude tracking error kinematics and dynamics

The selection of reference coordinate frames is illustrated in Fig 1. The inertial coordinate frame is denoted as , the orbital coordinate frame as , and the spacecraft body-fixed frame as ).

The spacecraft’s attitude is defined by the orientation of the body-fixed axes.

, and with respect to the reference frame. While position vectors are expressed using the three axes of the reference frame, attitude parameters are described using a unit quaternion representation.

When the external disturbances and inertia uncertainty are taken into account, the attitude dynamic equation of a rigid spacecraft is described as [33]

(1)

Where represents the 3 × 3 identity matrix; The unit quaternion represents the spacecraft’s attitude, is the initial attitude, . The spacecraft’s angular velocity is denoted as , .The matrix represents total inertia of the spacecraft, and and are the nominal and uncertainty part of the inertia, respectively. is the control torque. is an unknown external disturbance. denote the desired attitude quaternion, and denote the desired angular velocity.

Let denote the attitude tracking error, where . Since , then there holds .

Besides, we know [34]

(2)

The kinematics equation of the error system is described as

(3)

Let denote the attitude angular velocity tracking error. Then, we have

(4)

Where G is the rotation matrix defined by

(5)

The time derivative of is given by

(6)

In summary, the error dynamics model of the spacecraft attitude tracking system can be written as follows [37]

(7)(8)

By combining with equation (1), equation (8) can be rewritten as

(9)

with the residual dynamics is defined by

(10)

In this article, we suppose that the following assumptions hold

Assumption 1

It is assumed that there exists an unknown upper bound for the external disturbance

Assumption 2

and its derivative and have upper bounds.

Assumption 3

The initial attitude error of the spacecraft satisfies

Remark1

Generally, the sources which emanate the disturbances in the spacecraft are from aerodynamic drag, magnetic forces, pressure due to solar radiation, gravitation, etc.

All these sources of disturbances are assumed bounded.This is an explanation for Assumption 1

Assumption 2 is essential. It reflects the reality of inertial parameter uncertainties in spacecraft, ensure the stability and feasibility of control algorithms when dealing with such uncertainties, and facilitate theoretical analysis by providing clear bounds for stability proofs and convergence derivations, making the research both practical and theoretically rigorous.

Remark2

Assumption 3 is introduced to ensure that the potential function does not become singular at the initial stage. Specifically, if at the beginning, the function would be singular, and once this singularity occurs, the anti-unwinding control strategy can no longer be applied.

2.2 Unwinding phenomenon

According to Euler’s rotation theorem, the problem of spacecraft attitude change can be described using Euler axis-angle representation. The spacecraft rotates about the Euler axis , with a rotation angle , transitioning from the initial attitude to the desired attitude .

Therefore, based on Euler’s rotation theorem, the attitude error quaternion representing the transition from the current attitude to the desired attitude can be expressed as follows [18].

(11)

Denote

(12)

In the physical attitude rotation space, the attitudes represented by and are actually identical. According to equation (10), when or ,it follows that or ,and when . Therefore,

and are two equilibrium points of the spacecraft attitude error dynamics described in equation (6). In this case, if the initial value of , then will change from to , which means that despite the spacecraft’s initial attitude being the same as the desired attitude, the spacecraft must still rotate to reach the desired state. This is known as the unwinding phenomenon.

2.3 Control goal

The objective of this study is to design a controller that enables attitude tracking in the presence of disturbances while also exhibiting anti-unwinding characteristics. A control law needs to be developed for system equations (6) and (7), which must satisfy the following conditions

(13)

Lemma 1 [35]. For and ,one can obtain

(14)

Lemma 2 [36]. Consider the following system.

(15)

where is a continuous function. The initial condition of the system is defined as . If there exists a Lyapunov function defined on that satisfies the following inequality

(16)

Lemma 3 [36].For the system , if there exists a Lyapunov function defined on , satisfying the following inequality

(17)

where , , are predefined positive constants, and is bounded. then the system’s convergence time and convergence region satisfy the following relation

(18)

where . It is worth noting that is bounded.

Lemma 4 [37]. For all positive numbers and , one can obtain

(19)

3. Anti-unwinding attitude tracking control

3.1 Non-singular predefined-time sliding surface

To achieve attitude tracking control of the spacecraft, a non-singular predefined-time sliding surface is designed as follows

(20)

where

(21)

where ,

where is given as

(22)

Considering the arguments in (21) and (22), it is sufficient to ensure that both and are consistent when .The continuity of and can be guaranteed by appropriately choosing their values, ensuring they remain well-defined under the given conditions.

and

The parameters and must satisfy the following relationship

(23)

By solving the above system of equations, we obtain

(24)

The continuity of and can be guaranteed by the aforementioned equations (23) and (24); therefore, the continuity of the sliding mode surface can be ensured through the above-mentioned method.

Here, acts as a dynamic adjustment parameter associated with the tracking attitude error . Since the sliding mode incorporates a predefined time and must ensure the continuity of the sliding surface, the continuity of its derivatives is guaranteed.

Theorem 1. the unwinding-free performance and the Predefined-time convergence property of the prosed sliding mode function (20) are ensured by

the theorem. If (6) is constrained to the sliding surface , the following can be deduced

(25)

where, is the instant at which the attitude trajectory attains the sliding surface . is the predefined time for the attitude to reach the equilibrium point.

Proof

First, it is proved that the sliding mode has anti-unwinding property in the sliding mode plane. Second, it is proved that the attitude error converges with predefined time.

The proof of anti-unwinding behavior needs to be proved in two cases, namely and . We only choose to prove it.

when , , combining (6), (18), and (19)

(26)

when , ,we can get

(27)

According to equations (24) and (25), it can be concluded that when , is always nonnegative, and the sign invariance is preserved. Therefore, once the sliding surface , the designed sliding surface ensures that the spacecraft exhibits anti-unwinding behavior and avoids unnecessary attitude tracking control.

We only provide a proof for the case where , a similar method can be used to prove the case where .

In order to prove the predefined-time convergence of , we choose as the Lyapunov function, given by

(28)

Given that the spacecraft’s attitude error quaternion satisfies , from (26), we obtain

(29)

In view of (29), one has

(30)

Differentiating (28) yield

(31)

In view of (29) and (31), we can obtain that

(32)

If, by substituting (21) into (31), it follows that

(33)

If , it follows that

(34)

In view of (33) and (34), it can be concluded that once the sliding surface is reached, the spacecraft attitude tracking error will converge to within the predefined time .

3.2 The design of controller

We develop an ETM as follows

(35)

where , k = 0,1,2... denote the triggering instants. Equation (35) indicates that during the control torque remains equal to which eliminates the need for continuous signal updates and thereby conserves communication resources. In the equations, denotes the continuous virtual controller to be designed, where represents the dimension of the virtual controller.

The triggering instant is defined as

(36)

The parameters are event-triggered parameters, and are design parameters. According to (35), the relationship between and over the interval is given by

(37)

where , , The unknown time-varying parameters satisfy ,which yields with , .where , and the unknown time – varying parameters ,Therefore, , It can be concluded that is bounded.

Remark3

According to the event-triggering mechanism designed in (35) and (36), the controller transmits an updated control input to the actuator only when the triggering condition (36) is satisfied. Within the interval , the control input remains constant as . Since no communication is required between two consecutive events, the communication load between the controller and the actuator is considerably alleviated during .

Fig 2 shows the schematic diagram of the proposed control scheme. It should be noted that the attitude control module can access the sensor measurement information at all times.

Next, combining (6), (7),(18) with (1) leads to

(38)

with the residual dynamics and are defined by

(39)(40)

To ensure the anti-unwinding performance outside the sliding mode surface, the Lyapunov function is designed as follows

(41)

Remark 4. This section aims to describe the properties of the proposed function. On the sliding surface , the convergence of the spacecraft’s attitude error and its anti-unwinding behavior can be guaranteed. A controller will then be designed to ensure that the sliding surface converges to as possible, while maintaining anti-unwinding behavior even outside the sliding surface. Therefore, as long as the Lyapunov function remains bounded, the anti-unwinding property of the spacecraft is ensured; and as long as the Lyapunov function converges to zero, convergence of the sliding surface to zero is also guaranteed.

The above statements hold under the assumption of no external disturbances and no inertia uncertainties. However, in the presence of inertia uncertainties and external disturbances, we can only prove that the sliding surface converges to a bounded region within a predefined time (as ensured by the controller). Based on this, it can then be shown that the attitude error and angular velocity error also converge to bounded regions, which are determined by the boundedness of the sliding surface and the properties of its design.

Taking the derivative of along (41), we have

(42)

where is known and is unknown.

Combining assumptions 1, 2 and (39) yields

(43)

where , . , where all elements of are bounded. is the estimate of , and is the estimation error.

Remark 5. It can be seen that through the intermediate transformation involving and , all model uncertainties are eventually aggregated into . This results in a formulation involving the known term , the unknown term , and the controller to be designed. The term encapsulates both unknown disturbances and parametric uncertainties. Therefore, it has been shown that converges to a bounded region.

An event-triggered adaptive predefined-time anti-unwinding controller is proposed.

(44)

The adaptive update law of is designed as

(45)

where ,

where and are adjustable parameters defined by equation (44).where,.

Theorem 2. For the spacecraft attitude error systems (7), (8), the designed predefined-time sliding surface (20), the proposed controller (44), adaptive law (45), and event-triggering mechanism (35), under the given conditions, ensure that the spacecraft achieves the following conclusions

  1. (1) Inside and outside the sliding surface, the system consistently exhibits anti-unwinding behavior; all signals in the closed-loop system are bounded.
  2. (2) The sliding surface , spacecraft attitude error , and angular velocity error will converge to a neighborhood around zero within the predefined time.
  3. (3) There exists a minimum positive constant such that the triggering interval at any two adjacent time instants satisfies . Therefore, the designed control strategy can avoid the Zeno phenomenon.

Proof (1). Select the Lyapunov function as follows

(46)

Calculating the time derivative (46) produces

(47)

Combining Lemma 1, Lemma 2, and (44) yields

(48)

Substituting (48) into (47) leads to

(49)

where, is bounded.

Remark 6. The inertia matrix is symmetric and positive definite, and the following inequality is satisfied [38]

(50)

where and are the minimum and maximum eigenvalues of respectively.

Combining (46) and (49), it follows that is bounded. Consequently, is bounded and the estimation error . However, since , the following three scenarios exist and need to be analyzed individually

(1)

According to the definition of the sliding surface (20), . However, when , according to Theorem 1, the spacecraft necessarily exhibits anti-unwinding behavior, and cannot occur. This scenario is contradictory.

(2)

According to the property of , .Therefore, this scenario cannot be satisfied.

(3) is bounded, is bounded

Based on the above analysis, only the third scenario is valid. Therefore, as long as is bounded, then the sliding surface is bounded, and the potential function is inevitably bounded. This ensures that the spacecraft inevitably exhibits anti-unwinding behavior.

Based on the foregoing analysis, throughout the spacecraft’s attitude tracking control process, there necessarily exist positive constants ,satisfying .

Furthermore, due to the properties of the attitude quaternion, the attitude error is bounded, and consequently, is bounded. Since the sliding surface is bounded and considering its definition (20), the angular velocity error is bounded. Additionally, since the estimation error is bounded and the true value is bounded, the estimated value . Therefore, the virtual controller is bounded. This completes the proof of statement (1).

Proof (2) To prove the convergence of the sliding surface , attitude error , and angular velocity error , we reformulate equation (42) as follows

(51)

where is bounded, satisfy .

In light of Lemmas 4 and , we obtain

(52)

where ,.

Combining (51) and (52),we can

(53)

In light of Lemmas 3, will converge to the following residual set within the predefined time .

(54)

Since , we can obtain from (38) that

(55)

Since the sliding surface employs a partitioned design, the convergence of attitude error and angular velocity error must be analyzed separately for each region. The following analysis addresses the case where . The case for follows an analogous structure and is not explicitly discussed here.

If , combining (20), (31) can be rewritten as

(56)

Combining (33),we can obtain

(57)

In light of the Lemmas 3, will converge to the following residual set within the predefined time .

(58)

Based on the analysis, converges to a neighborhood around 0,implying that converges to a neighborhood around 1, within the convergence domain . Given the quaternion normalization constraint ., the attitude error satisfies . Consequently, within the predefined time , the attitude error converges to

(59)

Combining the definition of the sliding surface (20), it follows that within the predefined time

(60)

In summary, since the sliding surface and attitude error converge, and the sliding surface definition ensures the convergence of the angular velocity error , the proof of statement (2) is complete.

Proof (3). A contradiction-based proof is constructed to rigorously demonstrate the exclusion of Zeno phenomena in the proposed event-triggered mechanism. Suppose there exist two consecutive triggering instants with a diminishing time interval

It can be derived that

(61)

However, the event-triggering policy inherently requires that for any .

(62)

The mutual exclusivity between (61) and (62) invalidates the initial assumption. Consequently, there must exist a strictly positive constant , such that all adjacent triggering intervals satisfy , This conclusively proves that the designed control strategy theoretically precludes Zeno behavior.

4. Simulation results

To validate the effectiveness of the designed controller (44), this section conducts numerical simulations comparing it with the finite-time anti-unwinding controller from [17] and the fixed-time anti-unwinding controller in [21].

In the section of the predefined-time sliding mode surface and the controller, the corresponding parameter ranges have been provided, and we select the parameters within these ranges.

Selecting appropriate parameters is necessary for controller application. To achieve smaller stability error, are required to be smaller. For the predefined-time sliding mode surface, the parameters and were selected to ensure that the system stabilizes within a reasonable time while accounting for the system’s dynamic response. To balance convergence time, the parameters and .The boundary layer parameters were chosen to reduce chattering near the sliding surface, ensuring smooth operation of the system without introducing unnecessary oscillations. The parameter and play a critical role in the event-triggered mechanism, specifically in adjusting the triggering threshold. we selected . These values were chosen to ensure that control updates were sent frequently enough to maintain system performance, without unnecessarily overloading the communication system.

The parameters of the proposed controller, initial conditions of the spacecraft dynamics, and relevant coefficients are provided in Table 1.

In Figs 38, (a), (b), and (c) represent the proposed controller, the fixed-time anti-unwinding controller from [21], and the finite-time anti-unwinding controller from [17], respectively.

thumbnail
Fig 3. Response of the attitude quaternion vector part .

(a) represent the proposed controller; (b) represent the fixed-time anti-unwinding controller from [21]. (c) represent the finite-time anti-unwinding controller from [17].

https://doi.org/10.1371/journal.pone.0333700.g003

thumbnail
Fig 4. Response of .

(a) represent the proposed controller; (b) represent the fixed-time anti-unwinding controller from [21]. (c) represent the finite-time anti-unwinding controller from [17].

https://doi.org/10.1371/journal.pone.0333700.g004

thumbnail
Fig 5. Response of .

(a) represent the proposed controller; (b) represent the fixed-time anti-unwinding controller from [21]. (c) represent the finite-time anti-unwinding controller from [17].

https://doi.org/10.1371/journal.pone.0333700.g005

thumbnail
Fig 6. Response of the attitude error.

(a) represent the proposed controller; (b) represent the fixed-time anti-unwinding controller from [21]. (c) represent the finite-time anti-unwinding controller from [17].

https://doi.org/10.1371/journal.pone.0333700.g006

thumbnail
Fig 7. Response of the angular velocity error .

(a) represent the proposed controller; (b) represent the fixed-time anti-unwinding controller from [21]. (c) represent the finite-time an-ti-unwinding controller from [17].

https://doi.org/10.1371/journal.pone.0333700.g007

thumbnail
Fig 8. Response of the control torque .

(a) represent the proposed controller; (b) represent the fixed-time anti-unwinding controller from [21]. (c) represent the finite-time anti-unwinding controller from [17].

https://doi.org/10.1371/journal.pone.0333700.g008

The attitude error, angular velocity error, and control torque responses of the proposed controller, the fixed-time anti-unwinding controller presented in [21], and the finite-time anti-unwinding controller proposed in [17] are shown in Figs 3 through 8, respectively. Specifically, Fig 3 illustrates the time response of the scalar part of the attitude quaternion; Fig 4 shows the time response of the vector part of the attitude quaternion; Fig 5 presents the angular velocity response; Fig 6 shows the attitude error response; Fig 7 depicts the angular velocity error response; Fig 8 displays the control torque response; and Fig 9 illustrates the event-triggering interval response.

As shown in Fig 3, the proposed controller (Fig 3(a)) achieves faster convergence to steady state near 1 in 5 seconds than the controllers in Figs 3(b) and 3(c), which indicates stronger anti-unwinding capability. From Figs 4 to 7, it can be seen that the proposed controller drives attitude and velocity errors to zero within 2 seconds, while [21] and [17] require 8 and 20 seconds respectively to convergence. This means that the proposed control scheme achieves faster convergence and better control accuracy than [21] and [17].The time response of the control torque is provided in Fig 8, and the control inputs generated by all three controllers are suitable for practical implementation. Furthermore, as shown in Fig 9, the proposed event-triggered control strategy avoids continuous control signal updates, thereby reducing the communication burden on the spacecraft.

5. Conclusions

This paper investigates anti-unwinding attitude tracking control for spacecraft subject to inertia uncertainties and external disturbances. A novel predefined-time sliding mode function is proposed to ensure both predefined-time convergence of the sliding surface and anti-unwinding performance. Unlike most existing works, the proposed method guarantees anti-unwinding behavior not only on the sliding surface but also outside of it. By improving the controller design, chattering is effectively suppressed while preserving both anti-unwinding capability and predefined-time convergence. An event-triggered mechanism is introduced to reduce the communication burden. Finally, simulation results demonstrate the superior anti-unwinding performance and fast convergence of the proposed method compared with existing approaches. Future work will focus on extending predefined-time anti-unwinding control to satellite formation flying scenarios.

References

  1. 1. Jing C, Ma X, Zhang K, Wang Y, Yan B, Hui Y. Actor-critic neural-network-based fractional-order sliding mode control for attitude tracking of spacecraft with uncertainties and actuator faults. Fractal Fract. 2024;8(7):385.
  2. 2. Zhu Y, Ning X, Wang Z, Wei C, Ma S, Qiu L, et al. Adaptive integral sliding-mode control for a class of nonlinear spacecraft proximity systems under multi-source disturbances and unmodeled dynamics. IEEE Trans Fuzzy Syst. 2025;33(2):537–48.
  3. 3. Moradi Pari H, Bolandi H. Discrete time multiple spacecraft formation flying attitude optimal control in presence of relative state constraints. Chinese Journal of Aeronautics. 2021;34(4):293–305.
  4. 4. Jin K, Huang G, Lei R, Wei C, Wang Y. Multi-constrained predictive optimal control for spacecraft attitude stabilization and tracking with performance guarantees. Aerospace Science and Technology. 2024;155:109599.
  5. 5. Zhou Y, Li Y, Hou Z, Ahn CK. Dynamic event-triggered prescribed-time optimized backstepping attitude consensus tracking control for multiple spacecrafts. Aerospace Science and Technology. 2025;160:110050.
  6. 6. Zhu W, Du H, Li S. On event‐triggered nonsmooth attitude tracking controller for a rigid spacecraft. Intl J Robust & Nonlinear. 2021;32(2):900–16.
  7. 7. Radice G, Thangavel S. Advanced spacecraft formation flying: Integrating MPC, fixed-time control, and communication network strategies. Advances in Space Research. 2025;75(7):5781–804.
  8. 8. Kalabić UV, Gupta R, Di Cairano S, Bloch AM, Kolmanovsky IV. MPC on manifolds with an application to the control of spacecraft attitude on SO(3). Automatica. 2017;76:293–300.
  9. 9. Zhang H, Huang H, Xiao B, Dong K. Command-filtered incremental backstepping attitude control of spacecraft with predefined-time stability. Aerospace Science and Technology. 2024;155:109552.
  10. 10. Sun H, Zhu C, Hou L. Adaptive backstepping event‐triggered attitude tracking fault‐tolerant control for spacecraft systems. Adaptive Control & Signal. 2023;37(11):2857–74.
  11. 11. Zou Y. Attitude tracking control for spacecraft with robust adaptive RBFNN augmenting sliding mode control. Aerospace Science and Technology. 2016;56:197–204.
  12. 12. Song Z, Li H, Sun K. Finite-time control for nonlinear spacecraft attitude based on terminal sliding mode technique. ISA Trans. 2014;53(1):117–24. pmid:24055099
  13. 13. Chen H, Song S, Li X. Robust spacecraft attitude tracking control with integral terminal sliding mode surface considering input saturation. Transactions of the Institute of Measurement and Control. 2018;41(2):405–16.
  14. 14. Zheng Y, Zhang H, Wang Y. Observer-based fault-tolerant fixed-time attitude tracking control for rigid spacecraft without angular velocity measurement. Transactions of the Institute of Measurement and Control. 2024;46(15):2873–83.
  15. 15. Gao S, Jing Y, Liu X, Dimirovski GM. Finite‐time adaptive fault‐tolerant control for rigid spacecraft attitude tracking. Asian Journal of Control. 2020;23(2):1003–24.
  16. 16. Alipour M, Malekzadeh M, Ariaei A. Practical fractional-order nonsingular terminal sliding mode control of spacecraft. ISA Trans. 2022;128(Pt A):162–73. pmid:34763885
  17. 17. Dong R-Q, Wu A-G, Zhang Y, Duan G-R, Li B. Anti-unwinding terminal sliding mode attitude tracking control for rigid spacecraft. Automatica. 2022;145:110567.
  18. 18. Sun H, Xu Y, Hou L, Yang D, Jiao T. Composite anti-unwinding sliding mode attitude tracking control for rigid spacecraft: A prescribed-time method. Aerospace Science and Technology. 2025;161:110158.
  19. 19. Amrr SM, Nabi M. Finite-time fault tolerant attitude tracking control of spacecraft using robust nonlinear disturbance observer with anti-unwinding approach. Advances in Space Research. 2020;66(7):1659–71.
  20. 20. Huang B, Li A, Guo Y, Wang C. Fixed-time attitude tracking control for spacecraft without unwinding. Acta Astronautica. 2018;151:818–27.
  21. 21. Guan T, Li B, Song Y, Duan G-R. Fixed-Time Spacecraft Attitude Control With Unwinding-Free Performance. IEEE Trans Automat Contr. 2025;70(3):1898–904.
  22. 22. Zuo Z, Song J, Tian B, Basin M. Robust Fixed-Time Stabilization Control of Generic Linear Systems With Mismatched Disturbances. IEEE Trans Syst Man Cybern, Syst. 2022;52(2):759–68.
  23. 23. Ye D, Zou A-M, Sun Z. Predefined-Time Predefined-Bounded Attitude Tracking Control for Rigid Spacecraft. IEEE Trans Aerosp Electron Syst. 2022;58(1):464–72.
  24. 24. Yang J, Guo T, Yu Y, Dong Q, Jia Y. Enhanced predefined-time control for spacecraft attitude tracking: a dynamic predictive approach. Sensors (Basel). 2024;24(16):5127. pmid:39204824
  25. 25. Xiao Y, Wang Y, Ye D, Sun Z. Predefined-time robust attitude tracking control of flexible spacecraft with continuous and nonsingular performance. Aerospace Science and Technology. 2025;159:110000.
  26. 26. Xuan-Mung N, Golestani M, Mobayen S, Kong H. Predefined-Time Disturbance Observer-Based Attitude Tracking Control for Spacecraft: A Solution for Arbitrary Disturbances. IEEE Trans Ind Electron. 2025;72(8):8408–18.
  27. 27. Liu B, Fu X, Zhang Z, Yi Y. Adaptive predefined-time precise anti-unwinding attitude control for a spacecraft with inertia uncertainty. Measurement and Control. 2024;58(7):935–46.
  28. 28. Xu Y-T, Wu A-G, Li P. Adaptive anti-unwinding attitude stabilisation with predefined time for rigid spacecraft. International Journal of Systems Science. 2024;56(5):1023–42.
  29. 29. Wang G, Zuo Z, Li P, Shen Y. Controllers for Multiagent Systems With Input Amplitude and Rate Constraints and Their Application to Quadrotor Rendezvous. IEEE Trans Automat Sci Eng. 2025;22:6354–64.
  30. 30. WANG C, LI Y, HU Q, HUANG J. Event-triggered adaptive control for attitude tracking of spacecraft. Chinese Journal of Aeronautics. 2019;32(2):454–62.
  31. 31. Wang J, Yang M, Wang D, Wang T. Distributed average consensus attitude synchronization of multi rigid spacecrafts with predefined time event-triggered sliding mode control. Aerospace Science and Technology. 2025;159:109975.
  32. 32. Wang G, Zuo Z. Consensus algorithms for double-integrator dynamics with different velocity and actuator saturation constraints. Automatica. 2024;170:111860.
  33. 33. Ahmed J, Coppola VT, Bernstein DS. Adaptive Asymptotic Tracking of Spacecraft Attitude Motion with Inertia Matrix Identification. Journal of Guidance, Control, and Dynamics. 1998;21(5):684–91.
  34. 34. Zhiyong Chen, Jie Huang. Attitude Tracking and Disturbance Rejection of Rigid Spacecraft by Adaptive Control. IEEE Trans Automat Contr. 2009;54(3):600–5.
  35. 35. Wang C, Lin Y. Decentralized adaptive tracking control for a class of interconnected nonlinear time-varying systems. Automatica. 2015;54:16–24.
  36. 36. Jia C, Liu X, Li X, Xu J. A New Adaptive Predefined Time Sliding Mode Control for Nonlinear Systems. IEEE Trans Circuits Syst II. 2024;71(4):2094–8.
  37. 37. Zuo Z. Nonsingular fixed-time consensus tracking for second-order multi-agent networks. Automatica. 2015;54:305–9.
  38. 38. Liu Q, Liu M, Yu J. Adaptive Fault-Tolerant Control for Attitude Tracking of Flexible Spacecraft With Limited Data Transmission. IEEE Trans Syst Man Cybern, Syst. 2021;51(7):4400–8.