Journal of Control Science and Engineering
Volume 2017 (2017), Article ID 6979765, 7 pages
https://doi.org/10.1155/2017/6979765

Research Article

Output Feedback Control for Asymptotic Stabilization of Spacecraft with Input Saturation

Chutiphon Pukdeboon

Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, Thailand

Correspondence should be addressed to Chutiphon Pukdeboon; chutiphon.p@sci.kmutnb.ac.th

Received 19 May 2017; Accepted 11 September 2017; Published 1 November 2017

Academic Editor: Manuel Pineda-Sanchez

Copyright © 2017 Chutiphon Pukdeboon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper investigates the attitude stabilization problem of rigid spacecraft subject to actuator constraints, external disturbances, and attitude measurements only. An output feedback control framework with input saturation is proposed to solve this problem. The general saturation function is utilized in the proposed controller design and a unified control method is developed for the asymptotic stabilization of rigid spacecraft without velocity measurements. Asymptotic stability is proven by Lyapunov stability theory. Moreover, a new nonlinear disturbance observer is designed to compensate for external disturbances. Then, a composite controller is presented by combining a unified saturated output feedback control with a nonlinear disturbance observer. Desirable features of the proposed control scheme include the intuitive structure, robustness against external disturbances, avoidance of model information and velocity measurements, and ability to ensure that the actuator constraints are not violated. Finally, numerical simulations have been carried out to verify the effectiveness of the proposed control method.

1. Introduction

The stabilization of spacecraft has been studied intensively in the last few decades. Several control results that stabilize the attitude of the spacecraft have been proposed in the literature. For example, Egeland and Godhavn [1] presented a passivity-based adaptive control method for rigid spacecraft. In [2], a velocity-free controller is developed to achieve the asymptotic attitude stabilization. Su and Zheng [3] designed two nonlinear PD controllers to obtain finite-time stabilization based on Rodrigues parameter and modified Rodrigues parameter, respectively. Joshi et al. [4] presented a nonlinear control law based on unit quaternion feedback for asymptotic stability of spacecraft which is robust to modeling errors. Zhao and Jia [5] designed a continuous control law to ensure finite-time convergence for a class of stochastic spacecraft systems. In [6–8], several optimal control and -infinity control approaches have been proposed to achieve the stabilization of the rigid spacecraft in the presence of external disturbance and model uncertainties. Sliding mode control has attracted extensive attention owing to its robustness with respect to external disturbances and model uncertainties. This control method has been applied to attitude stabilization of spacecraft in [9, 10].

However, all these aforementioned works assume that the actuator can generate any required control torque. This is quite conservative. In practice, when the requested control torque exceeds the maximum value that the actuator can supply, the performance of the controlled system cannot be guaranteed and this may cause instability [11–13]. In order to overcome this drawback, several approaches that consider actuator constraints have been proposed. More specifically, Wallsgrove and Akella [14] used a smooth variable structure attitude stabilization control scheme. In [15], a saturated controller is designed based on the backstepping control technique. Recently, Su and Zheng [16] present a unified saturated PD control framework to achieve asymptotic stabilization. They used the generalized saturated function to obtain the desired results. In [17], a saturated attitude controller for spacecraft subject to actuator constraints and bounded disturbances has been proposed. Finite-time attitude stabilization has been studied in [18]. Using the theory of homogeneous system, finite-time stability of the attitude control system can be guaranteed.

While these controllers consider the actuator constraints, they assume that all the states can be measured and used in the controller. In practice, while the velocity can be measured by the sensor, it is influenced easily by the noise. Thus, the accuracy cannot be guaranteed and the performance will be degraded. This makes a velocity-free controller more desirable [19]. Recognizing this limitation, velocity-free control methods for rigid spacecraft have been presented. For example, Akella et al. [20] utilized a filter to deal with the attitude variables and thus a velocity-free controller was proposed for the stabilization of spacecraft in the presence of torque-magnitude and rate-saturation limits. By using an angular-velocity observer, Hu and Zhang [21] proposed a bounded output feedback controller to stabilize a spacecraft system. Su and Zheng [22] developed two velocity-free controllers to deal with asymptotic stabilization based on Rodrigues parameter and modified Rodrigues parameter, respectively.

