Volume 2025, Issue 1 8765666
Research Article
Open Access

Predetermined Performance Control of Spacecraft Formation Based on SE(3) Error Description

Lijun Li

Corresponding Author

Lijun Li

School of Automation , Southeast University , Nanjing , China , seu.edu.bd

Search for more papers by this author
Yuanda Wang

Yuanda Wang

School of Automation , Southeast University , Nanjing , China , seu.edu.bd

Search for more papers by this author
Qin Yang

Qin Yang

School of Mechanical Engineering , Hubei University of Technology , Wuhan , China , hbut.edu.cn

Search for more papers by this author
Erhan Wang

Erhan Wang

School of Mechanical Engineering , Hubei University of Technology , Wuhan , China , hbut.edu.cn

Search for more papers by this author
First published: 31 January 2025
Academic Editor: Guillermo Valencia-Palomo

Abstract

For the obstacle avoidance and formation maintenance issues of spacecraft formation, a control method with prescribed performance is proposed. Firstly, an error description system based on SE (3) is established. Secondly, to simplify the control system, collision avoidance, formation control of leading spacecraft, and containment control of following spacecraft are combined. Finally, the control errors are kept within the prescribed performance function range using prescribed performance control. Simulation results of spacecraft formation completing complex tasks under external disturbances validate the effectiveness of the proposed control scheme.

1. Introduction

With the development of modern science and space technology, people’s demand for space exploration has also increased. Spacecraft formation is an essential tool for space missions and plays an essential role in spacecraft rendezvous and docking, asteroid companion flight, in-orbit satellite maintenance, and space debris management [13]. However, as space missions become increasingly complex and diverse, the technical requirements for spacecraft formations are becoming more demanding. The attitude and orbit control of spacecraft and collision avoidance within spacecraft formations have received significant attention as the core technology for the formation to complete the mission in orbit.

Modeling spacecraft is the basis of controller design. Spacecraft attitude trajectory integration modeling methods, which consider the coupling of spacecraft attitude motion and positional motion, effectively improve the accuracy and response speed of spacecraft control and have received widespread attention. Most current modeling methods that consider spacecraft attitude trajectory integration are based on dual quaternions [4, 5]. The six-degree-of-freedom (6DOF) motion of the next spacecraft is simulated in [4] using dyadic quaternions, accounting the coupling between spacecraft position and attitude. An artificial potential function based on dyadic quaternions is proposed in [5] to address the problem of integrated position and attitude control during autonomous spacecraft rendezvous and docking.

However, these methods have the disadvantages of ambiguity and rewinding, which, in practice, reduce the response time of the spacecraft and lead to higher energy consumption. SE (3), as a new modeling method that avoids the issues of ambiguity, singularity, and receding winding that arise in the description of rigid body attitudes, is also widely used in the field of attitude orbit integration control and modeling of spacecraft [68]. A robust adaptive controller based on SE (3) with integrated extended state observer (ESO) is proposed in [6], which addresses the tracking maneuvers of coupled spacecraft under model uncertainty and external disturbances. In [7], an adaptive terminal sliding mode controller with SE (3) modeling is proposed to improve the spacecraft docking accuracy. In [8], the relative error dynamics equations for attitude and orbit between two spacecraft under SE (3) modeling are developed for the parameter uncertainty of the spacecraft model. In addition to the above error description systems, which are mostly based on the exponential coordinates of SE (3), there is also an error description system based on the bit-shaped error function obtained on SE (3). In [9], a new construction error function based on SE (3) is designed, and a controller based on this function developed to ensure that the rigid body remains stable with a bounded construction error for a fixed period. Based on SE (3), a more diverse error description system can be obtained, which allows greater flexibility in the design of spacecraft formation controllers.

When spacecraft formations are on space missions, one of the most important tasks is to avoid collisions between spacecraft. However, none of the previously mentioned literature addresses collision avoidance. However, there are some studies that focus on this issue [1012]. In [10], a decentralized collision avoidance vehicle formation flight tracking control scheme using virtual leading state trajectories is proposed based on SE (3). Lee et al. [11] investigated the finite-time stabilization problem of dispersed collision avoidance in spacecraft formation flight, combining dispersed collision avoidance with finite-time control to achieve convergence of spacecraft motion to the desired state trajectory in finite time while achieving collision avoidance. In the process of solving collision avoidance, the above method does not consider the simultaneous constraints of formation, collision avoidance, and containment and thus cannot address other difficulties encountered during the formation process, which poses challenges in practical applications.

