Abstract

This paper presents the finite time attitude tracking control problem of reusable launch vehicle (RLV) in reentry phase under input constraint, model uncertainty, and external disturbance. A control-oriented model of rotational dynamics is developed and used for controller design for the complex coupling of the translational and rotational dynamics. Firstly, fast terminal sliding mode control is incorporated into backstepping control to design controller considering model uncertainty and external disturbance. The “explosion of terms” problem inherent in backstepping control is eliminated by a robust second order filter. Secondly, the control problem in the presence of input constraint is further considered, and a constrained adaptive backstepping fast terminal sliding mode control scheme is developed. At the control design level, adaptive law is employed to estimate the unknown norm bound of lumped uncertainty with the reduction of computational burden. The Lyapunov-based stability analysis of the closed-loop system is carried out. The control performance is presented via the simulation of six-degree-of-freedom (6-DOF) model of RLV.

1. Introduction

Reusable launch vehicle (RLV) is designed to dramatically reduce the cost of accessing space by recovering and reusing after each mission. A major challenge posed in such mission is atmospheric reentry. In the reentry phase, a number of stringent constraints come into action in which the constraints include constraints on heat flux structural load, and they restrict the vehicle to fly within a narrow flight corridor [1]. Advanced guidance and control technologies are critical for meeting safety, reliability, and cost requirements for RLV. These methods have received considerable attention during the last decades. The main task of entry guidance is the on-board correction of the flight path to compensate for disturbance and model uncertainties. The effective guidance law has been designed to compute the commanded angle of attack and bank angle. Then, the emphasis is to design an appropriate attitude control system to track the guidance command, which is the focus of this paper. Several approaches have been proposed in the past, such as gain scheduling (GS) [2, 3], dynamic inversion (DI) technique [46], trajectory linearization control (TLC) [79], sliding mode control (SMC) [10, 11], and state-dependent Riccati equation (SDRE) control [12, 13]. They provided good control performance, but input constraint was not taken into account in the above research.

Input saturation often severely limits system performance, giving undesirable inaccuracy or leading to instability [14, 15], and it is a potential problem for the actuators of control systems. Input saturation is often encountered in practical applications due to the fact that it is usually impossible to implement unlimited control signals [16]. Physical input saturation on hardware dictates that the magnitude of control signal is always constrained [17]. In flight control system, aircraft body may change seriously when input saturation occurs, and it may lead the aircraft to disintegrate. In order to avoid the above problem for the flight control sytem, it is necessary to study the problem of controller design subject to input constraint. It raises challenges for control system design with the nonanalytic actuator nonlinear dynamics and unknown exact actuator nonlinear functions. In addition, the consideration of model uncertainty and external disturbance makes it more difficult.

Though a lot of methods are proposed to handle input constraint in theory [1821], only limited studies are concerned about attitude control problem with control limits due to the complicated nonlinear dynamics of hypersonic vehicle systems. Antiwindup control (AWC) was developed to handle input constraint [22, 23], but the stability of closed-loop system is difficult to be analyzed theoretically [24]. Model predictive control (MPC) has been used popularly because of its inherent capability of tackling input constraint directly during controller design procedure [2527]. However, it depends on the real-time receding horizon optimization. The main barrier of its application to hypersonic vehicle is online optimization and the determination of time-domain step size [28]. Furthermore, there are other methods to handle input constraint for flight control system. A direct model reference adaptive control was proposed for F-16 aircraft in the presence of position limited, unknown parameters and matched uncertainties [29]. Direct adaptive control and theta-D control were presented to spacecraft with two classes of input saturations [30]. Those two methods were robust enough to handle nominal operating conditions and input saturation situations. An adaptive backstepping controller was designed for the F-16 [31], where command filters were used to implement constraints on control surfaces and virtual control states, whereas it only considered linear parameterization uncertainty. An integral backstepping control with positive control parameters was developed to reduce the guaranteed maximum torque upper bound for spacecraft [32]. An adaptive backstepping approach was applied to the flight control of longitudinal aircraft dynamics that directly accommodated magnitude, rate, and bandwidth limits on aircraft states and actuators [33]. It is noted that the external disturbance was not considered.