The major contributions of this paper are summarized as follows.

() A unified saturated output feedback (USOF) controller is developed for asymptotic stabilization of spacecraft. The velocity is replaced with a filter. The control torque can be constrained less than the maximum value that the actuator can supply by selecting suitable control gains.

() To the best of the authors’ knowledge, the results presented in this work are the first attempt to design a composite controller combining a USOF controller with a nonlinear disturbance observer (NDO).

Advantages of the proposed approach include the intuitive structure, easy implementation, avoidance of model information and velocity measurements, robustness against external disturbances, and avoidance of violation of actuation limits.

The remainder of this paper is organized as follows. The problem of designing a saturated output feedback controller for rigid spacecraft is formulated in Section 2. Section 3 presents the controller design and stability analysis. In Section 4, an illustrative example is provided to verify the improved performance of the proposed approach. Finally, some conclusions are given in Section 5.

The following notations are used throughout this paper. denotes the maximum eigenvalue of matrix . indicates the Euclidean norm of a vector . The norm of matrix is defined as the corresponding induced norm which can be written as , and represents the 3-by-3 identity.

2. Problem Statements

The unit quaternion is used to describe the kinematics of rigid spacecraft because it is free of singularity. The unit quaternion is a vector defined as , where is the vector part and is the scalar part. They are subject to norm constraint .

The kinematic model of rigid spacecraft can be described by [2]

where denotes the angular vector of the spacecraft, , and is a skew-symmetric matrix which denotes an operator on any vector such that

The dynamic equation for spacecraft is governed by [2]

where is the symmetry positive definite constant inertia matrix, is the control input, and is the external disturbance.

We assume that each actuator has a known maximum torque, . We also assume that only the attitude can be measured and utilized in the feedback control. The control objective is to design a unified saturated output feedback controller for the spacecraft to achieve asymptotic stabilization and satisfy

where denotes the th control torque of the th actuator.

3. Controller Design

3.1. Control Formulation

Before the control design, the definition for the generalized saturation function given in [23] is restated.

Definition 1 (generalized saturation function [23]). Given a positive constant , a continuous function is said to be a generalized saturated function if it satisfies

(a);(b)

For our control development, the following lemma will be exploited.

Lemma 2. The matrix defined by (1) has the norm constraint that

Proof. By the definition of that , it follows that

By calculating and using the identity , we can conclude that

Using the fact that the eigenvalues of are , we have

where denotes the maximum eigenvalue of matrix .
As a consequence,

This completes the proof.

Now, the unified saturated output feedback controller is designed in the presence of actuator constraints and attitude measurements only. We propose the USOF controller for asymptotic stabilization of rigid spacecraft as

where In (11), is an auxiliary variable vector, and is a vector saturation function defined as

From the formulation of the controller and Lemma 2 and using Definition 1 of the generalized saturation function with , we can conclude that

As a consequence, by selecting suitable control gains to satisfy

this ensures that the actuator constraints will not be violated.

3.2. Stability Analysis

The first main result of this paper is given in Theorem 3.

Theorem 3. Consider the spacecraft dynamic and kinematic equations (1), (2), and (4) subject to actuator constraints (5) and suppose that the disturbance term in (4) is not taken into account. The proposed saturated output feedback controller given by (10)–(12) ensures asymptotic stabilization.

Proof. Consider the following Lyapunov function candidate:

where
Using Definition 1, one has

As a result, one can conclude that the proposed Lyapunov function given by (10) is radially unbounded positive definite with respect to
Differentiating (16) with respect to time yields

Substituting (10)–(12) into (18) and using the property of skew-symmetric matrix , it follows that

Using the fact given by (a) in Definition 1, it is evident that is a negative semidefinite function. Moreover, implies that Hence, by LaSalle’s invariance principle [24], the origin is asymptotically stable. This completes the proof.