There has been some research on the optimization of control schemes. In [13], a unified control scheme is designed to achieve both formation control and suppression control, and an adaptive robust constraint is proposed to address collision avoidance constraints, formation constraints, and suppression constraints for the satellite. Compared with designing two independent control schemes, this unified approach is more concise and more feasible to solve practical problems. In order to simplify the control scheme and increase its feasibility for solving practical problems, this paper establishes a unified control scheme that transforms the three desired objectives—formation containment, leader, and follower—into a set of servo constraints.

In addition, to achieve collision avoidance and formation maintenance, this paper uses prescribed performance controls to constrain the following errors to a consistent and ultimately bounded level. The spacecraft studied in this paper is highly nonlinear and has a model that has uncertainties and dynamic coupling. In any dynamic system, the presence of uncertainty impacts the performance of the system. Therefore, a control method which is significantly robust to modeling uncertainties and external disturbances is required. Much research has been conducted on control methods modeled using SE (3). In [14], in order to solve the problem of spacecraft orbit maneuvering coupling under uncertain parameters and external interference, an adaptive fixed-time sliding mode control law is proposed. In [15], for the virtual structure control problem of multiagent systems, a formation adaptive super-twisting sliding mode controller is proposed. In [16], an integrated guidance and feedback control scheme was designed. However, the tracking of predetermined steady-state and transient indices is lacking in the literature cited above. These specifications, which are crucial for spacecraft, ensure safety and time constraints.

In [17], an improved prescribed performance control scheme is proposed to achieve prescribed performance trajectory tracking for three-degree-of-freedom UAVs. To this end, this paper applies an improved prescribed performance control protocol to assist in the completion of multiple tasks in spacecraft formation. The control design does not rely on the accuracy of the system model. One of the key features makes it possible to track time-varying trajectories with a degree of accuracy that can be prespecified for both the transient and steady-state responses of the system.

The contributions of this paper are as follows.
  • 1.

    The formation configuration error modeling of formation configuration error is performed on the Riemannian manifold SE (3) that is applied, which avoids the singularity and the unwinding phenomenon.

  • 2.

    Collision avoidance, formation control of leading spacecraft, and containment control of following spacecraft are combined into a new simplified control method. Furthermore, the consistency constraint of formation–containment error is addressed using a prescribed performance function.

  • 3.

    A prescribed performance controller for spacecraft is proposed to handle model uncertainties and ensure that the performance of the spacecraft formation is within the prescribed limits when completing multiple missions.

2. Problem Statement

2.1. Spacecraft Dynamic Model

In this section, a configuration error description system based on SE (3) is applied. For the integrated attitude–orbit motion of the spacecraft, its configuration space SE (3) is a six-dimensional nonlinear manifold embedded in a 16-dimensional Euclidean space. The generalized velocity and driving force of the integrated attitude–orbit motion lie in the tangent and cotangent spaces of SE (3). The configuration of the 6-DOF spacecraft, including attitude and position, can be uniquely described by SE (3) uniquely. According to Reference [9], the kinematic and dynamic equations can be described as follows:
()
where
is the generalized velocity. Ω3 is the angular velocity. V3 is the linear velocity of the spacecraft. The operation on is
()
In Formula (1), the projection is the dual projection of adξ, which can be described as
()
where is described as
m+ is the mass of the spacecraft and J3×3 is the rotational inertia. Therefore, the inertial parameter Π6×6 is
()
Furthermore, fV3 is the resultant external torque in the body-fixed frame, and fΩ3 is the resultant external force.
is the generalized force in the spacecraft system, which can be described as
()
where
is a generalized controller input, which is composed by the input torque τ3 and the input force F3. dΩ3 is the disturbance torque. dV3 is the disturbance force. The generalized external disturbance can be described as
is the generalized potential force. Mg3 and Fg3 are the known moment and force caused by the potential forces, respectively.
According to Formulae (1), (2), (3), and (5), the spacecraft kinematic and dynamic equations can be described as
()

