This invention relates to the field of spacecraft vehicle control and, more specifically, to a method and system for CMG array singularity avoidance.
In order to control the attitude of a spacecraft, various rotating inertia members are used. One such inertia member is a control moment gyroscope (CMG). A CMG typically comprises a flywheel with a fixed or variable spin rate mounted to a gimbal assembly. The spin axis of the CMG can be tilted by moving the CMG using the gimbal assembly. This motion produces a gyroscopic torque orthogonal to the spin axis and gimbal axis.
To achieve full attitude control of a spacecraft, a minimum of three CMGs, arranged such that each CMG in the CMG array imparts torque about a linearly independent axis, is typically used. The CMGs are moved about their. gimbal axis in response to a command for torque from the spacecraft attitude-control system. Expressed mathematically, a Jacobian A maps the CMG gimbal rates into a three dimensional array torque:
Aω=τ
where A is a 3×n Jacobian matrix, ω is a n×1 array of gimbal rates for the n gimbals, and τ is a 3×1 array of torque components to be imparted to the spacecraft. From the above equation and with a known torque command, τ, the individual gimbal rates for each CMG can be calculated. Using the known Moore-Penrose pseudoinverse to invert the Jacobian matrix, a set of possible gimbal rates is:
ω=AT(AAT)−1τ
Inherent in the use of CMGs is the possibility that the CMGs' momentum vectors may line up in such a way that one or more components of the requested torque cannot be provided. Mathematically this situation occurs when the eigenvalues of AAT approach zero, causing (AAT)−1 to go to infinity. Or, equivalently, singularities occur when the determinant of the matrix AAT is equal to zero (expressed algebraically as det (AAT)=0). In the case of a 3×n matrix A, this is equivalent to saying the rank of the matrix AAT is two or less.
Different approaches have been devised to avoid singularities in the movement of CMGs. In one approach, to ensure that (AAT)−1 never is 0, (AAT)−1 is replaced by (AAT+εI)−1 where I is the identity matrix and ε is a small number. The use of a positive ε ensures that det(AAT+εI)−1 never becomes 0.
While useful in some instances, a drawback to this approach is that this approach changes the gimbal rate calculation. An analogous problem is the scalar expression
As a→0,
which is well-behaved but not equal to
In the case of the Jacobian A, the pseudoinverse no longer exactly maps gimbal rates into the commanded torques because of the error ε introduces. This resulting error steers the spacecraft in the wrong direction and can introduce significant, undesired torque, especially near the singularity.
A further drawback of the (AAT+εI)−1 approach is that it does very little until the CMGs are already very near the singularity, where gimbal-rate capability (and therefore CMG array torque capability) can be undesirably low. Instead, what is needed is a method and system for singularity avoidance that keeps the CMG array well conditioned by steering toward optimal gimbal angles rather than allowing CMG array performance to degrade until, at the last instant, the CMG array dodges the singularity with undesired torques.
In one embodiment of the present invention, a method for avoiding singularities in the movement of CMGs in an array of CMGs in a spacecraft is provided. In a first step, a torque command representing a desired torque to produce an attitude adjustment for the spacecraft is received. Next, a range-space gimbal rate required to produce the desired torque based on a Jacobian matrix is calculated. Then, a null-space gimbal rate that assists in the avoidance of singularities is calculated. The total gimbal rate command is determined by summing the range-space gimbal rate and the null-space gimbal rate. Then, the total gimbal rate command is provided to the CMGs to produce the total gimbal rate.
In another embodiment, a momentum control system for producing commands to move CMGs within a CMG array is disclosed. The momentum control system includes an attitude control system configured to receive data representative of a desired maneuver. In response to the data representative of a desired maneuver, the attitude control system determines a torque command to complete the desired maneuver. A momentum actuator control processor coupled the attitude control system receives the torque command. The momentum actuator control processor, in response to receiving the torque command, calculates a gimbal rate command comprising a range-space gimbal rate and a null-space gimbal rate.
The present invention will hereinafter be described in conjunction with the following drawing figures, wherein like numerals denote like elements, and:
The following detailed description is merely exemplary in nature and is not intended to limit the invention or the application and uses of the invention. Furthermore, there is no intention to be bound by any expressed or implied theory presented in the preceding technical field, background, brief summary or the following detailed description.
The following detailed description describes the use of the present invention in terms of its use in an exemplary CMG array singularity avoidance system. However, applications of the present invention are not limited to any one specific application or embodiment, but are useful in many different areas of endeavor.
The present invention takes advantage of null-space steering to prevent the occurrence of singularities when moving the CMGs in a CMG array to provide torque. Furthermore, the present invention does so in a way that optimally conditions the CMG array at all times, keeping the CMG array as far as possible from any singularity. As discussed previously, a minimum of three CMGs are required to provide the three degrees of freedom needed to orient a spacecraft. However, in many cases more than three CMGs are implemented. The extra CMGs are typically provided for mechanical redundancy purposes but are occasionally used in the implementation of sophisticated steering laws like the present invention. Each extra CMG provides an extra mathematical degree of freedom. As discussed previously, in a three-dimensional vector space, the CMGs' gimbal rates can be mapped into a three-dimensional torque array by use of the Jacobian A:
Aω=τ (1)
where, in this three-CMG example, A is a 3×3 matrix, ω is a 3×1 matrix, and τ is a 3×1 matrix. If extra CMGs are provided and n is the number of CMGs in the CMG array, then A will be a 3×n matrix, ω an n×1 matrix and τ a 3×1 matrix. For a CMG array comprising n CMGs, with n>3, the subspace of the n-dimensional vector space associated with the nonzero singular values of A is known as the range space. When rank(A)=3, the range space of A is the three-dimensional physical space, which is inhabited by the three-dimensional, physical torque.
The rest of the n-dimensional vector space is known as the null space. The null space is outside and perpendicular to the range space. Together, both the range space and the null space completely span the n-dimensional vector space. Values of ω that lie entirely within the null space of A produce no physical torque. A 3×n matrix A provides for a three-dimensional range space and a null space of dimension at least n−3.
When changing the attitude of a spacecraft, only the movement of CMGs in the range space affects the attitude of the spacecraft. Conversely, motions of the CMG gimbals in the null space produce no physical torque and, thus, no error in the torque provided by the CMGs. A matrix B can be defined as spanning the null space of matrix A. One way to compute B is:
B=I−AT(AAT)−1A (2)
where I is the identity matrix.
While movement of the CMGs in the null space does not affect the torque provided by the CMG array, the movement of the CMGs in the null space can affect how each CMG gimbal angle contributes to the total gimbal rate, ω, an n×1 array, required to produce the torque:
ω=ωr+ωn (3)
where ωr is the portion of the total gimbal-rate vector that lies within the range space, and ωn is the portion within the null space.
An exemplary control system 100 for implementing the present invention is illustrated in
Attitude control system 102 controls the positioning of a spacecraft. The attitude control system 102 receives data concerning a desired spacecraft maneuver and determines an appropriate torque command to complete the desired maneuver. The torque commands are presented to the momentum actuator control processor 104. The momentum actuator control processor 104, in response to the torque commands, calculates the gimbal rates necessary to produce the commanded torque. Additionally, the momentum actuator control processor 104 calculates CMG movement in both the range space and the null space to prevent singular conditions.
The momentum actuator control system processor 104, based on the above identified calculations, provides the necessary commands to the CMGs 106 such that the CMG movement produces the commanded torque and, in accordance with the teachings of the present invention, provides the torque while preventing conditions that lead to a singularity. In one embodiment, there are at least four CMGs: three mathematical degrees of freedom to provide motion in the range space (the desired torque) and at least one additional degree of freedom to allow null-space motion to steer away from singularities. Individual CMGs are not necessarily devoted exclusively to range-space or null-space motion; rather, all of the CMGs, working in concert, produce both range-space and null-space effects.
Since movement of the CMGs in the null space can change how the output torque is achieved, movement in the null space can be used to avoid singularities. For example, in one embodiment of the present invention, the movement of the CMGs in the null space can be coordinated such that the determinant of (AAT) is always far from zero. As discussed previously, when det(AAT)=0, a singularity will occur. In this embodiment, while the range-space gimbal rates are determined as before, the gimbal rates in the null space are determined such that det(AAT) is maximized.
A=[v1v2 . . . vn] (4)
the determinant of the symmetric matrix AAT depends on the six terms found in:
These six values can be computed from the known elements of A using:
In terms of these precomputed values, the determinant of (AAT) can be expressed as:
det(AAT)=Δ=SxxSyySzz2SxySxzSyz−SxxSyz−SyySxz−SzzSxy (7)
In a next step, step 206, the change in the determinant, Δ, with respect to the change in output torque direction, δ, can be calculated:
To calculate ∂Δ/∂δ, the chain rule can be used. From the chain rule:
Given that the elements of the Jacobian A can be expressed as:
vi=gixĥi=gixe(δ
where gi is the ith CMG's gimbal axis rate and hi is the ith CMG's angular momentum. The derivative of vi with respect to the ith gimbal angle can thus be calculated:
The matrix exponential e∂
The derivative of the determinant with respect to vi can be found in its x, y and z components as:
Eqn. 12 can be precomputed using Eqn. 6. Then, the change in determinant with respect to the output torque direction, ∂Δ/∂δ, can be determined from Eqns. 11 and 12 using the chain rule as shown in Eqn. 9 The result is an analytical expression for incremental change in the determinant with respect to incremental change in the output torque direction.
Next, in step 208, the range-space gimbal rate can be calculated using:
ωr=AT(AAT)−1τ (13)
Then, in step 210, the null-space gimbal rate can be calculated from:
K is a matrix or scalar gain, either constant or otherwise, selected to ensure that the gimbal rate never exceeds a maximum value and so that, for all points in the CMG array's capability, the determinant, det(AAT), is driven away from singularities faster than it is drawn to them.
B(BTB)−1BT projects the gimbal motion that would follow the gradient of the determinant exactly onto the null space so that it does not influence the output torque. In the present embodiment, since A has a rank of three and because null-space steering ensures the invertibility of AAT, closed-form solutions for the pseudoinverse of A and for the null space of A (i.e. B) are possible:
B=I−AT(AAT)−1A (15)
where I is a 3×3 identity matrix.
∂Δ/∂δ by is the partial derivative of the determinant with respect to the output torque direction. The components of this vector were previously calculated in step 206. The expression
is used as the pseudoinverse of ∂Δ/∂δ. The traditional pseudoinverse includes a factor of one over the square of the magnitude. Since, in this case, the magnitude can never go to zero in the gimbal angle set, this term can be excluded. The result is a bell-behaved, stable, null-space command.
Next, in step 212, the total n×1 gimbal rate command, ω, can be determined as the sum of the range-space gimbal rate and the null-space gimbal rate:
ω=ωr+ωn (16)
This is the commanded gimbal rate for each CMG in the CMG array.
In a second embodiment, the null-space steering maximizes a weighted sum of the eigenvalues of (AAT). For an n×n matrix, D, a scalar, λ, is an eigenvalue of D if there is a non-zero vector x such that Dx=λx. The eigenvalue can be found by first rewriting Dx=λx as [D−λ0I]x=0. This equation has a non-trivial solution if and only if det(D−λ0I)=0. Also, it is known that the det(D)=det
That is, the product of the eigenvalues equals the determinant of the matrix. So, indirectly, this embodiment also steers the CMGs in a way that attempts to optimize the determinant. The difference in this embodiment is that each of the eigenvalues can be treated individually, an approach that may offer more versatility in some applications.
As discussed previously, when det(AAT)=0 the CMG array is singular. Since the product of the eigenvalues of a matrix equals the determinant of the matrix, by maximizing the weighted sum of the eigenvalues, singularities can be avoided.
In a first step, the required torque is determined (step 302). This torque is the torque requested to change the attitude of the spacecraft. Next, in step 304, the elements of the matrix AAT are calculated. The elements of matrix AAT are calculated in the same manner as the first embodiment.
Next, in step 306, the eigenvalues of AAT are calculated. As discussed previously the eigenvalues of AAT can be found from solving det(AAT−λI)=0 for the λ. Since AAT has a rank of three, there will be three eigenvalues: λ1, λ2, and λ3, and the solution to det(AAT−λI)=0 will be a third-degree polynomial, for which a closed-form, analytical solution can be found. Furthermore, these eigenvalues will all be real and nonzero, further simplifying the computation.
In step 308, a weighted sum of the eigenvalues can be formed as a cost function, J, to be maximized:
J=αλ1βλ2+γλ3 (17)
In Eqn. 17, the coefficients α, β and γ are weighting factors that can be varied to emphasis a particular eigenvalue if desired. Alternatively, the coefficients can be given equal weight.
In step 310, the derivative of the cost function with respect to the gimbal angle can be calculated using the chain rule:
where, as before,
Moreover, for this embodiment:
Both ∂vi/∂δi and ∂J/∂vi can be computed analytically from the eigenvalues determined previously. After ∂J/∂δi is calculated, in step 312, the range-space gimbal rate can be calculated as before:
ωr=AT(AAT)−1τ (21)
Then, in step 314, the null-space gimbal rate can be calculated:
where K is the gain as discussed previously, B(BTB)−1BT projects the gradient of the cost function on to the null space and ∂J/∂δ is the partial derivative of the cost function with respect to gimbal angle. In step 316, the total gimbal rate is calculated as the sum of the range-space gimbal rate, ωr, and the null-space gimbal rate, ωn:
ω=ωr+ωn (23)
This sum gives the gimbal rate that both produces the desired torque without an error and ensures that the torque is produced without encountering a singularity of a CMG.
While at least one exemplary embodiment has been presented in the foregoing detailed description, it should be appreciated that a vast number of variations exist. It should also be appreciated that the exemplary embodiment or exemplary embodiments are only examples, and are not intended to limit the scope, applicability, or configuration of the invention in any way. Rather, the foregoing detailed description will provide those skilled in the art with a convenient road map for implementing the exemplary embodiment or exemplary embodiments. It should be understood that various changes can be made in the function and arrangement of elements without departing from the scope of the invention as set forth in the appended claims and the legal equivalents thereof.