1. INTRODUCTION
Close-range proximity spacecraft flight is a promising technology for on-orbit servicing missions such as space assembly, maintenance, inspection and space debris capture and removal (Flores-Abad et al., Reference Flores-Abad, Ma, Pham and Ulrich2014; Yu et al., Reference Yu, Chen and Chen2015; Shan et al., Reference Shan, Guo and Gill2016). To facilitate this, solving the collision avoidance problem is essential. To this end, the Artificial Potential Function (APF) method is popular and has been widely developed (Bevilacqua et al., Reference Bevilacqua, Lehmann and Romano2011; Nag and Summerer, Reference Nag and Summerer2013; Palacios et al., Reference Palacios, Ceriotti and Radice2015; Spencer et al., Reference Spencer, Chait, Schulte and Okseniuk2016; Ni et al, Reference Ni, Huang and Chen2016; Huang et al., Reference Huang, Yan, Zhou and Yang2017a; Reference Huang, Yan and Zhou2017b; Cao et al., 2018). The APF method has several advantages, such as low computing cost and ease of analytical validation. However, the presented potential functions ignore the influence of quantities such as navigation and control uncertainties.
As uncertainties exist in the measurement data (Cao et al., Reference Cao, Qiao and Chen2018b), the collision probability is always computed to assess the collision risk. According to different scenarios with different relative velocities or different encounter durations, the collision probability computing methods have been divided into short-term encounters (Alfano., Reference Alfano.2006a; Bai et al., Reference Bai, Chen and Tang2013; Reference Bai, Ma, Chen and Tang2016; Serra et al., Reference Serra., Arzelier, Joldes, Lasserre, Rondepierre and Salvy2016) and long-term encounters (Patera., Reference Patera2003; Reference Patera2006; Alfano., Reference Alfano.2006b; McKinley, 2006). Researchers have developed many methodologies to decrease the computational burden of collision probability. In terms of non-Gaussian distribution, Demars et al. (Reference Demars, Cheng and Jah2014) and Vittaldev et al. (Reference Vittaldev, Russell and Linares2016) employed a Gaussian Mixture Model to compute the collision probability. With the collision probability, the optimal avoidance strategies can be determined. However, in some special scenarios, such as space debris capture, not only is the computational cost large, but also the value of collision probability exceeds the tolerance threshold (Sun et al., Reference Sun, Luo and Niu2014). Therefore, the application of the collision probability is limited in these scenarios.
To address this problem, Wang et al. (Reference Wang, Bai, Ran, Zhao, Zhang and Chen2017; Reference Wang, Bai, Xing, Gianmarco, Ni and Chen2018) proposed an Equal-Collision-Probability-Curve (ECPC) method for the spacecraft close-range safe proximity problem in the presence of navigation and control uncertainties. Firstly, considering those uncertainties, the ECPC around the chief spacecraft is established. Then, a novel auxiliary function is proposed to calculate the gradient direction of the traditional collision probability function. Along with the estimated gradient direction, a collision avoidance manoeuvre can be executed to guarantee the safety of the mission. The effectiveness of this novel avoidance scheme can be theoretically verified (Ge et al., 2002; Ni et al., Reference Ni, Huang and Chen2016). Furthermore, this method requires a low computational burden. In the ECPC method, the geometrical shapes of the two spacecraft are assumed to be spherical. The shapes of most spacecraft are not simple spheres but the geometrical shape has a great influence on the collision potential (Bai et al., Reference Bai, Ma, Chen and Tang2016). Hence, when only the ECPC method is adopted, the safety performance of the space mission deteriorates.
With the discussion above, a Multi-Equal-Collision-Probability-Curve (MECPC) method is proposed to assist in delivering convex polygon-shape spacecraft close-range safe proximity. First, the convex polygon shape chief spacecraft is divided into several small components and each small component has a minimum exterior envelope. Then, the problem of spacecraft close-range safe proximity in the presence of the convex shape can be decomposed into multiple problems of safe spherical spacecraft close-range proximity. With the divided smaller parts and its corresponding minimum exterior enveloping circle, the ECPC method is used to generate the corresponding avoidance manoeuvres. Finally, the superposition of avoidance manoeuvres with respect to the corresponding small components is taken as the ultimate avoidance manoeuvre. As the deputy spacecraft does not collide with every smaller component, it can be kept away from the chief spacecraft. Moreover, an Improved Linear Quadratic Regulator (ILQR) is designed to track the reference trajectory. Compared with the ECPC method, the MECPC can guarantee safe spacecraft proximity in presence of a chief spacecraft with a convex polygon shape.
This rest of this paper is organised as follows. A linear dynamics of spacecraft relative motion is provided Section 2, followed by a description of the ECPC method in Section 3. The MECPC method in the presence of a convex polygon shape spacecraft is developed in Section 4. In Section 5, using the MECPC method and the ILQR controller, a composite control law is designed and analysed. Numerical simulations are presented in Section 6, and Section 7 concludes the paper.
2. DYNAMICS OF SPACECRAFT RELATIVE MOTION
This section illustrates the spacecraft relative motion dynamics. The Local Vertical Local Horizontal (LVLH) coordinate (Cao et al., Reference Cao, Chen and Misra2014; Ou and Zhang, Reference Ou and Zhang2017a) is utilised to describe the spacecraft relative motion. The LVLH coordinate is centred at the centroid of the chief spacecraft, the x-axis points out radially from the centre of the Earth to the mass centre of the chief spacecraft, the y-axis is aligned in the direction of in-track motion and the z-axis completes the right-handed coordinate system. Furthermore, as the in-plane is decoupled from motion normal to the orbital plane, the six-dimensional system can be reduced into a second-order system for the motion normal to the nominal orbit plane and a fourth-order system for the in-plane motion. Then, only the coplanar problem is considered in this paper and hence the relative motion is given as:

