1. Introduction
With the rapid development of aerospace technology, there has been an increasing demand for low-Earth-orbit micro-satellites to observe multiple targets during short arc segments continuously. The satellite is expected to quickly complete a large-angle agile attitude maneuver control for multi-target observation within a limited time frame. Such an agile attitude maneuver control for micro-satellites is typically achieved through large torque actuators like control moment gyroscopes (CMGs). On the other hand, research to improve the velocity of attitude maneuvering from a control algorithmic perspective is essential.
In the realm of controlling uncertain systems, the variable-structure sliding mode control has been the focus of research due to its high robustness and low dependence on model parameters. Therefore, it has found extensive application and development in controlling non-linear systems, such as robots [
1], chaos systems [
2], aerospace [
3,
4,
5], and motors [
6,
7]. However, traditional sliding mode control faces serious issues of buffeting. In practical satellite attitude systems, buffeting not only causes energy waste, but also easily stimulates the flexible part of the satellite to oscillate, reducing the accuracy and stability of attitude control, and even leading to the failure of attitude control tasks. This has posed several difficulties for the application of sliding mode control. Therefore, how to mitigate or even eliminate buffeting has always been a focal point.
In order to suppress or eliminate buffeting, scholars have proposed methods such as boundary layer methods [
8], terminal sliding mode control [
9,
10,
11], high-order sliding mode control [
12,
13], and control methods based on reaching laws [
14,
15,
16,
17,
18]. The boundary layer method employs saturation or continuous functions to replace the sign function, allowing the system to stay around the sliding mode plane. While this reduces buffeting, it also compromises control accuracy. High-order sliding mode control effectively eliminates buffeting, but obtaining the first derivative of the sliding variable is challenging. Terminal sliding mode control and reaching-law-based methods have similar mathematical structures, where the former focuses on the system’s motion on the sliding mode plane, and the latter concentrates on the system’s motion during the convergence phase. Current reaching laws are grouped into four types: constant-velocity reaching laws, exponential reaching laws, power-reaching laws, and general reaching laws. These have laid the foundation for the design of future reaching laws. Constant-velocity and exponential reaching laws encounter buffeting issues when the system reaches the sliding mode plane. Power reaching laws theoretically eliminate buffeting but have a slower convergence rate when distant from the sliding mode plane. In [
19], the authors suggested fast power reaching laws, which combine exponential and power reaching laws to compensate for these defects. Moreover, in ref. [
20], dual power reaching laws were introduced, further accelerating the approaching rate when far from the sliding mode plane. Additionally, ref. [
21] developed a multi-power-reaching law that divides the approach phase into four stages, each featuring a high approaching rate. In [
22], the authors designed a dual power composite function reaching law based on the final function, using the properties of the final function to speed up the approaching rate further.
This paper proposes a sliding mode variable-structure control method for satellite attitude maneuver based on piecewise power-law convergence law, aiming at the problem of multi-target-observation attitude maneuver control in the short arc segment of low-orbit satellites. This reaching law uses 1 as the dividing point to separate the convergence process into two phases. Utilizing the properties of power functions, the system has a substantial convergence rate in both phases, and the reaching law becomes zero at the equilibrium point. On the one hand, this accelerates the convergence rate, and theoretically, the proposed piecewise power reaching law exhibits two favorable properties in terms of convergence time. On the other hand, the designed reaching law maintains continuity at all stages, theoretically eliminating any buffeting. The reaching law also introduces two new linear terms, improving the algorithm’s applicability under rapid attitude maneuver conditions. The effectiveness of the proposed algorithm is verified through simulation experiments.
The remainder of this paper is organized as follows: the attitude control system model is described in
Section 2, the CMG model and the design of the control law are given in
Section 3, the time-optimal path planning is introduced in
Section 4, the sliding mode variable-structure controller based on the piecewise power reaching law is derived in
Section 5, the simulation experiments and analysis are presented in
Section 6, and the conclusions are drawn in
Section 7.
2. Attitude Control System Model
2.1. Reference Coordinate System
Satellite body coordinate system : The origin of the satellite body coordinate system is located on the center of mass of the satellite, and the three axes are consistent with the main axis of inertia of the satellite, firmly connected to the satellite.
Inertial coordinate system : The origin is located at the center of the earth, the axis is in the equatorial plane, and the axis points towards the infinite point on the intersection line between the equatorial plane and the ecliptic plane, which is also known as the direction of the vernal equinox. The direction of the axis is consistent with the Earth’s rotation axis; the , , and axes form a right-handed orthogonal coordinate system.
2.2. Attitude Kinematics
A satellite’s attitude is generally determined by the orientation of its body coordinate system relative to the inertial coordinate system. There are various ways to describe this, with this paper relying on quaternions to describe micro-satellite attitudes. Meanwhile, the satellite attitude kinematics equations do not suffer from singularity issues regarding attitude quaternions. Moreover, the computational process involves only matrix multiplication operations and does not require complex trigonometric calculations. Therefore, this paper employs a satellite attitude kinematics model based on attitude quaternions to model the kinematic characteristics of the satellite.
The attitude quaternions are denoted by
, and the following equation provides the satellite attitude kinematics model:
where
represents the cross-product skew-symmetric matrix of
, and
is the angular velocity of the satellite.
When the target desired quaternion
and the initial quaternion
are given, the error quaternion
between the two is calculated using the following equation:
2.3. Attitude Dynamics
This paper focuses on micro-satellites. Generally, the solar panels of a micro-satellite are closely attached to its outer shell so that the micro-satellite can be treated as a rigid body. Hence, the satellite’s center of mass is chosen as the reference point. According to the angular momentum theorem, the time derivative of the angular momentum of the rigid satellite concerning its center of mass equals the external torque acting on the center of mass, i.e., . Here, represents the components of the angular momentum of the satellite concerning its center of mass in the inertial coordinate system, and is the external torque acting on the satellite’s center of mass.
The angular momentum is typically calculated in the satellite’s body coordinate system. Therefore, in the satellite’s body coordinate system, and based on the time derivatives of vectors in different coordinate systems, the dynamics can be expressed as follows:
where
are the components of the angular velocity vector of the satellite’s body coordinate system relative to the inertial coordinate system in the body coordinate system.
represents the components of the angular momentum of the satellite about its center of mass in the body coordinate system, and
is the total moment of inertia of the satellite.
Assuming that
remains constant during the satellite’s rotation, then:
Considering that the micro-satellite body carries CMGs, let their total angular momentum be
, and the installation matrix be
. Equation (3) then becomes:
where
represents the control torque output by the CMGs.
The angular velocity error is denoted as
, where
is the transformation matrix from the inertial coordinate system to the body coordinate system, and
is the desired angular velocity [
23]. Substituting into Equation (5) yields the dynamics equation based on angular velocity error as follows:
3. CMG Model and Control Law Design
Low-Earth-orbit micro-satellites must continuously observe multiple targets within short orbital arc segments. Therefore, the satellite must have a high maneuvering speed, which requires an actuation system capable of providing high-precision control torques. Hence, we chose the Single Gimbal Control Moment Gyro (SGCMG) as the satellite’s actuation mechanism.
SGCMG comprises a low-speed gimbal and a high-speed rotor. The rotation axis of the low-speed gimbal is always perpendicular to that of the high-speed rotor. By imparting an angular velocity to the low-speed gimbal through the high-speed rotor’s center of mass, the external gimbal’s rotation can alter the internal rotor’s angular momentum vector relative to the satellite. This produces an orthogonal output torque to both the rotor and gimbal axes. The relationship between the low-speed gimbal’s angular velocity, the high-speed rotor’s moment of inertia, and the output torque is described below.
where
represents the SGCMG’s output torque,
denotes the low-speed gimbal’s angular velocity,
is the angle through which the low-speed gimbal has rotated,
is the high-speed rotor’s moment of inertia, and
are the three axes of the SGCMG’s body coordinate system, coinciding with the gimbal axis, rotor axis, and the direction of the output torque, respectively.
When using CMG for attitude control, it is required that the designed control law has good maneuverability to drive the CMG group system to generate the desired torque. However, due to the presence of singular states, the design of the control law is more complex. In this study, low-orbit microsatellites continuously observe multiple targets within a short arc of passage, mainly maneuvering in the rolling axis direction. Therefore, satellites only need to have agile maneuverability in the rolling axis direction. The use of a full CMG configuration is not economically appropriate, which requires the design of a new control torque gyroscope configuration to achieve a maximum single-axis torque output, while the other two axes can be stably controlled through other actuators. The “scissors” configuration CMG is symmetrically installed through an even number of control moment gyroscopes, and the desired single-axis attitude maneuver control torque is reasonably coordinated between the CMGs. At the same time, the control law is used to keep the low-speed frame angle of the symmetrical CMG as synchronized as possible, avoiding disturbance torque in other directions. Therefore, in this study, we select two symmetrically installed scissor-configuration CMGs as the actuators, as illustrated in
Figure 1.
The torques generated by CMG1 along the
x-axis and
y-axis are as follows:
The torques generated by CMG2 along the
x-axis and
y-axis are as follows:
When both CMG frames have equal angles and angular velocities, the control torques in the
y-axis direction have an equal magnitude but in opposite directions, canceling each other. This will only generate a net torque along the
x-axis, with a magnitude of:
Therefore, the control law for a single set of scissors-configured CMG1 is:
To ensure that the low-speed gimbal angles of the paired CMGs remain synchronized, a Proportional-Integral (PI) control is introduced, guaranteeing that the nominal gimbal angular velocity allocation operates under desired conditions. The low-speed gimbal angle of CMG2 follows that of CMG1:
4. Time-Optimal Path Planning
Planning large-angle maneuvers for the satellite mainly involves two aspects, i.e., selecting the path for the satellite’s maneuvers to find the shortest distance for the satellite to travel along and planning the satellite’s angular velocity to minimize the time required for the maneuver.
Due to the maximum output torque of the satellite in the rolling axis direction and the fact that this direction is the main attitude maneuver direction during target observation, in order to achieve a large-angle rapid maneuver, the angular velocity in this direction should be able to quickly reach its maximum. Therefore, the trapezoidal path planning method is chosen, which requires that the angular velocity of the satellite maneuver should meet the following two conditions:
- (1)
The satellite should perform rotational maneuvers around the Euler axis, i.e., the angular velocity direction should align with the Euler axis.
- (2)
The satellite’s initial and final angular velocities should be zero. The change in the satellite’s angular velocity should go through three stages: uniform acceleration, uniform velocity, and uniform deceleration, as depicted in
Figure 2. The size of the control torque limits the magnitudes of acceleration during the uniform acceleration and uniform deceleration stages. During the uniform velocity phase, the magnitude of the angular velocity is constrained by the maximum allowable rotational velocity, denoted as
.
Using Equation (2), the error quaternion is calculated based on the initial and desired quaternions:
where
represents the error quaternion, signifying the difference between the initial and desired attitudes;
denotes the initial quaternion; and
is the desired quaternion.
Utilizing the relationship between the quaternion and Euler axis/angle, the Euler axis direction and the Euler angle magnitude are calculated, where , , .
The satellite always moves in one direction, and the area of the trapezoid in
Figure 2 represents the Euler angle
of the satellite’s rotation.
where
and
are the angular accelerations during the acceleration and deceleration phases, respectively. To minimize the time to the greatest extent possible, both are set to the maximum angular acceleration the satellite can provide. Therefore, they are equal in magnitude. To reduce the angular velocity to zero, the conditions are as follows:
,
. Thus,
, and consequently,
,
.
The expression for the change in Euler angles over time is:
When the maneuver angle of the satellite is not large, the angular velocity path does not include a uniform velocity phase. The angular velocity changes are illustrated in
Figure 3. To bring the angular velocity to zero, the conditions are as follows:
. Therefore
, and, consequently,
.
The change in Euler angles over time is expressed as follows:
In scenarios with no uniform velocity phase, the maximum angle for the maneuver occurs at
when the angular velocity is
. At this point,
. Therefore, if
, the angular velocity path includes a uniform velocity phase. If
, the angular velocity path does not include a uniform velocity phase. Based on the Euler angles at each moment in time, the corresponding error quaternion is calculated as follows:
Therefore, the path of the satellite’s attitude quaternion is as follows:
5. Sliding Mode Variable-Structure Controller Based on Piecewise Power Reaching Law
5.1. Variable Structure Sliding Mode Control
For the attitude tracking model mentioned above, the traditional sliding surface is as follows:
where
is a positive constant.
To ensure
, let:
Combining the kinematic and dynamic equations for satellite attitude tracking, the control torque for the satellite is given as:
where
.
5.2. Design of Piecewise Power Reaching Law
This paper proposes a new piecewise power reaching law to accelerate the convergence rate further. This law sets 1 as the boundary point and divides the approach into two phases: and . Utilizing the properties of power functions, the system has a high convergence rate in both phases, and the convergence rate at the equilibrium point () is zero.
The structure of the piecewise power reaching law is as follows:
where
and
,
,
, and p, q, m, n are all odd numbers.
Like general power laws, the designed reaching law is continuous at any stage and does not exhibit chattering theoretically. To allow for a flexible design of and , two linear terms are added (otherwise, to ensure the continuity of the reaching law , which restricts parameter selection).
From the expression of the approaching law, it can be seen that the motion process of the system is divided into two stages, far away from the sliding surface and near the sliding surface. When moving away from the sliding surface, i.e., , the approach law is dominated by the first term, and when approaching the sliding surface, i.e., , the approach law is dominated by the second term. From the properties of power functions, it can be inferred that the designed convergence law has a significant convergence rate at any stage. The design of a piecewise function has several advantages:
- (1)
The system has a faster convergence rate at each stage.
- (2)
The law governing and can be designed separately, so their parameters do not affect each other.
- (3)
Two parameters, and , are added, making parameter adjustment more flexible.
Theoretically, it can be proven that the proposed piecewise power reaching law has the following two properties in terms of convergence time.
Property 1. Let the initial value of be . A system using the piecewise power reaching law will reach the sliding surface in finite time, given by:where Proof. If , the reaching process is divided into two phases: moves from to 1 and then from 1 to 0.
When
:
Equation (26) is a Bernoulli differential equation, with a solution given by:
where
. Since p and q are both odd, p − q is even, and
.
Let
, then the following expression is obtained:
Following a similar solution process, where
, and let
; then, the following expression is obtained:
Therefore, the time required to reach the sliding surface is .
If , then the approaching process consists of only one phase, where moves from to 0.
Similarly, the following is derived:
□.
Property 2. The convergence time has a maximum value independent of . Specifically, systems using the piecewise power reaching law (22) will reach the sliding surface within a fixed time.
Proof. If , the convergence time is , where is already independent of . Hence, we only need to prove that has a maximum value that is independent of .
According to the inequality
,
In summary, the convergence time has a maximum value independent of . □
By replacing the traditional constant-velocity reaching law with the aforementioned piecewise power reaching law, we obtain the structure of the controller as follows:
5.3. The Influence of Parameters on the Convergence Rate
From the expression of the convergence rate, increasing , , , , and and decreasing will both increase the convergence rate. However, the excessive pursuit of an increase in convergence rate will increase the control torque, which is not conducive to the stable control of the spacecraft. Due to the independent design of and , appropriate adjustments can be made based on the control effect. The following focuses on analyzing the impact of the four variables with constraint relationships, , , and on the convergence rate.
When
, increase
and
by
, respectively, and the convergence rates become the following:
Due to and , . Increasing is more conducive to increasing the convergence rate.
When
, increase
and
by
, respectively, and the convergence rates become the following:
Due to and , . Increasing is more conducive to increasing the convergence rate.
In summary, in order to increase the convergence rate, priority should be given to increasing and , while and are used to ensure constraints.
6. Simulation Experiments and Analysis
Numerical simulations were conducted for the designed controller to verify the effectiveness of the control methods described above. Due to the need for the three-axis stable control of satellites, a large torque output is required in the rolling axis direction. Therefore, a scissor-configuration CMG is installed in the rolling axis direction, and flywheels are installed on the other two axes, as shown in
Figure 4. The performance parameters of CMG and the flywheel are shown in
Table 1 and
Table 2.
The rotational inertia of the microsatellite is as follows:
The satellite is allowed a maximum rotational speed of and a maximum angular acceleration of . Controller parameters are selected as , , , , , , and .
The microsatellite undergoes three sequential large-angle maneuvers. Specifically, it starts with an initial attitude of (0, 0, 0) rad and an angular velocity of (0, 0, 0) rad/s. In the first maneuver, it moves to a desired attitude of (
,
,
) rad and holds this position for 5 s. Following this, in the second maneuver, it shifts to another desired attitude (
,
,
) rad, holding again for 5 s. In the third and final maneuver, it transitions to the desired attitude (
,
,
) rad with a desired angular velocity of (0, 0, 0) rad/s. Without external disturbances, the spacecraft’s desired and actual attitudes are illustrated in
Figure 5,
Figure 6,
Figure 7 and
Figure 8.
Figure 5,
Figure 6,
Figure 7 and
Figure 8 highlight that the spacecraft’s attitude almost aligns with its desired attitude. A minor fluctuation occurs when the angular velocity changes cease, resulting from a sudden change in the satellite’s state. The controller cannot immediately track this change and requires a brief period to converge. However, as inferred from
Figure 8, this convergence time is quite short. Such transient behaviors do not significantly impact the satellite’s control performance and fall within acceptable limits. This suggests that the designed controller can effectively manage the spacecraft during large-angle maneuvering observation tasks.
Simulations were conducted to compare the performance of the proposed controller with the conventional power reaching law, which is defined as follows:
Figure 9,
Figure 10,
Figure 11 and
Figure 12 depict the Euler angle control precision and angular velocity control precision during large-angle attitude maneuvers using two distinct reaching laws.
Figure 13 and
Figure 14 present the control torque comparisons for these reaching laws.
Figure 9 and
Figure 10 reveal that throughout the spacecraft’s observation task, there is an amplification in Euler angle and angular velocity errors during the satellite’s acceleration or deceleration phases, primarily due to controller delays. The attitude control algorithm based on the conventional power reaching law converges around 5 s, with the Euler angle error reaching up to 0.1°. In contrast, based on the segmented power reaching law, the developed attitude control algorithm can converge within 2 s, with a maximum error of 0.03°. Compared to the conventional power reaching law, there is a reduction in convergence time by approximately 3 s and a 70% improvement in control accuracy. This underscores the rapid convergence and high-precision advantages of the controller designed in this paper.
Figure 11 and
Figure 12 highlight that the angular velocity control precision of both reaching law-based attitude control algorithms is comparable and around 0.15°/s. However, due to the longer convergence time of the conventional power reaching law’s attitude control algorithm, the impact from its angular velocity control error is relatively significant, which is the primary cause for the increased Euler angle error.
Figure 13 and
Figure 14 indicate that the torque of both reaching law-based attitude control algorithms is approximately 1 Nm. Both are within the output torque range of the actuating mechanism and meet the design requirements.
7. Conclusions
This study considered the requirements of agile attitude maneuvers for multi-target observations using microsatellites. It developed a novel segmented power reaching law, and an attitude maneuver scheme was designed, effectively addressing the attitude maneuver control problem for multi-target observations by low-Earth-orbit microsatellites during short arc segments. The following conclusions were drawn from the research:
The proposed piecewise power-law convergence law can converge to the sliding mode surface in finite time, and there exists a maximum value independent of the initial state at that time.
Increasing , , , and will increase the convergence rate of the system, but and have a greater impact on the convergence rate.
Compared to conventional power-law attitude control algorithms, attitude control algorithms based on the segmented power-law approach have a faster convergence time and higher control accuracy. Under the simulation conditions in this study, the convergence time was reduced by about 3 s, and the control accuracy was improved by about 70%.