Remark 4. The proposed controller can be considered as a nonlinear proportional-derivative (PD) control method. This controller has the advantages of the intuitive structure, the absence of modeling information and velocity measurements, and the ability to guarantee that the actuator constraints are not violated. Moreover, the stability of the closed loop with the proposed controller does not depend on a specific saturation function. This offers an additional appealing property that it may obtain an improved performance by choosing the saturation function freely.

Remark 5. In (19), since is negative semidefinite, the asymptotic stabilization cannot be achieved by using only the Lyapunov analysis. In this paper, LaSalle’s invariance principle [24] is introduced to ensure the asymptotic stabilization of the spacecraft.

4. Disturbance Observer Design

The control development in Section 3 is properly designed when the total disturbance is not taken into account. If the total disturbance has an effect on the spacecraft system, then the stability of the closed-loop system is not guaranteed. In this section, a nonlinear disturbance observer is designed to compensate for the total disturbance . It is clear that the specific information of the total disturbance is difficult to obtain in practical engineering owing to the complicated structure of disturbance. However, it is reasonable to assume that and are bounded.

Thus, there exist constants and such that

where indicates the Euclidean norm of a vector

Next, the second main result of this paper is presented in Theorem 6.

Theorem 6. Consider the spacecraft dynamic and kinematic equations (1), (2), and (4) subject to actuator constraints (5) and the disturbance term in (4). When a nonlinear disturbance observer is designed in the form of (21), there exists a constant such that the observer error dynamics are bounded and stable.

where is the estimate of and is the auxiliary variable.

Proof. Define as the estimate error. The error dynamics of NDO can be derived from (4) and (21) as

Then, the Lyapunov function is chosen as

Differentiating with respect to time, one obtains

According to (24), can be obtained if . Then, the decrease of forces the system state into . This implies that the estimate error converges into a small bounded region by selecting a suitable observer gain . The proof is completed.

Next, a composite controller is designed by combining the USOF controller with NDO. The proposed NDO-USOF controller is given as

The asymptotic stabilization of the closed-loop system under controller (22) is proven in the following theorem.

Theorem 7. Consider the spacecraft dynamic and kinematic equations (1), (2), and (4) subject to actuator constraints (5) and the disturbance term in (4). The NDO-USOF controller given by (25) ensures that all state variables in (1), (2), and (4) are uniformly ultimately bounded.

Proof. Consider the Lyapunov function defined in (16). One can see that becomes

According to Theorem 6, by selecting a suitable observer gain , the estimate error converges into a residual set of zero. With bounded motion around the origin, the trajectory of the closed-loop system eventually converges into a region of the origin. This implies that state variables in (1), (2), and (4) are uniformly ultimately bounded. This completes the proof.

Remark 8. Different from NDO-based controllers in [25, 26], this study considers multiple disturbances for three-axis attitude stabilization of rigid spacecraft. The proposed NDO-USOF controller is more robust than the traditional linear feedback controllers for a system with strong nonlinearities and multiple disturbances.

5. Simulation Results

The spacecraft used in [6] is selected to accomplish the comparison. The system parameter in [6] is given by and the angular velocity is initialized as zero. The initial attitude parameter is . The maximum control torques are supposed to be The sampling period is  ms.

The generalized saturation function used in [27] is selected to show the effectiveness and improved performance of the proposed control.

where ,  , and is the standard signum function.

The saturated output feedback (SOF) controller proposed in [20] is chosen to verify the improved performance of the proposed controller. For the stabilization case, the SOF control law of [20] is given by

where , , are positive design constants, is an auxiliary variable, and is the vector function composed of the hyperbolic function.