where r1−t = [x t, y t]T and v1−t = [v x−t, v y−t]T represent the relative positions and relative velocities in LVLH coordinates, respectively. u1−t = [u x−t, u y−t]T represents the control acceleration, μ is the gravitational constant of the Earth, a represents the semi-major axis of the orbit of the chief spacecraft and n is the angular velocity, where $n= \sqrt{\mu/a^{3}}$.
Then, the forces along both planar directions are assumed to be independent and we obtain the state dynamics matrix A and B, which is shown as:

where ${\bi X} = [{\bi r}_{1-t}^{\rm T} \quad {\bi v}_{1 - t}^{\rm T}]^{\rm T}$ is the state vector:

Furthermore, as only the circular orbit of the chief spacecraft is considered in this paper, we obtain the analytical solution X (t) as:

where t 0 is the initial time and the transition matrix ${\bf \varPhi} (t_{0}, t)$ is given by:

where ${\bf \varPhi}_{rr} (t_{0}, t), {\bf \varPhi}_{rv} (t_{0}, t), {\bf \varPhi}_{vr} (t_{0}, t), {\bf \varPhi}_{vv} (t_{0}, t)$ are obtained as follows:

3. THE ECPC METHOD
Wang et al. (Reference Wang, Bai, Ran, Zhao, Zhang and Chen2017; Reference Wang, Bai, Xing, Gianmarco, Ni and Chen2018) developed an ECPC method for spacecraft close-range safe proximity in the presence of uncertainties. Similar to the concept of an isobaric curve, the ECPC represents a curve consisting of equal collision probability points around the chief spacecraft. This proposed safe close-range proximity scheme is attractive for two reasons. First, the ECPC method does not need to solve the transcendental function after the approximate treatment, so that the computational burden can be greatly decreased while maintaining the necessary accuracy. More importantly, the effectiveness of the proposed method can be theoretically verified.
Considering the navigation and the control uncertainties, the linear covariance method is utilised to propagate the uncertainties and we obtain the covariance matrix with respect to the state error, which is given as (Yang et al., Reference Yang, Luo, Zhang and Tang2016; Luo and Yang, Reference Luo and Yang2017):


where N is the number of control impulses, δ X is the error of the X, and E(X) and E (δ X) represent the mean values of X and δ X, respectively. ${\bi C}_{\delta x_{0}}$ and
${\bi C}_{\delta v_{i}}$ are the covariance matrices of the initial navigation and control uncertainties in LVLH coordinates, respectively and CδX is the uncertainty covariance matrix of the state vector.
Wang et al. (Reference Wang, Bai, Ran, Zhao, Zhang and Chen2017) developed an equal collision probability cure, which is a Gaussian form and can be described as follows:

