Abstract

Two finite-time controllers without unwinding for the attitude tracking control of the spacecraft are investigated based on the rotation matrix, in which a novel modified nonsingular fast terminal sliding manifold is developed to keep tr. The first terminal sliding mode controller can compensate external disturbances with known bounds, while the second one can compensate external disturbances with unknown bounds by using an adaptive control method. Since the first terminal sliding mode controller is continuous, it is able to avoid chattering phenomenon. Theoretical analysis shows that both the two controllers can make spacecraft follow a time-varying reference attitude signal in finite time. Numerical simulations also demonstrate that the proposed control schemes are effective.

1. Introduction

Because of the important applications in many space missions such as in-orbit maintenance and space station installation, the attitude control of the spacecraft has gained extensive interests in recent years. Many researchers have developed various controllers for them based on the unit quaternion [1, 2], dual quaternion [3], and modified Rodrigues parameters (MRP) [4, 5]. However, those representations are unable to represent the set of attitudes both globally and uniquely, so that the controllers usually result in unwinding [6], which means that it will cost extra fuel consumption by the spacecraft traveling a large distance before returning to the desired attitude when the closed-loop system is close to the desired attitude equilibrium.

In order to avoid unwinding, many controllers based on the rotation matrix have been developed [710]. Weiss et al. [7] derived two controllers for spacecraft attitude tracking problems without unwinding. Sanyal et al. [8] gave a continuous controller for spacecraft attitude tracking of arbitrary continuously differentiable attitude trajectories. Chaturvedi et al. [9] presented a complete analysis for two problems on the stabilization of the inverted 3D pendulum. Because controllers [79] adopted the attitude error function which was not proportional to the rotation angle, the performance of those controllers became worse when the initial error became larger. To deal with this problem, Lee [10] proposed an attitude controller by a new attitude error function for the tracking control system on SO. Since the aforementioned controllers provided asymptotic stability [79] and exponential stability [10], the systems could converge to the equilibrium only when the time goes to infinity. Thus, the finite-time stabilization implying better performance is attracting more and more attention.

Terminal sliding mode (TSM) control is one of finite-time control schemes that provide faster convergence speed. However, TSM control has three disadvantages that are singularity, chattering, and slower convergence speed when the system state is far away from the equilibrium. Therefore, many improved TSM algorithms have been developed. Feng et al. [11] gave a nonsingular TSM controller for a second-order system to eliminate the singularity problem. Yu and Zhihong [12] designed a fast TSM controller combining advantages of the traditional linear hyperplane-based sliding mode control and TSM control to improve the convergence speed. The discontinuous controllers [11, 12] can lead to chattering which may arouse high-frequency unmodeled plant dynamics. In general, the boundary layer approach is used to eliminate the chattering; however, the finite-time stability will be lost in the boundary layer. Yu et al. [13] proposed a continuous finite-time controller that can enjoy benefits of both high precision and chattering attenuation by properly choosing the fractional powers.

TSM control has led wide applications in attitude tracking of the spacecraft. A number of research works have been reported on this topic in the past decades. Wu et al. [14] investigated two robust sliding mode controllers based on the quaternion and Lagrange-like model to solve the spacecraft attitude tracking control problem. Lu and Xia [15] investigated the attitude tracking control problem for the rigid spacecraft under input saturation with finite-time stabilization. Zou and Kumar [16] proposed a distributed attitude coordination control scheme using TSM control for a group of spacecraft in the presence of external disturbances. Pukdeboon [17] proposed two second-order sliding mode controllers to solve the attitude tracking control of a spacecraft with external disturbances and inertia uncertain.

To the best knowledge of the authors, there are rarely approaches can provide finite-time control without unwinding for a spacecraft except our previous article [18]. In our previous article, we investigated two finite-time controllers for the attitude control of the spacecraft by an adaptive backstepping method. Because the two controllers were designed in the region of attraction, it needs to be further studied.

To overcome these drawbacks, we investigate the finite-time control by using TSM control. Compared with the listed literatures, the contributions are summarized as follows. (i) A novel modified nonsingular fast terminal sliding manifold is developed to keep . (ii) Two controllers without unwinding are proposed for the attitude control of the spacecraft by using TSM control. (iii) Compared with the controllers in [18], the two controllers are almost globally finite-time stabilization.