Remark 1. SO(3) is the modeling space for spacecraft attitude, and the elements are represented as R ∈ SO(3). 3 is the modeling space of spacecraft position, and the elements are represented as p3. The set of elements on SO(3) can be characterized as SO(3) = {R3×3|RTR = I, det[R] = 1.

Remark 2. The map [∙] : 3⟶so(3) represents the skew–symmetric matrix operation. The corresponding Lie algebras of Lie group SE (3) are se(3) = so(3) × 3. The map [∙] : 6⟶se(3) is a bijection map, where se(3) is a Lie algebra of a special Euclidean group and so(3) is a Lie algebra of the three-dimensional special orthogonal group.

2.2. Error Design on SE (3)

SE (3) is a nonlinear space with 16 elements and 10 constraints, but the input in this paper contains only 6 elements. This makes the controller based on SE (3) redundant. Therefore, according to [9, 18], the configuration error function is applied to address this problem.

The error function is  φg = SE(3) × SE(3)⟶, where  gd and  ξd are desired configurations and g and ξ are generalized velocities. The attitude error function is ; the position error function on is defined as the actual attitude and desired attitude of the spacecraft; (p, pd) is defined as the actual position and desired position. It can be rewritten as
()
Hence, the configuration error vector  eg = SE(3) × SE(3)⟶6 and the generalized velocity error vector  eξ : SE(3) × 6 × SE(3) × 6 can be expressed as
()
where eR is the attitude error vector and ep is the position error vector. Angular velocity error and translational velocity error are represented by eΩ and eV.
Taking the derivative of Formula (8) yields
()
where.

2.3. Formation–Containment Design

In this paper, the spacecraft formation system consists of N spacecraft, which include K leader spacecraft and NK follower spacecraft. N = {1, 2, ⋯, N} is the total sequence number set of spacecrafts; L≔{1, 2, ⋯, K} and H≔{K + 1, K + 2, ⋯, N} are the leader and follower spacecrafts, respectively.

In this paper, collision avoidance constraints, formation constraints, and containment constraints are used to obtain that the leader spacecrafts form the desired formation. Meanwhile, the follower spacecraft must enter the formation space defined by the leader spacecraft.

Based on Reference [13], the first leader spacecraft performs trajectory tracking, and the remaining spacecraft form a formation relative to the position of the first leader spacecraft. Consequently, there are variations in the formation constraints and collision avoidance constraints. Formation constraints are redefined, and the permutations and combinations of collision avoidance constraints are adjusted. Some results can be obtained as follows.

A collision avoidance error function eih is set i(i = ∈{1, 2, ⋯, N}) between spacecraft h(h = ∈{1, 2, ⋯, N}) hi and spacecraft. A formation error function ejk is set for the formation between the leader spacecraft j(j = ∈{1, 2, ⋯, N}) and the leader spacecraft k(k = ∈{1, 2, ⋯, L}), kj. The containment error functions es are set for follower spacecraft s(s = ∈{1, 2, ⋯, H}); the specific expressions for these functions are shown below:
()
where the space measure between two spacecraft i and h is given by ; Q is the maximum distance of the spacecraft from the center of mass. is the desired relative position. is a containment restriction when sH, jL, and μj ≥ 0 satisfy .
The three constraints are set as
()
where ljk and ls are positive constant scalars.

Definition 1. It can be obtained from Reference [13], for any initial states pj(t0) and ps(t0), there exists a time Tj < ∞ such that

()

Moreover, ςjk > 0 and ςjk > 0 are the arbitrarily small positive constants and there exist tTj, kL, jk, sH.

If Sih(t0) > 0, the spacecraft can avoid collisions with each other. If Sih(t) > 0, hN, ih, the spacecraft will avoid collisions.

Make

()

Then, the formation constraint is described as

()
where j ∈ {2, 3, ⋯, N}; the above formation constraint shows a general form.

Collision–avoidance constraint is described as

where

The containment constraint is described as where .

In order to simplify the control design, a unified statement of the constraints on each spacecraft is required i, i ≠ 1. Make

()
()
()

Then, the constraint on each spacecraft i, i ≠ 1 can be described as

()

The constraint-following error is defined as

()

2.4. Prescribed Performance Control

In this section, the main design process of prescribed performance control (PPC) is introduced. Based on [17], in order to make the error e(t) converge to a prescribed set of arbitrarily small residuals, the convergence rate is greater than the given value. This set of residuals is denoted by e(t) in a prescribed region whose boundary depends on a function of time. This region is defined as
()
where the bounded and smooth time function ρ(t) satisfies . The exponentially decaying performance function is described as follows:
()
where ρ0, ρ, and λ are parameters greater than 0.

It is necessary to choose the constant ρ0, which requires the condition ρ0 > |e(0)| to be satisfied and dictates the rate of decrease of ρ(t). In addition, λ is designed to ensure that the convergence rate of e(t) has a lower bound. Furthermore, the parameter represents the steady-state maximum allowable error value. Therefore, choosing a suitable performance function ρ(t) can make the tracking error e(t) have certain steady-state or transient performance characteristics.

The PPC can adjust e(t) to encapsulate the performance function ρ(t) according to the corresponding performance characteristics. The bijective, odd, and strictly increasing mapping T : (−1, 1)⟶(−∞, ∞) is used, which is defined as follows:
()
where the modulated error
Moreover, the derivative of T(ξ) is strictly positive and is expressed as
()

Due to the properties of the transformation described above, it can be shown that ensuring the boundedness of ε(t) is sufficient to achieve prescribed performance.

3. Control Design

In this section, the design process of the controller is introduced, as shown in Figure 1.

Details are in the caption following the image
The flowchart of the control scheme.

3.1. Overall Attitude Controller Design

According to the error design in (8), the sliding surface is defined as
()
where m is a constant.
The prescribed performance function is selected as
()
where ρq0, ρq1,  andλ1 are parameters greater than 0.
The normalized sliding-mode error is defined as
()
The integral of Formula (26) is
()
where is selected constant. The corresponding transformed error is defined as
()
where T : (−1, 1)⟶(−∞, ∞) is selected according to Formula (22).
To guarantee Formula (24) is bounded, the overall attitude control law is designed as follows:
()
where ; ζq is defined as ζq = εq + (k2/k1)ξq, k1 and k2 are constants, and k1 ≠ 0.

Theorem 1. Aiming at the SE (3) model mentioned in Section 2, if the overall attitude control law is used, the sliding surface in Formula (24) exists and it ensures that the angle and angular velocity of the system always remain within a small neighborhood of the sliding surface; specifically, for any t⩾0, there always exists |sq| ⩽ |ρq|. Meanwhile, the system error er and eω can converge in finite time with the prescribed performance.

Proof 1. Design the Lyapunov candidate function as

()

Taking the derivative of both sides of (30) yields

()

According to Formulae (22) and (28), Formula (31) can be rewritten as

()

Substituting (29) into (32) yields

()
where .

Furthermore, by using the mean value theorem for the term tanh(εq), there exist , where . Then, , which means

()

Based on Formulae (33) and (34), we can get

()

Moreover, by using can be transformed into

()
where κq is a positive constant such that . By denoting can be finally transformed into
()

Then, based on Reference [17], the existence of positive and finite constants and can be proved, and for all implies from (32) that

()

Therefore, there always exists |sq| ⩽ |ρq| for any t⩾0.

3.2. Position Controller Design of the First Leader Spacecraft

According to the error design in (8), the sliding surface of the first leader spacecraft is defined as
()

where n is a constant.

Select the prescribed performance function as
()
where ρl0, ρl, and λ are parameters greater than 0.
The normalized sliding-mode error is defined as follows:
()
The integral of Formula (41) is
()
where is selected constant. The corresponding transformed error is defined as
()
where T : (−1, 1)⟶(−∞, ∞) is selected by referencing Formula (22).
To guarantee Formula (39) is bounded, the position control law of the first leader spacecraft is designed as follows:
()
where , ζl is defined as ξl = εl + (k4/k3)ξl, and k3 and k4 are constant.

Theorem 2. Aiming at the SE (3) model mentioned in Section 2, if the overall attitude control law is used, the sliding surface in Formula (39) exists and it can ensure the input and the position of the system always slides near a small region of the sliding surface; namely, for any t⩾0, there always exists |sl| ⩽ |ρl|. Meanwhile, the signal of the closed-loop system can be ensured to be bounded. The system error ep and eV can converge in finite time with the prescribed performance.

Proof 2. Design the Lyapunov candidate function as

()
Taking the e derivative of both sides of (45) yields
()

According to Formulae (22) and (39), Formula (46) can be rewritten as

()

Substituting (44) into (47) yields

()
where.

Furthermore, according to the mean value theorem for the term  sinh(εq), there exist , which implies

()

According to Formulae (48) and (49), we can get

()

Furthermore, by using can become

()
where κl is positive constant such that . By denoting can finally become
()

Then, by invoking [17], the existence of positive and finite constants can be obtained, , such that and for all t ∈ [0, τmax). Hence, (47) can be rewritten as

()

Therefore, there always exists |sl| ⩽ |ρl| for any t⩾0.

3.3. Formation Controller Design

The normalized sliding-mode error of the spacecrafts i (except the first leader spacecraft) is defined as
()
where is the prescribed performance function. ρi0, ρi1, and λi are parameters greater than 0.
The integral of Formula (54) is
()
where is selected constant. The corresponding transformed error is defined as
()
where T : (−1, 1)⟶(−∞, ∞) is selected by Formula (22).
To guarantee Formula (54) is bounded, the formation–containment control law is designed as follows:
()

Theorem 3. Aiming at the SE (3) model mentioned in Section 2, if the formation–containment control law is applied, the constraint-following error in Formula (54) exists and it can ensure the system state always slides near a small area of the sliding surface; namely, for any t⩾0, there will always |ηi| ⩽ |ρi|. Meanwhile, the signal of the closed-loop system can be ensured to be bounded. The formation of the spacecraft will satisfy the conditions for collision avoidance, formation maintenance, and containment constraints.

Proof 3. Design the Lyapunov candidate function as

()

It can be calculated from (58) that

()

According to Formulae (22) and (54), Formula (59) can be rewritten as

()

Substituting (57) into (60) yields

()
where .

Furthermore, by using the mean value theorem for the term  sinh(εq), there exist , where , such that which implies

()

According to Formulae (61) and (62), we can get

()

Furthermore, by using can become

()
where kl is positive constant and ; by denoting can finally become
()

Then, based on Reference [17], the existence of positive and finite constants can be obtained, , such that and for all t ∈ [0, τmax). Hence, it can be rewritten as

()

Therefore, there always exists |ηi| ⩽ |ρi| for any t⩾0.

4. Simulation

4.1. Formation Design

This section considers a spacecraft formation flying system with three Leader Spacecrafts 1, 2, 3 and three Follower Spacecrafts 4, 5, 6. The equation of motion of spacecraft i in the SE (3) is described as (6).

The mass dΩ and dV are chosen as

The first leader spacecraft tracks the desired trajectory; other leader spacecrafts are expected to form a formation structure of an equilateral triangle based on the position of the first spacecraft, while the follower spacecrafts are expected to fly inside the equilateral triangle. Moreover, Figure 2 shows the formation structure. In this diagram, ϖ2 and ϖ3 represent the expected relative positions between Spacecrafts 1 and 2 and 1 and 3, respectively.

Details are in the caption following the image
The formation of spacecraft diagram.
According to the constraint-following error , constraint-following error can be represented as
()
In the formula,
()

4.2. Parameter Setting

In this section, the parameters of the spacecraft are shown.

The parameters of the spacecrafts are set as Table 1.

Table 1. Control parameters.
Parameter Value
m 0.9
n 0.3
k1 6
k2 4
ω21 [1000 − 10]T
k3 8
k4 1
k5(2, 3, 4, 5, 6) 8
k6(2, 3, 4, 5, 6) 1
ω31 [0100 − 10]T

The selected exponentially decaying functions are set as ρq(t) = (5 − 0.1)et + 0.1, ρl(t) = (50 − 1)et + 1, ρ2,3(t) = (25 − 1)et + 1, ρ4,5(t) = (120 − 1)et + 1, and ρ6(t) = (100 − 1)et + 1.

The initial attitude and the angular velocity of the spacecraft are set as [0.18π − 0.24π0.4π]T and [2.5 − 1.5 − 2]T, respectively. The expected attitude and angular velocity are set as [000]T. The expected position and velocity of the first leader spacecraft are set as pd = [8t8t5t + 25sin(t/5)]T and  vd = [885 + 5cos(t/5)]T. The initial value of the spacecrafts is set in Table 2 as [000]T.

Table 2. Initial value of spacecrafts.
Conditions Position (m) Velocity (m/s)
Leader 1 [005]T [000]T
Leader 2 [110 − 105]T [000]T
Leader 3 [01105]T [000]T
Follower 4 [80800]T [000]T
Follower 5 [50 − 40 − 5]T [000]T
Follower 6 [−4050 − 5]T [000]T

4.3. Simulation Results

In this section, the simulation results are analyzed in detail. Figure 3 shows the trajectories of the spacecrafts. Figures 4 and 5 illustrate the sliding surface, attitude error, and angular velocity error of the spacecrafts using our method (a) and sliding mode control (SMC) method (b). Figure 6 displays the spatial measurements between any two spacecrafts. Figure 7 presents the errors of the leader spacecrafts. Figure 8 shows the containment error of the follower spacecrafts. Figure 9 shows the constraint-following error under the PPC of spacecraft i.

Details are in the caption following the image
Formation trajectories of the spacecrafts.
Details are in the caption following the image
(a, b) Sliding surface sq, attitude error function φR, attitude error eR, and angular velocity error eΩ diagram.
Details are in the caption following the image
(a, b) Sliding surface sq, attitude error function φR, attitude error eR, and angular velocity error eΩ diagram.
Details are in the caption following the image
(a, b) Sliding surface sl, attitude error function φp, position error ep, and velocity error eV diagram.
Details are in the caption following the image
(a, b) Sliding surface sl, attitude error function φp, position error ep, and velocity error eV diagram.
Details are in the caption following the image
Space measure between spacecrafts i and j.
Details are in the caption following the image
The formation position errors of the leader spacecrafts.
Details are in the caption following the image
The formation control errors of the leader spacecrafts.
Details are in the caption following the image
The containment errors of the follower spacecrafts.

In Figure 3, for a limited time, Leader Spacecrafts 1–3 form the desired triangular formation, and Follower Spacecrafts 4–6 enter the triangular region constructed by the three leader spacecrafts, verifying the leader formation and follower containment performance. Additionally, this figure illustrates that none of the spacecraft trajectories intersect at any time, indicating high effectiveness in collision avoidance.

It can be seen in Figures 4 and 5 the clear trend that the errors in overall attitude, angular velocity, position, and velocity of the first leader spacecraft are converged to around 0 as the variation of the exponentially decaying functions. Compared to the SMC method, our controller can make the error reduction faster and larger, demonstrating higher control accuracy and greater stability.

As shown in Figure 6, the spatial measurements Sih and ΔSih(i, h ∈ {1, 2, 3, 4, 5, 6}, i ≠ 1) are always positive. As demonstrated, the method achieves the expected collision avoidance performance.

Figure 7 shows that the formation errors e21 and e31 converge to around 0 before t = 5 s and remain stable with ς21 ≈ 0.2, ς31 ≈ 0.37. Therefore, the result in this diagram demonstrates that our method can achieve the desired performance of formation.

From Figure 8, we can see that the containment errors e4, e5, and e6 converge to around 0 before t = 5 s and keep stable with ς4 ≈ 0.81, ς5 ≈ 0.49, ς6 ≈ 0.59. Therefore, the paper demonstrates the expected performance of containment. In the simulation, with uncertainties in dΩ and dV, both the dynamics model of spacecraft and the constraints are nonlinear. Therefore, the results shown in Figure 8 indicate that our controller can solve the formation–containment, collision avoidance, uncertainty, and nonlinearity problems.

Looking at Figure 9, it is apparent that all constraint-following errors remain within the range of the prescribed performance function. These errors converge to around zero before t = 4 s. From this result, indicates that our control scheme can achieve containment, formation, and collision avoidance effectively, and its performance function can be applied to the transient and steady-state responses of the system to achieve high-precision control.

5. Conclusions

The present study was designed to determine the effect of spacecraft formation multimission execution problem modeled on the nonlinear manifold SE (3) with prescribed performance. First, for spacecraft attitude trajectory integration, the error vector of each spacecraft is set using the configuration error function on SE (3). Formation containment control is then employed to design formation errors for multiple spacecraft, enabling them to perform formation, collision avoidance, and containment tasks simultaneously. Finally, the prescribed performance control is applied to ensure that the formation error is continuously limited and the convergence rate is higher than expected. The simulation results illustrate the effectiveness of the proposed control scheme for multitask completion and high-precision control. The results indicate that the control scheme not only avoids singularity and the unwinding phenomenon but also ensures that the performance of the spacecraft formation is within the prescribed limits while completing multiple missions.

Ethics Statement

The authors have nothing to report.

Conflicts of Interest

The authors declare no conflicts of interest.

Funding

This research received no external funding.

Data Availability Statement

Data will be made available on request.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.