Besides, input constraint, uncertain inertia matrix, and external disturbance may also reduce the accuracy of the control system, and they should not be ignored during the control system design. It is not hard to only handle one of the above problems with some control approach, but once all the above factors are considered, the situation will be hard to deal with. Therefore, it is necessary to focus on the attitude tracking control problem with the simultaneous consideration of input constraint, uncertain inertia matrix, and external disturbance. Moreover, since the attitude dynamics of RLV are highly nonlinear, the problem of how to design a high-precision finite time attitude control law is a challenging work. Many nonlinear control approaches have been employed to solve the finite time attitude tracking control problem. SMC is one of the most powerful techniques to handle nonlinear systems with uncertainties and bounded external disturbances. It has been adopted in many previous works for attitude control design of hypersonic vehicle [10, 11]. Backstepping control was proposed by Kristic et al. [34]. It is a typical nonlinear control approach and a powerful tool to deal with unmatched uncertainty [35]. Some researches focus on the combination of SMC and backstepping control [3641]. The conventional linear sliding mode surface is employed for the general SMC. The tracking error converges to the equilibrium points asymptotically after the system reaches the sliding mode manifolds; this convergence process will cost infinite time theoretically. For the hypersonic vehicle, slow convergence may affect the control precision to some extent. Nonlinear function is introduced at the sliding mode surface design level and terminal sliding mode (TSM) control scheme is proposed to enhance the convergence velocity. TSM control can guarantee the convergence of tracking error in finite time, and it has better control precision than the linear sliding mode control.

In this research, we focus on the attitude control problem that a RLV in reentry phase will be driven to track the guidance command where input constraint, model uncertainty, and external disturbance are taken into account. The control-oriented model is firstly established. Since it is a strict-feedback system with unmatched uncertainty, an adaptive backstepping fast terminal sliding mode controller is developed to handle model uncertainty and external disturbance. Furthermore, a constrained adaptive backstepping fast terminal sliding mode control scheme is proposed to tackle input constraint, model uncertainty, and external disturbance. Then, the stability of the closed-loop system is proved through Lyapunov technique. The 6-DOF simulations are performed to evaluate the effectiveness of the proposed control strategy.

The outline of this paper is as follows. In Section 2, the 6-DOF equations of motion of RLV and the control-oriented model are stated. Then, adaptive backstepping fast terminal sliding mode control strategy is developed with inertia matrix uncertainty and external disturbance in Section 3. To implement the constrained input, the constrained adaptive backstepping fast terminal sliding mode control strategy is designed in Section 4. Next, simulations applying two control schemes to the RLV in reentry phase are done in Section 5. At last, conclusions and future work are given in Section 6.

2. Reusable Launch Vehicle Model

In this section, the 6-DOF equations of motion of RLV during reentry phase are described, and the control-oriented model is derived for control design.

2.1. Six-Degree-Of-Freedom Equations of Motion

The motion of 6-DOF unpowered rigid flight vehicle can be separated into center-of-mass motion (translational motion) which is referenced to a flight-path coordinate system, and the motion that is around center-of-mass (rotational or attitude motion), is referenced to a vehicle-body-fixed coordinate system.

The center-of-mass motion is caused by the forces that act on the vehicle. It is used for generating trajectory and designing guidance law. Most applications assume steady coordinated turns such that the sideslip angle is zero. The equations of translational motion are given by [42] where , , , , , and are altitude, latitude, longitude, velocity, flight path angle, and heading angle, respectively. and are lift and drag, respectively. is the gravity acceleration ( with being the Earth gravity constant). is the Earth angular speed, and is radius of the Earth.

The rotational equations governing the rigid-body attitude dynamic of the vehicle during the reentry flight are given as follows [26]: where , , and denote, respectively, angle of attack (AOA), sideslip angle, and bank angle. , , and are roll rate, pitch rate and yaw rate, respectively. , , and are rolling moment, pitching moment, and yawing moment, respectively.    are inertia. The expressions of the lift and drag are as follow: , , where and are the lift coefficient and drag coefficient, respectively, and they are the functions of AOA. Aerodynamic reference area of vehicle is given by , and dynamic pressure is given by . The specific aerodynamic data are referred to [43], and the atmospheric model is referred to in 1976 US Standard Atmosphere.

2.2. Control-Oriented Model