where ${\bi C}_{\delta r_{1-t}} = \hbox{diag} ([\sigma_{x-t}^{2} \quad \sigma_{y-t}^{2}])$ is the uncertainty covariance matrix of the relative position. λ0 is a positive constant that shapes the repulsive potential magnitude, D 0 is the radius of the hazardous zone and
$v_{1-t}^{paral}$ is the value of relative parallel velocity, which is given as:

where ${\bi n}_{1-t}^{paral}$ is the unit vector pointing from the deputy spacecraft to the chief spacecraft and
${\bi n}_{1-t}^{paral} = -{\bi r}_{1-t}/\vert {\bi r}_{1-t}\vert$. If
${\bi v}_{1 - t}^{paral} \leq 0$, the deputy spacecraft is moving away from the chief spacecraft and we do not execute the avoidance manoeuvres. Otherwise, the deputy spacecraft is moving toward the chief spacecraft and the avoidance manoeuvres are implemented.
The hazardous zone is defined as the zone where a collision is likely to happen. Furthermore, the hazardous zone is a sphere around the chief spacecraft and has the following radius:

where d 0 is a positive constant and D s is defined as the braking distance taken to stop once the avoidance manoeuvres are implemented and is computed by:

where a max is the maximum control acceleration of the deputy spacecraft. The perpendicular relative velocity of the deputy spacecraft is obtained from:

where ${\bi v}_{1-t}^{perpen}$ is the value of the perpendicular relative velocity and
${\bi n}_{1-t}^{perpen}$ is the unit vector perpendicular to
${\bi n}_{1-t}^{paral}$, which is as follows:

According to Equation (9), we define the negative gradient of the repulsive potential with respect to the position terms as the avoidance manoeuvres (Ge and Cui, Reference Ge and Cui2002):

where:

With the help of Equations (9), (15) and (16), we obtain the collision avoidance manoeuvre as:

where


4. THE MECPC METHOD
As the collision probability varies with different shapes (Bai et al., Reference Bai, Ma, Chen and Tang2016), the shape has great influence on the traditional ECPC method. However, in the ECPC method, Wang et al. (Reference Wang, Bai, Ran, Zhao, Zhang and Chen2017; Reference Wang, Bai, Xing, Gianmarco, Ni and Chen2018) assumed that the geometrical shapes of the two spacecraft were spheres but most space objects are not actually spheres. Therefore, if the spacecraft shape is assumed as a sphere in some scenarios, the safety performance of the mission deteriorates, as a collision will normally lead to mission failure. To address this problem, the MECPC method is proposed to guarantee convex polygon shape spacecraft safe proximity with other spacecraft.
Assuming that the shape of the chief spacecraft is a convex polygon, such as a square, the chief spacecraft's geometrical shape can be divided into one maximum inside envelope circle part and several arbitrary parts. Moreover, each arbitrary shape part has its corresponding minimum exterior envelope circle. Once the deputy spacecraft flies around the chief spacecraft, the function modules, which are the maximum inside the envelope circle part with respect to the main circle and the minimum exterior envelope circle part with respect to the arbitrary shape parts, jointly generate avoidance manoeuvres on the deputy spacecraft with the basic ECPC method. Figure 1 shows the defined divisions of the convex polygon shape chief spacecraft. As shown in Figure 1, the vertical coordinates system is divided into parts I II, III and IV. The convex polygon shape of the chief spacecraft is also separated into five parts, and part 5 is the maximum inside envelope circle. When the deputy spacecraft flies around the chief spacecraft, the function module is selected by:

Figure 1. The defined divisions of the convex polygon shape chief spacecraft.

Then, if the expected encounter position ${\bi r}_{ep} = \left[\matrix{x_{ep} & y_{ep}} \right]^{\rm T}$, which is located in the outside envelope surface, the following two conditions are analysed:

Figure 2 illustrates the force analysis of the deputy spacecraft in Section I. From Figure 2, part 5 and the minimum exterior envelope circle of part 1 generates forces F50-repel and F10-repel, respectively. Moreover, the O 1x 1y 1 coordinate system is established, which has its x 1 axis radiating from the origin in the LVLH coordinates toward the centre of the minimum exterior envelope circle located at the centre. Rotating the x 1 axis counter-clock-wise along the Oz axis for 90°, we obtain the y 1 axis.

Figure 2. The force analysis of the deputy spacecraft in Section I.
As shown in Figure 2, any points r1−t in the LVLH coordinates are transformed to a relative position in the O 1x 1y 1 coordinates, which is given as:

where:

Assuming the attitude of the chief spacecraft is fixed, the relative velocity is transformed from the LVLH coordinates to the O 1x 1y 1 coordinates:

From Equation (21), the covariance matrices ${\bi C}_{\delta r_{1-t}}$ are defined in LVLH coordinates and are transformed to the O 1x 1y 1 coordinates:

The transformation from the O 1x 1y 1 frame to the O 1x 1dy 1d frame in which ${\bi C}_{\delta r_{10-t}}$ is diagonalized is given by
${\bi G}_{1-t} {\bi W}_{1}^{-1}$:

where G1−t is an orthogonal transformation.
According to Equations (21), (23) and (25), the relative position and relative velocity in the O 1x 1dy 1d coordinates are given as:

where r10−td = [x 10−td, y 10−td]T and v10−td = [v x10−td, v y10−td]T represent the relative position and the relative velocity in the O 1x 1dy 1d coordinates, respectively.
From Equations (9)–(26), when the deputy spacecraft flies in Section I, the collision avoidance manoeuvres generated by Part 1 in the LVLH coordinates are given as:

where D 010 is radius of the hazardous zone around Part 1 in the O 1x 1dy 1d coordinates. r 10−td is the value of relative position in the O 1x 1dy 1d coordinates, v 10−tdparal and v 10−tdperpen are the value of relative parallel velocity and relative perpendicular velocity in the O 1x 1dy 1d coordinates and n10−tdparal and n10−tdperpen represent the unit vector opposite and perpendicular to r1−td, respectively.



With the aid of Equations (9), (10), (14) and Equations (21)–(22), we obtain:

where:

According to Equations (9)–(32), we obtain:

Based on Equation (33), we have

From Equations (33) and (34), we obtain:


According to the above deduction, the collision avoidance manoeuvres generated by Part 2, Part 3 and Part 4 with respect to Section II, Section III and Section IV are given as:

where F i0−repel (i = 2, 3, 4) represents the collision avoidance manoeuvres generated by Part 2, Part 3 and Part 4. ri0 = [x i0 y i0]T, (i = 2, 3, 4) represents the different relative position of the minimum exterior circle's centre with respect to the corresponding part. ri0−td = [x i0−td, y i0−td]T and vi0−td = [v xi0−td, v yi0−td]T(i = 2, 3, 4) represent the relative position and the relative velocity in the corresponding coordinates, respectively. D 0i0, (i=2, 3, 4) represents the radius of the corresponding hazardous zones, ri0−td, (i = 2, 3, 4) are values of relative positions in the corresponding coordinates and v i0−tdparal, (i = 2,3,4) and v i0−tdperpen, (i = 2, 3, 4) are the values of relative parallel velocity and relative perpendicular velocity in the corresponding coordinates.





From Equations (9)–(19), the collision avoidance manoeuvres generated by part 5 are given as follows:

where F 50-repel represents the collision avoidance manoeuvres generated by part 5. r50-td = [x 50-td, y 50-td]T and v50-td = [v x50-td, v y50-td]T represent the relative position and the relative velocity in the O 1x 1dy 1d coordinates, respectively. D 050 is the radius of the corresponding hazardous zone, r 50-td is the value of the relative positions and v 50-tdparal and v 50-tdperpen are the values of the relative parallel velocity and relative perpendicular velocity in the O 1x 1dy 1d coordinates.




Thus, the total collision avoidance manoeuvres generated are given as:

Figure 3 illustrates the force analysis of the deputy spacecraft in Section I. As we can see from Figure 3, part 5 generates force F50-repel. By the encounter point rep, part 1 is divided into two parts, and each part has its own minimum exterior envelope circle. Subsequently, the O 1-i x 1-i y 1-i (i=1, 2) coordinates are established, which have their x 1-i axis pointing out from the origin in the LVLH coordinates toward the centre of the minimum exterior envelope circle located at the centre. The y 1-i axis of the O 1-ix 1-i y 1-i (i=1, 2) frame has the same direction as the x 1-i axis and is rotated 90° counter-clock-wise along the Oz axis.

Figure 3. The force analysis of the deputy spacecraft in Section I and the condition h 1=1.
In this section, the following condition is divided into the following four parts:

If the condition h 1 =1 is satisfied, Figure 3 illustrates the force analysis of the deputy spacecraft in Section I. From Figure 3, the minimum exterior envelope circle of part 1-1 and part 1-2 generate the repulsive force F11-repel and F12-repel, respectively. Furthermore, both the O 1-1x 1-1y 1-1 coordinates and the O 1-2x 1-2y 1-2 coordinates are established as the O 1x 1y 1 coordinates depicted in Figure 2.
From Equations (9)–(36), the collision avoidance manoeuvres generated with respect to the corresponding part are given as:

where Fij−repel (i = 1, 2, 3, 4, j = 1, 2) represent the collision avoidance manoeuvres generated by the corresponding part. rij = [x ij y ij]T, (i = 1, 2, 3, 4, j = 1, 2) represent the different relative position of the minimum exterior circle's centre with respect to the corresponding part. rij−td = [x ij−td, y ij−td]T, vij−td = [v xij−td, v yij−td]T(i = 1, 2, 3, 4, j = 1, 2) represent the relative position and the relative velocity in the corresponding coordinates, respectively. D 0ij, (i = 1, 2, 3, 4, j = 1, 2) are the radii of the corresponding hazardous regions, r ij−td, (i = 1, 2, 3, 4, j = 1, 2) are values of relative positions in the corresponding coordinates and v ij-tdparal, (i = 1, 2, 3, 4, j = 1,2) and v ij-tdperpen, (i = 1, 2, 3, 4, j = 1,2) are the values of relative parallel velocity and relative perpendicular velocity in the corresponding coordinates.





Thus, the total collision avoidance manoeuvres are obtained as:

5. THE EFFECTIVE COLLISION AVOIDANCE CONTROL LAW AND THE DEFINITION OF THE COMPOSITE CONTROL LAW
If $x_{1-t}^{2}/ \sigma_{x-t}^{2} + y_{1-t}^{2}/ \sigma_{1-t}^{2} \lt D_{0}$, the relative parallel velocity
$v_{1-t}^{paral} \gt 0$ at any time t and
$\forall \vert {\bi r}_{1-t} \vert \neq\, 0$ are satisfied and the repulsive force is activated. In this section, we analyse the effectiveness of the avoidance scheme and design the composite law.
5.1. Analysis of the effective collision avoidance control law
According to Equations (9)–(56), the following conditions are satisfied:
1) M 1ijd > M 2ijd > 0 (i = 1, 2, 3, 4, j = 0, 1, 2), M 150d > M 250d > 0.
2) λ 0 > 0, D 0ijd > R 0 > 0 (i = 1, 2, 3, 4, j = 0, 1, 2), D 050d > R 0 > 0.
3) d 0 > 0, a max > 0, rij-td > 0 (i = 1, 2, 3, 4, j = 0, 1, 2), r 50-td > 0.
4) v ij-tdparal>0, v ij-tdparal>0 (i = 1,2,3,4, j = 0,1,2), v 50-tdparal>0, v 50-tdparal>0.
As the parallel repulsive force is much larger than the perpendicular repulsive force (Ge and Cui, Reference Ge and Cui2002), we get


Subsequently, from Equations (48) and (56), we obtain the total collision avoidance manoeuvres as follows:

where:


Therefore, based on Equations (57) and (58), the parallel force FTotal−paral is along the negative direction of ${\bi n}_{1-t}^{paral}$ and prevents the deputy spacecraft from moving closer to the chief spacecraft. The perpendicular component FTotal−operpen of the force FTotal−repel steers the deputy spacecraft around the chief spacecraft.
As the parallel repulsive force is much larger than the perpendicular repulsive force (Ge and Cui, Reference Ge and Cui2002), therefore, the main analysis of the repulsive force is with respect to the parallel repulsive force. Moreover, as the force FTotal-repel contains the force F50-paral in every condition, F50-paral can be taken as an example to show the analysis progress in proving the effectiveness of the MECPC method. Subsequently, the parallel repulsive force generated by part 5 is differentiated with respect to the relative distance as:

Similar to Equation (62), the auxiliary function I with respect to h (r 50-td) is defined as:

With the help of Equation (63), the defined auxiliary function is a second-order equation with respect to r 50-td and its quadratic coefficient is negative. Therefore, the maximum value of Equation (63) can be obtained as:

Equation (63) has two zero points and its symmetry axis is zero. Moreover, we have r 50-td > 0. Then, x 2>0 is assumed to be one zero point with respect to h(r 50-td), which is given as:

As a result, if r 50-td > x 2, h (r 50-td) < 0, if 0 < r 50-td < x 2, h (r 50-td) > 0.
From Equation (9), x 3 is assumed to be the maximum value of r 50-td, which is defined as:

According to Equations (62)–(66), if x 2 < r 50-td < x 3, ∂F50-paral/∂r 50-td < 0. Moreover, F50-paral is a decreasing function; if 0 < r 50-td < x 2, ∂F50-paral/∂r 50-td < 0. F50-paral is an increasing function. Then, the critical point ζ50 is the minimum relative distance between the deputy spacecraft and the centre of part 5 of the chief spacecraft and thus we obtain the critical point. When the deputy spacecraft reaches the critical point ζ50, its parallel relative velocity decreases to zero.
According to the above analysis, the critical points ζ ij (i = 1, 2, 3, 4, j = 0, 1, 2) and ζ50 with respect to those parts can be obtained. Figure 4 shows the interval of speed range in the collision avoidance manoeuvre in two conditions. Using the available parameters’ values {λ 0, d 0}, the deputy spacecraft will not collide with the chief spacecraft when the following condition is satisfied:

Figure 4. The interval of speed range in collision avoidance manoeuvre in two conditions.

where R ij (i = 1, 2, 3, 4, j = 0, 1, 2) are the radii of the small components’ exterior envelope circle. R 50 is the radius of part 5’s exterior envelope circle.
5.2. The composite control law
Considering a system as Equation (2), the LQR controller is utilised to find an optimal control law. Furthermore, the cost function (Lin, Reference Lin2007; Xing et al., Reference Xing, Yu, Wang, Zheng and Chen2016) is given as:

where Q ≥ 0 and 1 ≥ R ≥ 0 are semi-positive definite symmetric matrices. According to the principle of minimum values as per Equation (68), we obtain the optimal control law as follows:

where K1 = −R−1BTS1 is the optimal feedback gain matrix and S1 is a matrix which satisfies the Riccati equation:

According to Equations (2) and (68), we can obtain u* (t) by solving the Riccati algebraic equation. Then, the ILQR controller is proposed to track the reference trajectory and introduced below.
Based on Equation (59), we obtain:

where b 11, b 12 are the auxiliary parameters.
With the help of Equations (9)–(14), Equation (71) is computed by:

where:

From Equation (73), we get:

where:

Furthermore, the upper matrix K4 on the ${\bi K}_{2}^{\rm T} (t) {\bi K}_{2} (t)$ is defined as:

where:

Considering a system as Equation (2), the ILQR controller aims to find an optimal control law which minimises the following cost function (Xing et al., Reference Xing, Yu, Wang, Zheng and Chen2016):

where m is the mass of the deputy spacecraft. With the help of the principle of minimum values as per Equation (78), we get the optimal control as:

where K5 = −R−1BTS2 is the optimal feedback gain matrix and S2 is a matrix which satisfies the Riccati equation:

Based on Equations (2) and (78), the design of ${\bi u}_{1}^{\ast}$ can be obtained by solving the Riccati algebraic equation. Then, the auxiliary function II (Lin, Reference Lin2007) is given as:

As the V1 (X) is the minimum cost of the optimal control of the nominal system from some initial state X, V1 (X) is defined as a Lyapunov function of Equation (2). By definition, V1 (X) must satisfy the Hamilton-Jacobi-Bellman equation (Lin, Reference Lin2007):

where V1−X = (∂V/∂X). Since ${\bi u}_{1}^{\ast} = {\bi K}_{5} {\bi X}$ is the optimal control, it must satisfy: (1) the above minimum zero; and (2) the derivative of
${\bi X}^{\rm T} ({\bi K}_{4}/m^{2} +{\bi Q}) {\bi X} + {\bi u}^{\rm T} {\bi Ru} + {\bi V}_{1-X}^{\rm T} ({\bi AX} + {\bi Bu})$ with respect to u is zero.


So, the composite controller is given as:

Based on the Lyapunov-based method, the stability of the overall close-system with the composite controller is verified (Lin, Reference Lin2007).
5.3. The flow of the MECPC method algorithm
With the aid of Equations (2)–(85), we obtain Algorithm 1 to describe the MECPC method. The control error of the deputy spacecraft is assumed to be an uncorrelated zero-mean Gaussian distribution (Psiaki, Reference Psiaki2011; Peynot et al., Reference Peynot, Lui, McAllister, Fitch and Sukkarieh2014). Furthermore, the covariance matrix of the control uncertainty is given as follows (Luo et al., Reference Luo, Liang, Wang and Tang2011):