All the controller gains are selected by trial and error until a better convergence time is obtained. According to the control constraints (5), the control gains are selected as , and The parameters in controllers (10) and (25) are selected as , and First, the simulations without disturbance are performed under the USOF controller (10). The quaternion parameters and angular velocities are shown in Figures 1 and 2. For USOF, the quaternion parameters and angular velocities converge faster to zero and achieve more accurate positioning performance than the SOF control of [20]. The control torque comparison is given by Figure 3. Responses of control torques obtained by USOF have a more rapid convergence rate than SOF control of [20].

Figure 1: Quaternion parameters without disturbances.

Figure 2: Angular velocity without disturbances.

Figure 3: Control torque without disturbances.

After that, the simulations in the presence of disturbances have been conducted under the NDO-USOF controller (25). The external disturbance including constant disturbance and periodic disturbance of different frequencies is described as

The simulation results are given in Figures 4–7. From Figures 4 and 5, one can see that NDO-USOF provides much better responses of quaternion parameters and angular velocities. Specifically, Figure 4 shows that, for SOF, responses of quaternion parameters cannot be stabilized to zero. As shown in Figure 6, the control torques remain uniform with the requested torque constraints. Figure 7 shows that NDO gives the estimate disturbance which converges very fast to the true disturbance .

Figure 4: Quaternion parameters with disturbances.

Figure 5: Angular velocity with disturbances.

Figure 6: Control torque with disturbances.

Figure 7: Disturbance estimates.

6. Conclusion

A unified saturation output feedback controller for asymptotic stabilization of rigid spacecraft with external disturbances and actuator saturation has been proposed. Using the linear filter driven by the attitude variable, velocity measurements are not required. Asymptotic stability has been proven by Lyapunov’s direct method. Moreover, a nonlinear disturbance observer is designed to compensate for external disturbance. Then, a composite controller is developed by combining a unified saturated output feedback control with nonlinear disturbance observer. Advantages of the proposed control framework are the intuitive structure, the absence of model information and velocity measurements, avoidance of violation of actuation limits, and robustness against external disturbances. Simulations have verified the effectiveness and improved performance of the proposed controller.

Conflicts of Interest

The author declares that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This research was funded by King Mongkut’s University of Technology North Bangkok (Contract no. KMUTNB-60-ART-51).

References

O. Egeland and J.-M. Godhavn, “Passivity-based adaptive attitude control of a rigid spacecraft,” IEEE Transactions on Automatic Control, vol. 39, no. 4, pp. 842–846, 1994.

F. Lizarralde and J. T. Wen, “Attitude control without angular velocity measurement: a passivity approach,” IEEE Transactions on Automatic Control, vol. 41, no. 3, pp. 468–472, 1996.

Y. Su and C. Zheng, “Simple nonlinear proportional-derivative control for global finite-time stabilization of spacecraft,” Journal of Guidance, Control, and Dynamics, vol. 38, no. 1, pp. 173–177, 2015.

S. M. Joshi, A. G. Kelkar, and J. T. Wen, “Robust attitude stabilization of spacecraft using nonlinear quaternion feedback,” IEEETransactions on Automatic Control, vol. 40, no. 10, pp. 1800–1803, 1995.

L. Zhao and Y. Jia, “Finite-time attitude stabilisation for a class of stochastic spacecraft systems,” IET Control Theory & Applications, vol. 9, no. 8, pp. 1320–1327, 2015.

M. Krstic and P. Tsiotras, “Inverse optimal stabilization of a rigid spacecraft,” IEEE Transactions on Automatic Control, vol. 44, no. 5, pp. 1042–1049, 1999.

C. Pukdeboon and A. S. Zinober, “Control Lyapunov function optimal sliding mode controllers for attitude tracking of spacecraft,” Journal of The Franklin Institute, vol. 349, no. 2, pp. 456–475, 2012.

W. Kang, “Nonlinear H∞ control and its application to rigid spacecraft,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 40, no. 7, pp. 1281–1285, 1995.

Q. Shen, D. Wang, S. Zhu, and E. K. Poh, “Integral-type sliding mode fault-tolerant control for attitude stabilization of spacecraft,” IEEE Transactions on Control Systems Technology, vol. 23, no. 3, pp. 1131–1138, 2015.