This paper is organized as follows. An attitude dynamic model is established in the following section. In Section 3, a state error is given. Then, two controllers are proposed. Furthermore, the corresponding stability proofs are given as well. Numerical simulations are presented in Section 4. The paper is closed with some concluding remarks.

2. Spacecraft Attitude Dynamics

The spacecraft is modeled as rigid body based on the rotation matrix. Specifically, the equation of motion of the spacecraft is defined as (1) and (2). Here, is the rotation matrix that transforms the body frame into the inertial frame resolved in the body frame. is the angular velocity in the body frame. and are the external disturbance torque and control torque, respectively. is the inertia matrix. Consider

and are the reference attitude and angular velocity in the reference frame, respectively. and are the rotation matrix error and angular velocity error in the body frame. Because is a matrix, it cannot be used to design the controller directly. A new attitude error is constructed in [10] which is defined as (4). The transforms a skew-symmetric matrix to a vector. For example and , where and is a skew-symmetric matrix. Consider

In combination with (1)–(4), the equation of motion of the spacecraft is given by the following equations:

3. Design of the Controller

We employ the idea of the finite-time control to design the robust controllers for the attitude control of the spacecraft by using TSM control. The following lemmas are useful to design the finite-time controllers.

Lemma 1 (see [10]). Let , and there exists with . The matrix 2-norm of is . Furthermore, if , is an invertible matrix, , and .

Lemma 2 (see [13]). Supposing that are all positive numbers and , then the following inequality holds:

Lemma 3 (see [13]). Supposing that , , where , , , and is a continuous positive definite function, then the system converges to the equilibrium point in finite time:

Assumption 4. ,   , and    are assumed to satisfy and , respectively. Here, and are positive constants.

In order to keep , we design the fast TSM as (11), where , , , and are positive constants, ,  ,  ,  , and . Consider

Based on the TSM control, the control law for the spacecraft is given by the following equation:

Theorem 5. Consider a spacecraft described by (5)-(6) under Assumption 4 where is a given positive constant. By applying the proposed control scheme (13), the following results are achieved.(i)The sliding manifold converges to the region in finite time. Here, and are positive constants satisfying and , respectively. is the maximum value of . Consider (ii)The errors and converge to the regions and in finite time, respectively. Consider

Proof. We choose the Lyapunov function as . Applying (13) and (5)–(7), the derivative of can be written as
To deal with , can be rewritten as (18)-(19). We will discuss these situations in Cases 1-2. Consider
Case 1. Assuming and , (18) can be rewritten as (20). If and , the sliding manifold will converge to the region in finite time by using Lemma 3. Consider
Case 2. Assuming and , (19) can be rewritten as (21). If and , the sliding manifold will converge to the region in finite time by using Lemma 3. Consider
Now, (i) has been proved.
The sliding manifold converges to the region in finite time, which means that , . Therefore, the stability analysis of and is as follows:
Case 1. If , we can get (22) by using (11)-(12). Consider From (23), we can get that converges to in finite time.
Case 2. If , we can get (24) by using (11)-(12). Consider
We choose the Lyapunov function as . Applying (24), the derivative of can be written as follows:
To deal with , can be rewritten as follows:
If , converges to in finite time and if , converges to in finite time. Consider
Furthermore, from (27) we can get that converges to in finite time.
Now, (ii) has been proved.

Remark 6. From (14)-(15), it is concluded that the controller parameters and determine the accuracy of and the controller parameters and determine the final accuracy of . In order to get small and , we can select large , , , and .

In Theorem 5, it is assumed that is given. However, in applications, is hard to know. In order to deal with a time-varying unknown bounded disturbance, we design the discontinuous controller (28)-(29), where is the estimation value of and . Consider

Theorem 7. Consider a spacecraft described by (5)-(6) under Assumption 4, where is an unknown positive constant. By applying the proposed control scheme (28)-(29), and are all bounded.

Proof. We choose the Lyapunov function as . Applying (28)-(29) and (5)–(7), the derivative of can be written as follows:
It can be seen that . Thus, it can be concluded that variables and are all bounded.