Algorithm 1. The MECPC method.

6. SIMULATION RESULTS AND ANALYSIS
To verify the effectiveness of the proposed method, a numerical simulation was carried out. Using the relative dynamic motion Equation (2), the relative motion of the deputy spacecraft was designed and propagated (Xing et al., Reference Xing, Tang, Xi and Li2007; Ou and Zhang, Reference Ou and Zhang2017b). Table 1 gives the physical parameters of the chief spacecraft and the deputy spacecraft. Table 2 lists the initial relative state vector of the deputy spacecraft in the LVLH frame. Figure 5 shows the reference relative motion of the deputy spacecraft. There are three blue asterisks, which are asterisks 1, 2, and 3. The deputy spacecraft begins at asterisk 1 with the initial relative velocity v0 and flies around the chief spacecraft along the grey trajectory without any transfer impulse. Then, the deputy spacecraft arrives at asterisk 3 and the transfer impulse is implemented on the deputy spacecraft to reach asterisk 2. According to the pulse rendezvous for orbital transformation, we compute the control impulse as Table 3 shows. Table 3 lists the initial impulse control. The purple curves are the reference relative trajectories and the yellow curve is the boundary of the chief spacecraft's size. Moreover, the working area is defined as the area where the deputy spacecraft will execute further operations, such as space inspection and maintenance. A circle is centred on the planned terminal position asterisk 2 and has a certain radius. The working area is the overlap part between the circle and outside the yellow curve.

Figure 5. The reference relative motion of the deputy spacecraft.
Table 1. The physical parameters of the deputy spacecraft and chief spacecraft.

Table 2. The initial relative state vector of the deputy spacecraft in the LVLH frame.

Table 3. The initial impulse control in the LVLH frame.

The final condition is t f=3, 400 s and the radius of the working area is 10 m. Both the frequency of the delta velocity manoeuvres and the integration step are 1 s. The semi-major axis and the eccentricity of the orbit of the chief spacecraft are 6,778.1336 km and 0, respectively, λ 0 =30 and d 0 =3. The distribution with respect to the navigation uncertainty is assumed as an uncorrelated zero-mean Gaussian (Psiaki, Reference Psiaki2011; Peynot et al., Reference Peynot, Lui, McAllister, Fitch and Sukkarieh2014). Moreover, the covariance matrix is given as follows (Luo et al., Reference Luo, Liang, Wang and Tang2011):

In this simulation, Q = diag [10−14, 10−14, 0, 0];R = diag [10−8, 10−8] and the gravitational constant of Earth is 3 · 986 × 1014m 3/2.
6.1. Case with ECPC method with λ0=30
In this section, we utilise the traditional ECPC method to avoid collision. Figures 6(a) and 6(b) show the actual trajectory of the deputy spacecraft over 100 Monte Carlo runs with a LQR controller and ILQR controller, respectively. The yellow curve is the boundary of the chief spacecraft's size and the purple curve is the reference relative trajectory of the deputy spacecraft. The red curve is the boundary of the working area. Meanwhile, the green region is the actual trajectory of the deputy spacecraft over 100 Monte Carlo runs. According to Figure 6, when only the ECPC method is executed on the deputy spacecraft, the deputy spacecraft does collide with the chief spacecraft in the presence of a convex polygon shape.

Figure 6. The trajectory of the deputy spacecraft over 100 Monte Carlo runs.
Figure 7 illustrates the values of collision probability over 100 Monte Carlo runs. The blue part is the value of collision probability and the light green part is the ratio of safe missions. From Figure 7, a collision between the deputy spacecraft and the chief spacecraft will occur. Furthermore, the collision probabilities with respect to the LQR controller and the ILQR controller are 31% and 33%. Thus, from Figures 6 and 7, we can conclude that the ECPC method does not solve the safe proximity problem in the presence of a convex polygon shape.

Figure 7. The values of collision probability over 100 Monte Carlo runs.
For comparison, 100 independent Monte Caro runs were executed under the same conditions, and the Root Mean Square Error (RMSE) in position was calculated as a performance metric. The RMSE is given as (Chen et al., Reference Chen, Yin, Zhou, Wang, Wang and Chen2018):