C. Pukdeboon and P. Siricharuanun, “Nonsingular terminal sliding mode based finite-time control for spacecraft attitude tracking,” International Journal of Control, Automation, and Systems, vol. 12, no. 3, pp. 530–540, 2014.

D. S. Bernstein and A. N. Michel, “A chronological bibliography on saturating actuators,” International Journal of Robust and Nonlinear Control, vol. 5, no. 5, pp. 375–380, 1995.

N. O. Pérez-Arancibia, T.-C. Tsao, and J. S. Gibson, “Saturation-induced instability and its avoidance in adaptive control of hard disk drives,” IEEE Transactions on Control Systems Technology, vol. 18, no. 2, pp. 368–382, 2010.

W. E. Dixon, “Adaptive regulation of amplitude limited robot manipulators with uncertain kinematics and dynamics,” IEEE Transactions on Automatic Control, vol. 52, no. 3, pp. 488–493, 2007.

R. J. Wallsgrove and M. R. Akella, “Globally stabilizing saturated attitude control in the presence of bounded unknown disturbances,” Journal of Guidance, Control, and Dynamics, vol. 28, no. 5, pp. 957–963, 2005.

I. Ali, G. Radice, and J. Kim, “Backstepping control design with actuator torque bound for spacecraft attitude maneuver,” Journal of Guidance, Control, and Dynamics, vol. 33, no. 1, pp. 254–259, 2010.

Y. Su and C. Zheng, “Unified saturated proportional derivative control framework for asymptotic stabilisation of spacecraft,” IET Control Theory & Applications, vol. 10, no. 7, pp. 772–779, 2016.

H. Jinchang and Z. Honghua, “A simple saturated control framework for spacecraft with bounded disturbances,” International Journal of Robust and Nonlinear Control, vol. 26, no. 3, pp. 367–384, 2016.

H. Gui, L. Jin, and S. Xu, “Simple finite-time attitude stabilization laws for rigid spacecraft with bounded inputs,” Aerospace Science and Technology, vol. 42, pp. 176–186, 2015.

A.-M. Zou, “Finite-time output feedback attitude tracking control for rigid spacecraft,” IEEE Transactions on Control Systems Technology, vol. 22, no. 1, pp. 338–345, 2014.

M. R. Akella, A. Valdivia, and G. R. Kotamraju, “Velocity-free attitude controllers subject to actuator magnitude and rate saturations,” Journal of Guidance, Control, and Dynamics, vol. 28, no. 4, pp. 659–666, 2005.

J. Hu and H. Zhang, “Bounded output feedback of rigid-body attitude via angular velocity observers,” Journal of Guidance, Control, and Dynamics, vol. 36, no. 4, pp. 1240–1247, 2013.

Y. Su and C. Zheng, “Velocity-free saturated PD controller for asymptotic stabilization of spacecraft,” Aerospace Science and Technology, vol. 39, pp. 6–12, 2014.

A. R. Teel, “Global stabilization and restricted tracking for multiple integrators with bounded controls,” Systems & Control Letters, vol. 18, no. 3, pp. 165–171, 1992.

J. J. E. Slotine and W. Li, Applied Nonlinear Control, Prentice-Hall, New Jersey, NJ, USA, 1991.

H. Liu, L. Guo, and Y. Zhang, “Composite attitude control for flexible spacecraft with simultaneous disturbance attenuation and rejection performance,” Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, vol. 226, no. 2, pp. 154–161, 2012.

J. Qiao and L. Guo, “Antidisturbance fault tolerant control of attitude control systems for microsatellite with unknown input delay,” Mathematical Problems in Engineering, vol. 2013, Article ID 804754, 9 pages, 2013.

Y. Su and C. Zheng, “A saturated PD plus scheme for asymptotic tracking of robot manipulators,” in Proceedings of the 2009 IEEE International Conference on Robotics and Biomimetics (ROBIO '09), pp. 853–858, Guilin, China, December 2009.