It is noted that (2) are nonlinear, and the states are coupled with trajectory states, so a control-oriented model is developed for controller design succinctly. In fact, the rotational motions of RLV are much faster than translational motions and the motion of the Earth. Time derivatives of both position and direction of the velocity and the Earth’s angular velocity are considered to be negligible with respect to the rotational motion, resulting in the following: where    denote uncertainties induced by model simplification.

The equations (2) can be written as where and denote inertia matrix uncertainty and external disturbance, respectively.

Equations (3)-(4) are used for controller design, and they can be expressed as Here and is attitude angular rate vector. is attitude angle vector. is the uncertain vector induced by model simplification. is the control input vector. The matrixes , , and are as follows The dynamics (5)-(6) possess a strict-feedback formulation, which makes the backstepping technique applicable. For the fast and finite-time convergence, and high steady-state tracking precision, the fast terminal sliding mode control is integrated with backstepping control to design the control scheme.

3. Adaptive Backstepping Fast Terminal Sliding Mode Control (ABFTSMC) Design

In this section, for the control-oriented model (COM) (5)-(6), attitude tracking controller is developed taking model uncertainty and external disturbance into account.

Assumption 1. Every term of unknown external disturbance is bounded by , and satisfies the following inequality: where    are known positive constants.

Assumption 2. The unknown term is bounded and satisfies the following inequality: where is an unknown positive constant.

The control objective is to design controller for the COM (5)-(6) to guarantee that the output tracks the guidance command in spite of model uncertainty and external disturbance, with assumption that every element of and its first order time derivative are continuous and bounded.

Following the backstepping design procedure, the COM (5)-(6) is decomposed into attitude angle subsystem and attitude angular rate subsystem. The control scheme design begins from attitude angle subsystem (5) where the virtual control input is developed and used as the reference command for the angular rate subsystem (6). Then, the actual control input is designed. The concrete design procedure is described in the following two subsections.

3.1. Controller Design for Attitude Angle Subsystem

Attitude angular rate is chosen as the virtual control input. Tracking errors of attitude angle and attitude angular rate are defined as follows: where is the guidance command that is generated by the guidance system. is the reference command of attitude angular rate subsystem, and it is the virtual control input to be designed.

Inspired by the work in [44], a second order sliding mode manifold for attitude angle subsystem is chosen as where , , ,    are positive odd integers.

The virtual control input is designed as the following formation where and are equivalent control and nonlinear control, respectively.

Based on (5) and (10)–(13), we have The uncertain term and are not regarded, besides, let ; then can be designed as Substituting (15) into (14), if the controller can carry out the high-precision tracking in the next step, that is, , then we have Using the derivative of with respect to time, then Based on Assumption 2, the following assumption holds.

Assumption 3. The term satisfies , where is an unknown positive constant.
Since needs to be estimated online, the representation will be applied to denote the estimation, and an adaptive law is used to update .
From (17), the nonlinear control term can be designed as and the adaptive law for is where are parameters to be designed.
The Lyapunov candidate function is chosen as where is the estimation error of , .
From (17)–(20), the time derivative of satisfies Based on the above inequality, if , then , and is asymptotically stable.
By integrating (19), . When and if we choose the appropriate values of and there is time , for any random time , holds. So, [45]. From (19) and (21), ; moreover, ; thus, It indicates that will converge to origin in finite time. After it reaches the surface , and will reach the origin in finite time [44].

3.2. Controller Design for Attitude Angular Rate Subsystem

Motivated by the work in [44], a second order sliding mode manifold for attitude angular rate subsystem is chosen as where , ,    are positive odd integers.

The actual control input is designed as the following formation: where and are equivalent control and nonlinear control, respectively.

Based on (6), (11), and (24), (23) becomes