where Num represents the total number of iterations. z 1 and z 2 represent two different series of data. In this paper, the two different series are the actual trajectory and the reference trajectory in the x and y directions.
Figure 8 depicts a comparison of RMSE behaviours in the x and y directions. Based on the ECPC method with the LQR controller, the brown curve and the pink curve represent the RMSE value in the x and y directions, respectively. Combining the ECPC method and the ILQR controller, we can obtain the blue curve and the green curve. The blue curve and the green curve are the RMSE values with respect to the x direction and y directions. From Figure 10, the RMSE values with the LQR controller are larger than those with the ILQR controller. Compared with the LQR controller, the ILQR controller obtains higher control accuracy in the influence of uncertainties. In other words, the robustness of the system is strengthened.

Figure 8. Comparison with respect to the RMSE in two directions.
Figure 9 illustrates the associated velocity increment consumptions over 100 Monte Carlo runs. The green curve and the blue curve are the velocity increment consumptions of the deputy spacecraft with the ILQR controller and the LQR controller, respectively. The green curve fluctuates between 90 m/s and 95 m/s while the blue curve is around 89 m/s. From Figure 9, the deputy spacecraft with a ILQR controller requires more fuel. The reason is that K4/m 2 + Q in the ILQR controller is larger than Q in the LQR controller while the R in the two methods have equal values.

Figure 9. The velocity increment consumptions over 100 Monte Carlo runs.
Figure 10 depicts the collision probability and the successful rate of arrival at the working area with different values of λ0 over 100 Monte Carlo runs. The blue curve is the collision probability and the green curve represents the success rate. From Figure 10, if we adopt the ECPC method with different values of λ0, collisions do also take place and the safe proximity problem in the presence of the convex polygon shape is not solved.

Figure 10. The collision probability and the successful rate with different values of λ0 over 100 Monte Carlo runs.
6.2. Case with MECPC method with λ0=30
To solve the safe proximity problem in the presence of a convex polygon shape, the MECPC method is proposed to generate the avoidance manoeuvres. Figure 11 shows the actual trajectory of the deputy spacecraft over 100 Monte Carlo runs. The yellow curve and the purple curve represent the boundary of the chief spacecraft's size and the reference relative trajectory of the deputy spacecraft. The red curve is the boundary of the working area and the green zone is the actual trajectory of the deputy spacecraft over 100 Monte Carlo runs. From Figure 11, as the avoidance manoeuvres generated by the MECPC method are implemented, the deputy spacecraft successfully avoids collision with the chief spacecraft.

Figure 11. The actual trajectory of deputy spacecraft over 100 Monte Carlo runs.
Figure 12 shows the comparison of RMSE behaviours in the x and y directions. According to the MECPC method with the LQR controller, we get the brown curve and the pink curve. The brown curve and the pink curve represent the RMSE values with respect to the x and y directions. The blue curve and the green curve are the RMSE values in the x and y directions, respectively. From Figure 12, the RMSE values with the ILQR controller are lower than the values with the LQR controller. Therefore, the ILQR controller obtains higher control accuracy.

Figure 12. Comparison with respect to RMSE in two directions.
Figure 13 illustrates the associated velocity increment consumptions over 100 Monte Carlo runs. The blue curve and the green curve represent the velocity increment consumptions of the deputy spacecraft with the LQR controller and the ILQR controller, respectively. The green curve is about 94 m/s and the blue curve fluctuates around 90 m/s. Comparing the two curves in Figure 13, the deputy spacecraft with the ILQR controller requires more fuel.

Figure 13. The velocity increment consumptions over 100 Monte Carlo runs.
7. CONCLUSIONS
A MECPC method was developed for the spacecraft close-range safe proximity manoeuvre problem for a chief spacecraft with a convex polygon shape. Compared with the ECPC method, the proposed MECPC method retains advantages such as enhanced robustness against control and navigation uncertainties and has easy theoretical verification of its ability to avoid collision. The MECPC method solves the close-range safe proximity problem considering the influence of the convex polygon shape. Also, an ILQR controller was designed to track the expected trajectory. Finally, numerical simulations are presented to show the effectiveness of the novel MECPC method.
ACKNOWLEDGEMENTS
The work was supported by the Major Program of National Nature Science Foundation of China under Grant Numbers 61690210 and 61690213, the National Science Foundation of China (Grant no. 61503414 and 11404405), and the Scientific Research Project of National University of Defense Technology (Grant no. ZK16-03-20).