Theorem 8. Consider a spacecraft described by (5)-(6) under Assumption 4, where is an unknown positive constant. By applying the proposed control scheme (28)-(29), the following results are achieved.(i)The sliding manifold converges to in finite time.(ii)The errors and converge to the regions and in finite time, respectively. Consider

Proof. We choose the Lyapunov function as . Applying (28)-(29) and (5)–(7), the derivative of can be written as If , then, by using Lemma 3, we can get that the sliding manifold will converge to in finite time.
Therefore, the stability analysis of and is as follows.
Case 1. If , we can get (34) by using (11)-(12). Consider From (35), we can get that converges to in finite time.
Case 2. If , we can get (36) by using (11)-(12). Consider
We choose the Lyapunov function as . Applying (36), the derivative of can be written as follows:
It can be seen that converges to in finite time. Consider
Furthermore, from (38), we can get that converges to in finite time.
Now, (ii) has been proved.
Now, Theorem 8 has been proved.

Remark 9. In Theorems 7 and 8, does not converge to the region near zero in finite time. It just guarantees that is bounded.

Remark 10. Owing to the novel modified nonsingular fast terminal sliding manifold, we can easily ensure that from the proofs. Compared with [10, 18], we do not need to consider the region of attraction in the controllers. Because the system initial value can not be , the two controllers are almost globally finite-time stabilization.

4. Simulations

In this section, the simulation is given to illustrate the theoretical results. To validate the effectiveness of the proposed two controllers, numerical simulations are given in the following scenario. The spacecraft tracks a time-varying reference signal.

The model parameters and initial value for the spacecraft are defined as follows:

The initial value and reference angular velocity for the spacecraft are as follows:

For the dynamic model described by (5) and (6), it should be noted that system exists external disturbance. The disturbance torque in (6) is defined as follows:

We select parameters of the first controller as , , , ,  and . Simulation results of the spacecraft system under the controller (13) are shown in Figures 13, from which it can be seen that the maneuver can be completed in less than 70 seconds. Figure 1 gives the attitude curves of the spacecraft. As tr, the controller (13) is effective. Figure 2 gives the cures of . Figure 3 plots the curves of control torque of the system, from which it can be seen that the controller is continuous without chattering. It is easy to find that the controller (13) can obtain better performance when the attitude tracking is performed.

To validate the second controller, numerical simulations are given as follows. The parameters of the second controller are selected the same as the first one. In order to avoid chattering, we use saturation function to take the place of sign function. Simulation results of the spacecraft system under the controller (28) are shown in Figures 4, 5, 6, and 7. We can see that the attitude maneuver of the spacecraft can be completed in less than 40 seconds. Compared with Figures 3 and 6, it can be seen that the control torques of the both controllers are similar. Compared with Figures 1 and 4, the second controller has more excellent performance than the first controller.

In order to get similar performance as the second controller, the parameters of the first controller are chosen as , , , , and . Figure 8 gives the attitude curves of the spacecraft. Figure 9 gives the curves of control torque of the system. Compared with Figures 6 and 9, the first controller needs larger control torques. The results of simulation show that both controllers can obtain better performance when the attitude tracking is performed and the second controller has more excellent performance than the first controller.

To further research, the first controller is compared with the controllers in [18]. We chose the parameters of the first controller as , , , , and to get similar performance as the controller in [18]. Figures 10 and 11 give curves of the attitude and control torque of the spacecraft. Figures 12 and 13 give the corresponding curves of the controller in [18]. Compared with Figures 11 and 13, the first controller needs smaller control torques. We can see that both controllers can obtain better performance when the attitude tracking is performed and the first controller outperforms the controller in [18] clearly.

5. Conclusions

This work develops two robust finite-time controllers without unwinding for the spacecraft. The first proposed robust controller is continuous to avoid the chattering. With the use of adaptive control, the second proposed robust controller does not need the bounds of external disturbances. For both controllers, we can get that the overall closed-loop system is finite-time stability by Lyapunov’s theorems. Simulations have shown that the controllers can make the spacecraft follow a time-varying reference attitude signal without unwinding in finite time.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to acknowledge the financial support provided by the National Natural Science Foundation of China (Grant no. 61174037), the State Key Program of National Natural Science of China (no. NSFC-61333003), the Innovative Team Program of the National Natural Science Foundation of China (Grant no. 61321062), CAST20120602.