Remark 4. The time derivative of needs to be computed from equation (25). Due to the nonlinearity and uncertainty of the COM (5)-(6), it is difficult to obtain the time derivative of virtual control input even if it can be analytically computed. For “explosion of terms” problem results from the repeated differentiations of desired virtual control in backstepping control, dynamic surface control was presented through introducing a first order filtering of the synthetic input at each step to estimate the time derivative of virtual control input [46, 47]. Moreover, command filters were proposed in [48, 49] to avoid analytical calculation of the time derivatives of virtual control inputs in the backstepping procedure.
In this study, a second order filter is employed to avoid the analytic computation to eliminate the “explosion of terms” problem. The second order filter is depicted by [50] where is the filter time constant while and are positive constants (). The filter estimation errors are defined as , .
If the uncertain term is not considered, let ; that is, Then the equivalent control can be designed as Considering the uncertainty , and substituting (28) into (27), . Using the derivative of , with respect to time, then Based on Assumption 1, the following assumption holds.

Assumption 5. The term satisfies , where is an unknown positive constant.
Since needs to be estimated online, the representation will be applied to denote the estimation, and an adaptive law is used to update .
From (29), the nonlinear control term can be designed as and the adaptive law for is where are parameters to be designed.
The Lyapunov candidate function is constructed as where is the estimation error of , .
The time derivative of is The last term satisfies the following inequality [50]: with the following assumptions: (1) the time derivative of is bounded with a known positive constant and satisfies , and , . (2) is bounded with a constant and satisfies and , .
If and , we obtain The convergence of the filter is assured, and the estimation error can be guaranteed within the compact set determined in the following form [50]: , . The estimation error of the filter can be adjusted sufficiently small by choosing appropriate values of , .
Based on (29)–(31), and (35), the equality (33) satisfies If , then , and is asymptotically stable. Through the similar analysis shown in Section 3.1, the following inequality holds: It indicates that will converge to origin in finite time, after it reaches the surface , and and will reach the origin in finite time. So converges to origin in finite time; then the virtual control input will force to converge to origin in finite time; that is, the guidance command of attitude angle is stably tracked in finite time.

Remark 6. There are the integrals of the discontinuous signals in (18) and (30). Thus, the control input is continuous and the chattering caused by the sign function is alleviated by the integration.

4. Constrained Adaptive Backstepping Fast Terminal Sliding Mode Control (CABFTSMC) Design

It is unavoidable that actuator is limited in the control system of hypersonic vehicles, especially the magnitude constraints of actuator inputs. So in this section, we will further study the controller design taking input constraint, model uncertainty and external disturbance into account.

The control objective is to design controller for the COM (5)-(6) to guarantee that the output tracks the guidance command , even in spite of input constraint, model uncertainty, and external disturbance, with the assumption that every element of and its first order time derivative are continuous and bounded.

The virtual control input and adaptive law for the attitude angle subsystem (5) are (13) and (19) developed in Section 3. In what follows, the control input is designed with the consideration of input constraint, model uncertainty, and external disturbance.

Considering input constraint , the attitude angular rate dynamic (6) can be rewritten as Here, is the actual control generated by the actuator, and denotes the nonlinear saturation characteristic.

To handle input constraint conveniently, the saturation function can be expressed as Here, , and is the following formulation: For simplicity, we assume that three control inputs have the same bound; that is, . Motivated by the research in reference [51], the following assumption holds.

Assumption 7. The relationship between and satisfies the following inequality: .
To proceed, from (39), we obtain Here, has the following expression: Note that , and it can be regarded as an indicator of the saturation degree of the control input ; if approaches zero, there is almost no feedback from input , while means that does not saturate. According to the density property of a real number [52], there is a constant which satisfies
From (39), (38) can be rewritten as Taking time derivative of (11) along with (44), we have For the term , the following assumption holds.

Assumption 8. There is a positive constant which makes the following condition hold: .
Since needs to be estimated online, the representation will be applied to denote the estimation, and an adaptive law is used to update .
The control input is designed as and the adaptive laws for and are where .
The Lyapunov function is constructed as where is the estimation error of , and .
Using the derivative of with respect to time, then Based on (46) and (47), the above equation satisfies By integrating (47), , . So when , if the values , , , and are chosen appropriately, then there is a time to make and hold for any random time . Moreover, and .
From (50), as long as , and the following inequality holds: It is obvious that will converge to origin in finite time. Then, will converge to the origin in finite time under the influence of virtual control input (13).

Remark 9. The CABFTSMC law (46) is discontinuous when crossing which may result in undesirable chattering. It can be alleviated by introducing a so-called boundary layer around [53]. Thus, the controller (46) is revised as where is a positive constant.

