Abstract
In this paper, we present a robust fault-tolerant control scheme to achieve attitude control of flexible spacecraft with disturbances and actuator failures. It is shown that the control algorithms are not only attenuate exogenous bounded disturbances with attenuation level, but also able to tolerate partial loss of actuator effectiveness. The proposed controller design is simple and can guarantee the faulty closed-loop system to be quadratically stable with a prescribed upper bound of the cost function. The design algorithms are obtained by combining free weighting matrices method with linear matrix inequality technique. The effectiveness of the proposed design method is demonstrated in a spacecraft attitude control system subject to loss of actuator effectiveness.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
High precision attitude control has been a difficult and important problem for flexible spacecraft in communication, navigation, remote sensing, and other space-related missions. It is because modern spacecraft often employ large, deployed and light damping structures (such as solar paddles and antenna reflectors) to provide sufficient power supply and reduce launch costs [1–6]. During the control of the rigid body attitude, actuators play an important role of linking control commands to physical actions [7, 8]. Normally, the actuators should execute commands demanded by the controller faithfully and completely. In this condition, the actuators need to be \(100~\%\) effective. However, when a fault occurs in the actuator, the handicapped actuator may not complete the control command fully. Naturally, the control channel effectiveness (or lack of it) becomes an appropriate measure of the severity of the actuator fault [9]. In an spacecraft, actuator faults may cause discrepancies between the desired and the actual movements of these control surfaces due to incorrect supply pressure in the hydraulic lines, change in hydraulic compliance, and line leakage [10]. Any of these problems can prevent the primary control surfaces such as elevators, ailerons, or rudder from moving to the positions demanded by the controller [9]. On the other hand, the complex space structure may lead to the decreased rigidity and low-frequency elastic modes. However, elastic vibration of the flexible appendages may cause degradation of the performance of attitude control [7, 11]. Thus, the desired control scheme should tolerate partial loss of actuator effectiveness and be robust enough to overcome various disturbances from structural vibrations of the flexible appendages.
Due to the increasing demands for high reliability and survivability of the complex control systems, the fault-tolerant control (FTC) has attracted extensive interests and attention [12–21]. FTC can be divided into passive FTC [12, 13] and active ones [14, 15]. An active FTC uses the diagnosis results provided by the fault detection and diagnosis to actively adjust the control efforts, thus is potentially capable of dealing with a larger number of faults [14, 15]. Compared with the active FTC, the passive one has the advantage of not requiring the exact actuator fault information; thus, it is simple to implement. The passive FTC can also ensure system stability and desired performance after the actuator fault occurs and before the fault detection and diagnosis phase finishes [12, 13].
Motivated by the preceding discussion, in this paper, a passive FTC scheme for flexible spacecraft with disturbances and partial loss of actuator effectiveness is studied. First, the partial loss of actuator effectiveness problem is transformed into uncertain parameters problem. Second, the fault tolerant control is designed by combining \(H_\infty \) control technique and robust control method. The proposed control algorithms are not only attenuate disturbances from structural vibrations of the flexible appendages with \(H_\infty \) attenuation level, but also able to robust to partial loss of actuator effectiveness. Meanwhile, the resultant FT controller may be simply designed and can guarantee the faulty closed-loop system to be quadratically stable with a prescribed upper bound of the cost function. Finally, a numerical example is shown to demonstrate the good performance of our method.
The rest of this paper is organized as follows. The single-axis model of flexible spacecraft model and partial loss of actuator effectiveness are described in Sect. 2. The passive FT controller is designed and analyzed in Sect. 3. Numerical simulations on different control effectiveness factor situations are presented in Sect. 4 to demonstrate the performance of the proposed control method. Finally, we conclude the paper in Sect. 5.
Notation: Throughout this paper, \(R^n\) denotes the \(n\)-dimensional Euclidean space; the space of square-integrable vector functions over \([0,\ \infty )\) is denoted by \(l _2[0,\ \infty )\); the superscripts “\(\top \)” and “\(-1\)” stand for matrix transposition and matrix inverse, respectively; \(P>(\ge 0)\) means that \( P\) is real symmetric and positive definite (semidefinite). The identity and zero matrices are denoted by \(I\) and \(0\), respectively, with appropriate dimensions. In symmetric block matrices or complex matrix expressions, \(\mathrm {diag}\{ \ldots \}\) stands for a block-diagonal matrix, and \(*\) represents a term that is induced by symmetry. For a vector \(\nu (t)\), its norm is given by \(\Vert \nu (t)\Vert _2=\int ^\infty _0\nu ^\top (t)\nu (t)\mathrm{d}t\). Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for related algebraic operations.
2 Problem formulation and preliminaries
Similarly to the references [11, 22], the single-axis model can be derived from the nonlinear attitude dynamics of the flexible spacecraft. In this paper, the problem is simplified and only considers the single-axis rotational maneuver. It is assumed that this model includes one rigid body and one flexible appendage, and the relative elastic spacecraft model is described as:
where \(\theta (t)\) is the attitude angle, \(J\) is the spacecraft inertia about the pitch axis, \(\eta (t)\) is the flexible modal coordinate, \(F\) is the rigid-elastic coupling matrix, \(u^F(t)\) is the control torque generated by the reaction wheels that are installed in the flexible spacecraft. \(C_\mathrm{m}=\mathrm{{diag}}\{2\xi _1\varpi _1,\ldots 2\xi _n\varpi _n\}\) is modal damping matrix, where \(\xi _i,(i=1,\ldots n)\) is the damping ratio, and \(\varpi _i,(i=1,\ldots n)\) is the modal frequency. \(\varLambda =\mathrm{{diag}}\{\varpi _1^2,\ldots \varpi _n^2\}\) is stiffness matrix. \(n\) is their dimensions. Since vibration energy is concentrated in low-frequency modes in a flexible structure, its reduced order model can be obtained by modal truncation. In this paper, only the first two bending modes are taken into account. Then we can get
To formulate the FTC problem, the fault model must be established. According to the fault type for flight-control system established in [15, 18], the fault type considered in this study is the loss of actuator effectiveness. We use \(u^F(t)\) to describe the control signal as follows:
where \(\omega \) is the control effectiveness factor and satisfied by the following form:
where \(\omega _i\) is an unknown constant, \(\underline{\omega }_i\) and \(\overline{\omega }_i\) represent the known lower and upper bounds of \(\omega _i\), respectively. For simplicity, we introduce the following notation:
where
Then, we have
Remark 1
When \(\underline{\omega }_i=\overline{\omega }_i=1\), then the \(i\)th actuator is considered to be fault-free. Nevertheless, when \(0\le \omega _i<1\), the considered fault is a partial loss of control effectiveness. Specially, when \(\omega _i =0\), the \(i\)th actuator is considered to be failure and the actuator is out of order. On the other hand, it is noted that loss of actuator effectiveness problem may be transformed into uncertain parameters problem by using fault description method in (7), which will also make the partial actuator failures problem to easily solve in subsequent section.
Letting \(x(t)=[\theta ^\top (t)\ \ \dot{\theta }^\top (t)]^\top \), then, the system (2) with actuator faults (7), can be transformed into the state-space form
where \(y(t)\) is measured reference output, \(w(t)=F(C_\mathrm{m}\dot{\eta }(t)+\varLambda \eta (t))\) is as the disturbance due to elastic vibration of the flexible appendages, which is supposed \(w(t)\) belongs to \(l_2[0,\infty )\) and satisfied \(||w(t)||\le \delta \) and
For system (8), the following FT controller is employed via state feedback
where \(K\) is the gain of controller and need to design. Then, with the control law (9), the system (8) can be expressed as follows
The objective of this paper is to design FT controller such that
-
The closed-loop system (10) with \(w(t) = 0\) is asymptotically stable;
-
In the case when \(w(t) = 0\), the following cost function associated with closed-loop system (10) satisfies
$$\begin{aligned} J_c\!=\!\int \limits ^{\infty }_0x^\top (t)Z x(t)+u^\top (t)\omega ^\top R \omega u(t)\mathrm{d}t\le J^*,\nonumber \\ \end{aligned}$$(11)where \(J^*>0\) is a specified constant, \(Z\) and \(R\) are given positive definite matrices;
-
Under the zero initial condition, the closed-loop system (10) satisfies \(||y||_2<\gamma ||w(t)||\), for any non-zero \(w(t)\) that belongs to \(l_2[0,1)\), where \(\gamma > 0\) is a prescribed scalar.
Now, we give the following lemma which are needed in the proof of main results.
Lemma 1
([23]) Given matrices \(M =M^\top \), \(S\) and \(N\) of appropriate dimensions, the inequality
holds for all \(\Delta (t)\) such that \(\Delta ^\top (t)\Delta (t)\le I\) , if and only if, there exists \(\delta >0\)
Lemma 2
(Schur complement [23]) Given constant matrices \(\varOmega _1, \varOmega _2, \varOmega _3\) where \(\varOmega _1 = \varOmega ^\top _1\) and \(\varOmega _2 > 0\), then
if only if
3 Fault-tolerant control design
In this section, we will give design method based on LMI to compute the FT controller gain.
3.1 Stability of closed-loop system
Theorem 1
Given a scalar \(\gamma >0\) and matrices \(Z>0,\ R>0\), the system (10) is asymptotically stable and satisfies \(\parallel y(t)\parallel _2<\gamma \parallel w(t)\parallel _2\) for any non-zero \(w(t)\in l_2\ [0,\infty )\) under the zero initial condition if there exist a matrix \(P>0\), invertible matrices \(\varGamma _1\) and \(\varGamma _2\) such that the following inequality holds:
Furthermore, an upper bound of performance index (11) is given by
Proof
The first step is to analyze the asymptotic stability of system (10). Consider system (10) in the absence of \(w(t)\), we choose a Lyapunov function as \(V(t)=x^\top (t)Px(t)\). For any matrix \(\varGamma _1\) and invertible matrix \(\varGamma _2\) of appropriate dimensions, we have
Differentiating \(V(t)\) along the trajectory of the system (10) and adding (14) to it gives
According to (12) and Lemma 2, it implies \(\dot{V}(t) < 0\). Hence, the system (10) is asymptotically stable. Next, we consider the upper bound of cost function (11). It is noted that
When (12) holds, we have
Integrating both sides of (17) from \(t=0\) to \(t=\infty \), we obtain
At last, we shall establish the \(H_{\infty }\) performance of the system (10) under zero initial condition. Let
It can be shown that for any non-zero \(w(t)\in l_2[0,\infty )\) and \(t>0\),
It is clear that for any matrix \(\varGamma _1\) and invertible matrix \(\varGamma _2\) of appropriate dimensions, the following equality always is true
Then, we have
According to (21) and (20), \(J_h<0\) follows from (12), which implies that \(\parallel y(t)\parallel _2<\gamma \parallel w(t)\parallel _2\) holds for any non-zero \(w(t)\in l_2[0,\infty )\). This complete the proof. \(\square \)
Remark 2
In Theorem 1, slack variables \(\varGamma _1\) and \(\varGamma _2\) are introduced. It is noted that \(\varGamma _1\) and \(\varGamma _2\) are useless for reducing the conservatism of stability conditions in [24, 25]. However, they can more relaxed design of fault tolerant controller later on since they need only be invertible matrices rather than positive definite matrices. Meanwhile, it is noted that \(\varGamma _1\) and \(\varGamma _2\) are not invertible matrices, equality (14) also is true. Here, in order to design fault tolerant controller gain, we assume them to invertible matrices.
3.2 Controller design
On the basis of Theorem 1, we will present a design method of robust FT controller in the following.
Theorem 2
For given scalars \(\gamma >0,\ \kappa \) and matrices \(Z>0,\ R>0\), if there exist a scalar \(\delta >0\), a matrix \(\hat{P}>0\), invertible matrix \(V_1\) and any matrix \(W\) such that the following inequality holds:
the closed-loop system (10) is asymptotically stable under the FT controller \(u(t)=WV^{-1}_1x(t)\) and satisfies \(\parallel y(t)\parallel _2<\gamma \parallel w(t)\parallel _2\) for any non-zero \(w(t)\in l_2\ [0,\infty )\) with the zero initial condition. Moreover, an upper bound of performance index (11) is given by
where
Proof
Suppose there exists \(\delta >0\) such that the inequality (22) holds and Let
From (7), we can obtain \(L^\top L\le I\). According to Lemma 1, there are \(M+SL N+N^\top L^\top (t) S^\top <0\) holds, that is
From Schur Complement theory, we have
Then, pre-multiplying (25) by \(\mathrm{{diag}}\{V^{-\top }_{1},\ V^{-\top }_{1}, I,\ I\}\) and post-multiplying by \(\mathrm{{diag}}\{V^{-1}_{1},\ V^{-1}_{1},\ I,\ I\}\) and defining some matrices as follows:
Thus, (25) became to (12). From Theorem 1, it is clear that the closed-loop system (10) is asymptotically stable and satisfies \(\parallel y(t)\parallel _2<\gamma \parallel w(t)\parallel _2\). The proof is completed. \(\square \)
Remark 3
By employing Lemma 1 and the fault description (7), the partial loss of actuator effectiveness problem is transformed into uncertain parameters problem. Thus, a feasible robust FTC scheme is obtained in Theorem 2, which only depends on the control effectiveness factor \(\hat{\omega }\). On the other hand, the designed controller is described in form of LMI, which is easy to solve by using Matlab LMI toolbox.
4 Numerical examples
In this section, the faut tolerant control scheme will be applied to a spacecraft with one flexible appendage. Since low-frequency modes are generally dominant in a flexible system, only the lowest two bending modes have been considered for the implemented spacecraft model. Thus, we suppose that \(\omega _1=3.17\) rad/s, \(\omega _2=7.38\) rad/s with damping \(\xi _1=0.001,\ \xi _2=0.015\), We suppose \(F =[F_1\ \ F_2]\), where the coupling coefficients of the first two bending modes are \(F_1=1.27814\), \(F_2=0.91756\), \(J=35.72\) kg m\(^2\) is the nominal principal moment of inertia of pitch axis. The flexible spacecraft is supposed to move in a circular orbit with the altitude of 500 km, then the orbit rate is 0.0011 rad/s. The initial pitch attitude of the spacecraft are \(\theta (0)=0.08\) rad, \(\dot{\theta }(0)=0.04\) rad/s. And \(H_\infty \) performance index is supposed to \(\gamma =2.5\) and the given matrices are chosen as \(Z=[0.25\ \ 0.1;\ \ 0.1\ \ 0.5],\ \ R=0.31, C=[1\ \ 0;\ \ 0 \ \ 1]\). The results we obtained by using Theorem 2 are given in Tables 1 and 2.
Figure 1 shows the responses of pitch attitude angle and angle rate under partial actuator failure, which the control effectiveness factors are chosen as when \(\hat{\omega }=0.2,\ \hat{\omega }=0.5 \ \hat{\omega }=1\) respectively. Figure 2 shows the responses of control effect when \(\hat{\omega }=0.2,\ \hat{\omega }=0.5 \ \hat{\omega }=1\). From these figures, it is clear that the response performance can be guaranteed under the robust FT controller.
5 Conclusion
In this paper, a robust FTC scheme has been investigated for flexible spacecraft. The LMI-based conditions are formulated for the existence of the admissible controller, which ensures that the faulty closed-loop system is asymptotically stable with a \(H_\infty \) disturbance attenuation level and partial loss of actuator effectiveness. Numerical simulations have shown the performance of the attitude control system. Further improvement in composite disturbance-observer with feedback control for flexible spacecraft will be considered in our future work.
References
Nagashio, T., Kida, T., Ohtani, T., Hamada, Y.: Design and implementation of robust symmetric attitude controller for ETS-VIII spacecraft. Control Eng. Pract. 18(12), 1440–1451 (2010)
Gennaro, S.D.: Adaptive robust tracking for flexible spacecraft in presence of disturbance. J. Optim. Theory Appl. 21, 545–568 (1998)
Yang, C.D., Sun, Y.P.: Mixed \(H_2/H_\infty \) state-feedback design for microsatellite attitude control. Control Eng. Pract. 10, 951–970 (2002)
Hu, Q.: Variable structure maneuvering control with time-varying sliding surface and active vibration damping of flexible spacecraft with input saturation. Acta Astronaut. 64, 1085–1108 (2009)
Hu, Q., Ma, G.F.: Variable structure control and active vibration suppression of flexible spacecraft during attitude maneuver. Aerosp. Sci. Technol. 9(4), 307–317 (2005)
Dong, C., Xu, L., Chen, Y., Wang, Q.: Networked flexible spacecraft attitude maneuver based on adaptive fuzzy sliding mode control. Acta Astronaut. 65, 1561–1570 (2009)
Liu, H., Guo, L., Zhang, Y.: An anti-disturbance PD control scheme for attitude control and stabilization of flexible spacecraft. Nonlinear Dyn. 67(3), 2081–2088 (2012)
Hu, Q., Ma, G.F.: Control of three-axis stabilized flexible spacecraft using variable structure strategies subject to input nonlinearities. J. Vib. Control 12(6), 659–681 (2006)
Yu, X., Jiang, J.: Hybrid fault-tolerant flight control system design against partial actuator failures. IEEE Trans. Control Syst. Technol. 20(4), 871–885 (2012)
Karpenko, M., Sepehri, N.: Hardware-in-the-loop simulator for research on fault tolerant control of electro-hydraulic actuators in a flight control application. Mechatronics 19(7), 1067–1077 (2009)
Liu, H., Guo, L., Zhang, Y.: Composite attitude control for flexible spacecraft with simultaneous disturbance attenuation and rejection performance. Proc. Inst. Mech. Eng. 226, 154–161 (2012)
Benosman, M., Lum, K.Y.: Passive actuators fault-tolerant control for affine nonlinear systems. IEEE Trans. Control Syst. Technol. 18(1), 152–163 (2010)
Wang, R.R., Wang, J.M.: Passive actuator fault-tolerant control for a class of overactuated nonlinear systems and applications to electric vehicles. IEEE Trans. Veh. Technol. 62(3), 972–985 (2013)
Liu, M., Cao, X.B., Shi, P.: Fault estimation and tolerant control for fuzzy stochastic systems. IEEE Trans. Fuzzy Syst. 21(2), 221–229 (2013)
Jiang, B., Gao, Z.F., Shi, P., Xu, Y.F.: Adaptive fault-tolerant tracking control of near-space vehicle using Takagi Sugeno fuzzy models. IEEE Trans. Fuzzy Syst. 18(5), 1000–1007 (2010)
Shen, Q.K., Jiang, B., Cocquempot, V.: Fuzzy logic system-based adaptive fault-tolerant control for near-space vehicle attitude dynamics with actuator faults. IEEE Trans. Fuzzy Syst. 21(2), 289–300 (2013)
Zhang, Y.M., Jiang, J.: Bibliographical review on reconfigurable fault-tolerant control systems. IFAC Annu. Rev. Control 32(2), 229–252 (2008)
Ye, D., Yang, G.H.: Adaptive fault-tolerant tracking control against actuator faults with application to flight control. IEEE Trans. Control Syst. Technol. 14(6), 1088–1096 (2006)
Blanke, M., Kinnaert, M., Lunze, J., Staroswiecki, M.: Diagnosis and Fault Tolerant Control. Springer-Verlag, London (2006)
Liu, G.J., Wang, D.J., Li, Y.C.: Active fault tolerant control with actuation reconfiguration. IEEE Trans. Aerosp. Electron. Syst. 40(3), 1110–1117 (2004)
Qian, M.S., Jiang, B., Xu, D.Z.: Fault tolerant tracking control scheme for UAV using dynamic surface control technique. Circuits Syst. Signal Process. 31(5), 1713–1729 (2012)
Li, X.F., Guo, L., Zhang, Y.M.: A composite disturbance observer and \(H_\infty \) control scheme for flexible spacecraft with time-varying input delay. In: 31th Chinese Control Conference, pp. 2824–2829. Hefei (2012)
Li, T., Guo, L., Sun, C.Y.: Robust stability for neural networks with time-varying delays and linear fractional uncertainties. Neurocomputing 71, 421–427 (2007)
Li, T., Guo, L., Lin, C.: Stability criteria with less LMI variables for neural networks with time-varying delay. IEEE Trans. Circuits Syst. II 55(11), 1188–1192 (2008)
Li, T., Yao, X.M., Wu, L.Y., Li, J.Q.: Improved delay-dependent stability results of recurrent neural networks. Appl. Math. Comput. 19, 9983–9991 (2012)
Acknowledgments
This work was supported in part by Major State Basic Research Development Program of China (973 Program) under Grant 2012CB720003, by the National Science Foundation of China under Grant Numbers 91016004 and 60904025, in part by Qing Lan project of Jiang Su province.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Zhang, R., Qiao, J., Li, T. et al. Robust fault-tolerant control for flexible spacecraft against partial actuator failures. Nonlinear Dyn 76, 1753–1760 (2014). https://doi.org/10.1007/s11071-014-1243-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-014-1243-2