Remark 10. At the control design level, and are utilized. It is noted that the uncertainty of (5) and (6) may induce that they cannot be computed. So, the following robust differentiators are employed to estimate and [54]: To alleviate the chattering in the robust differentiators (53), a saturation function is generally employed to replace the sign function as follows: where , , , and and are the parameters to be designed.

Remark 11. In practice, , , and cannot be zero exactly. Based on (19), (31), and (47), , , , and will increase boundlessly which may cause the boundlessness of the control inputs. In order to avoid this problem, the following revised adaptive laws are used: where .

It is worthy to point out that the adaptive laws (56) are utilized to dynamically increase the estimated bounds , , , and until the corresponding conditions , , and are satisfied. As soon as the domains are reached, , , , and stop increasing and keep constant. That is to say, the parameters , , and are used to avoid the increase of the estimated bounds , , , and boundlessly. When , , and deviate from the domains, the above process will be repeated. It is clear that as , , and decrease , , , and increase if the other conditions are fixed.

5. Simulations and Analysis

In this section, numerical simulations are performed, and the results are shown to present that the proposed control strategies in the previous sections can work effectively. A detailed description of the guidance command is provided in [55]. The normal inertial matrix and the external disturbance vector are given as It is noted that the upper bound of the external disturbance is . The bound of control authority is assumed to be . Therefore, the control limits used for exploring the capability of the designed control strategy in adhering to the input constraint are and . The inertia matrix uncertainty is assumed to be . The initial condition of reentry flight is given in Table 1. The controller parameters the control strategies are determined as follows.

The larger parameters , , , and in (15) and (28) will force the faster convergence rate of the sliding mode surface. In addition, as shown in (21), (36), and (50), larger parameters , , , and will force the faster convergence rate of the system states. But , , , , , , , and cannot be selected arbitrarily large due to practical considerations such as control input limit. Thus, a compromise is made between the response speed and control input.

The parameters , , , and in (19), (31), and (47) determine the convergence rate of the estimated bounds , , and . We can select , , , and large to guarantee that the estimated bounds , , , and will rapidly converge to the bounds. The large , , and lead to faster accuracy and adjustment ability, but it is at the cost of control chattering or larger control energy. Then the revised adaptive laws (56) are adopted. The parameters , , and are utilized to avoid the fact that the estimated bounds , , , and increase boundlessly. The choice of parameters , , and is a compromise between the tracking accuracy and control performance.

The parameters and are the widths of boundary layers and employed to deal with the discontinuity in the control law. They are related to the robustness of control scheme. By observing many simulation results, it is appropriate to choose them between (0, 1]. Moreover, the parameters , , , , and have influence on the estimation rate of the second order filter (26) and determined by observing the simulated responses in few trials.

Case 1 (simulation results of ABFTSMC with model uncertainty and external disturbance). In this case, the attitude tracking control problem is simulated to demonstrate the effectiveness of controller (24) proposed in Section 3 in handling model uncertainty and external disturbance. The parameters adopted for the proposed control strategy are given in Table 2. Time histories of attitude angle, attitude angular rate, and control inputs are presented in Figure 1. The local time histories are also shown for better demonstration of dynamic process.

Attitude angle tracking performance applying ABFTSMC control strategy is presented in Figures 1(a) and 1(b) which illustrate that the designed control scheme can provide stable tracking of AOA, sideslip angle, and bank angle. They can track their respective guidance commands after about 2.2 seconds, 3.2 seconds, and 3 seconds, respectively. The tracking errors of AOA, sideslip angle, and bank angle converge to zero in finite time despite model uncertainty and external disturbance. As can be seen from Figures 1(c) and 1(d), roll rate, pitch rate, and yaw rate track their reference commands. The tracking errors also keep very small and vanish asymptotically. Although the tracking performance can still be achieved without considering input constraint according to Figures 1(a) and 1(b), control inputs violate their constraints during the transient state process in Figure 1(e). The ABFTSMC scheme without considering input constraint may generate large control signals to attenuate the effect of undesired transient state.

In order to show the chattering alleviation performance of the designed ABFTSMC scheme, the simulation results of the backstepping ordinary sliding mode control (BOSMC) scheme are given for comparison. The controller design procedure is outlined as follows.

A sliding mode manifold for attitude angle subsystem is chosen as , and its time derivative is . Based on assumption of the uncertain term , , the virtual control input can be designed as

A sliding mode manifold for attitude angular rate subsystem is chosen as , and its time derivative is . Based on assumption of the uncertain term , , and the second order filter (26), the control input can be designed as where and are the switching gains, and they satisfy and . The sign function would lead to serious chattering.

The controller parameters and are selected as and . Other controller parameters are selected as the same values given in Table 2. The simulation results applying BOSMC scheme are presented in Figure 2. It shows that the BOSMC scheme can achieve the tracking of guidance command, but there is obvious chattering in attitude angular rate and control inputs. Comparing Figure 2 with Figure 1, it is clear that the undesired chattering of BOSMC resulting from the sign function is effectively reduced by the designed ABFTSMC scheme, and the continuous attitude angular rate and control inputs are obtained.

The attitude tracking performance applying ABFTSMC control strategy manually coping with input constraint is shown in Figure 3. It is obvious that the ABFTSMC scheme cannot achieve stable tracking of attitude angle.

Case 2 (simulation results of CABFTSMC with input constraint, model uncertainty, and external disturbance). In this case, the attitude tracking control problem is simulated to show the effectiveness of controller (46) in handling the input constraint (40), model uncertainty, and external disturbance. The parameters adopted for the proposed CABFTSMC scheme are given in Table 3. Time histories of attitude angle, attitude angular rate, and control inputs are given in Figure 4. The local time histories are also presented in Figure 4 for better demonstration of dynamic process. It is obvious that the developed CABFTSMC strategy achieves the good tracking performance.

Specifically, from Figures 4(a) and 4(b), the control scheme obtains the desired tracking performance with no obvious steady state error and the tracking error vanishes asymptotically during the whole reentry flight. As demonstrated in Figures 4(c) and 4(d), roll rate, pitch rate, and yaw rate track their reference commands. The tracking errors vanish asymptotically. The behaviors of three control inputs are smooth as can be seen in Figure 4(e). Saturations occur in three control inputs, but they only occur in transient state process. Note that the saturation time is smaller than the transient time, and the control inputs are all within their limits after this period of time; that is, input saturation no longer occurs.

Comparing the results of ABFTSMC with that of CABFTSMC, we can conclude the following. The CABFTSMC scheme leads to a slower response for attitude angle converging to guidance command than that of the response without input constraint under ABFTSMC scheme from Figures 1(a) and 4(a). Despite having a longer response, the proposed CABFTSMC scheme can still assure the attitude stabilization and handle the input constraints efficiently according to Figure 4(e).

The above results suggest that it is necessary and worthwhile to consider input constraint (40) during control design process. Besides, it verifies the effectiveness of the proposed CABFTSMC scheme in providing stable tracking of the guidance command and handling the input constraint.

6. Conclusion

In the paper, the finite time attitude controller based on adaptive backstepping control and fast terminal sliding mode control is designed for RLV in reentry phase in spite of input constraint, model uncertainty, and external disturbance. The developed ABFTSMC scheme assures the stable tracking of the attitude angle with model uncertainty and external disturbance. Then, CABFTSMC strategy further considers input constraint. The bounds of uncertain terms are estimated by the adaptive laws. The “explosion of terms” problem is avoided by using the second order filter. The stability of the closed-loop system is proven within the framework of Lyapunov theory, and the finite time convergence of the tracking error is assured. Simulation results demonstrate that the presented controller has reliability of control for RLV during the reentry phase. In addition, the CABFTSMC scheme does not only cope with model uncertainty and external disturbance but also deal with the input constraint effectively. Future research plans include the transformation of control torque to control rudders and controller design for a flexible hypersonic vehicle with input constraint.

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 greatly appreciate the editor and all the anonymous reviewers for their comments, which help to improve the quality of this paper. This work has been supported by Key Grant Project of Chinese Ministry of Education (61203012), National Natural Science Foundation of China (91016018, 311012, and 61273092), Tianjin Research Program of Application Foundation and Advanced Technology (11JCZDJC25100 and 12JCZDJC30300), and Aeronautical Science Foundation of China (20125848004), supported by Science and Technology on Aircraft Control Laboratory.