of 26
Slew Maneuver Constraints for Agile Flexible Spacecraft
Michael A. Marshall
and Sergio Pellegrino
California Institute of Technology, Pasadena, California, 91125
Traditional spacecraft design paradigms rely on stiff bus structures with comparatively
flexible appendages. More recent trends, however, trade deployed stiffness for packaging
efficiency to stow apertures with larger areas inside existing launch vehicles. By leveraging
recent advances in materials and structures, these spacecraft may be up to several orders of
magnitude lighter and more flexible than the current state-of-the-art. Motivated by the goal
of achieving agility despite structural flexibility, this paper proposes a quantitative method
for determining structure-based performance limits for maneuvering flexible spacecraft. It
then uses a geometrically nonlinear flexible multibody dynamics model of a representative very
flexible spacecraft to verify this method. The results demonstrate that, contrary to common
assumptions, other constraints impose more restrictive limits on maneuverability than the
dynamics of the structure. In particular, it is shown that the available attitude control system
momentum and torque are often significantly more limiting than the compliance of the structure.
Consequently, these results suggest that there is an opportunity to design less-conservative,
higher-performance space systems that can either be maneuvered faster, assuming suitable
actuators are available, or built using lighter-weight, less-stiff architectures that move the
structure-based performance limits closer to those of the rest of the system.
I. Introduction
A
current
paradigm in spacecraft design trades deployed structural stiffness against packaging efficiency to build
higher-performing spacecraft with larger deployed apertures that can be stowed within existing launch vehicles.
Such spacecraft are currently envisioned for a variety of applications including astronomy [
1
]; planetary [
2
] and solar
system exploration [
3
]; space science [
4
]; communications, power transfer, and remote sensing [
5
]; and space solar
power [
6
]. Each application requires attitude slew maneuvers, i.e., maneuvers that change the spacecraft’s orientation.
Large-angle slew maneuvers in particular are commonly used, e.g., for reorienting sensors, antennas, and solar arrays.
Slew maneuvers are an overhead on a mission, meaning they are required for achieving the mission objectives, but
generally represent time lost from actively performing useful mission functions. For this reason, minimizing slew
times has important implications for space mission design. In particular, slewing faster leaves more time available for
executing a spacecraft’s intended mission.
Given the proliferation of applications for flexible spacecraft, a common question during mission concept development
and preliminary design pertains to how fast these spacecraft can be slewed. In some cases, a rapid slew capability can
even be a prerequisite for feasibility and/or viability of a particular mission concept. For example, in geostationary Earth
orbit (GEO), the space solar power satellites proposed by the Caltech Space Solar Power Project (SSPP) [
6
] require two
90-deg pitch-axis slews per day to maximize the energy delivered to the electrical grid [
7
]. In the SSPP concept, the
system efficiency decreases as the slew time increases [
8
]. All else being equal, slower slew maneuvers result in the
transmission of less energy, thereby increasing the cost of the electricity delivered to the grid. Thus, the slew time
directly impacts the system’s overall economic viability. More generally, as the development of increasingly large and
flexible spacecraft continues, so too does the importance of slew time as a design driver.
A common assumption about flexible spacecraft is that structural compliance limits how fast they can be slewed.
For highly compliant structures, very long slew times can make an otherwise promising mission concept infeasible. As
a result, it is important to demonstrate the feasibility of slewing large flexible spacecraft early in the design process.
However, to the authors’ knowledge, there is no standard framework for rigorously quantifying how fast flexible
spacecraft can be slewed. The most common heuristic states that the minimum slew time must be at least ten times the
Graduate Research Assistant, Graduate Aerospace Laboratories, 1200 E. California Blvd., Mail Code 105-50. Member AIAA. Currently:
Guidance and Control Analyst, The Johns Hopkins University Applied Physics Laboratory, 11100 Johns Hopkins Road, Laurel, Maryland 20723.
michael.a.marshall@jhuapl.edu.
Joyce and Kent Kresa Professor of Aerospace and Civil Engineering, Graduate Aerospace Laboratories, 1200 E. California Blvd., Mail Code
105-50. AIAA Fellow. sergiop@caltech.edu.
1
structure’s lowest natural period. Such a heuristic is convenient but may lead to overly conservative, and in some cases,
prohibitively conservative spacecraft designs and mission scenarios.
Motivated by the goal of achieving agility despite structural flexibility, this paper proposes a framework for using
reduced-order models to predict minimum slew times for flexible spacecraft. The reduced-order models lead to simple
analytical and quasi-analytical slew time estimates, which in turn are useful for both requirements definition and for
establishing the feasibility of slewing flexible spacecraft during concept development and preliminary design.
Slew time verification then requires higher-fidelity analysis tools, such as geometrically nonlinear finite element
simulations. There are many academic examples in the literature that apply these types of simulations to flexible
spacecraft with simple structural geometries consisting of beams or plates; see e.g., [
9
,
10
]. These types of simulations
are also often used for modeling solar sails [
11
,
12
] and other advanced concepts [
13
]. However, they are by no means
standard for simulating the attitude dynamics of flexible spacecraft with complex structural geometries. To that end, this
paper uses geometrically nonlinear finite element simulations of a very flexible spacecraft with a complex structural
geometry both to verify slew time predictions and to promote the more widespread adoption of these types of simulations
in spacecraft engineering practice.
Spacecraft
Tile
Strip
Fig. 1 Caltech SSPP spacecraft structural architecture originally introduced in [6].
As a case study, this paper analyzes a representative problem based on the Caltech SSPP spacecraft structural
architecture [
6
] (see Fig. 1) during a 90-deg, nominally rest-to-rest pitch-axis slew maneuver. Such a maneuver is
representative of the maneuvers required to maximize the energy delivered to an electrical grid from an SSPP spacecraft
in GEO [
7
]. In the SSPP concept, the structural architecture is planar to facilitate packaging and deployment using a
kirigami-inspired folding scheme and is designed to be both modular and scalable, allowing the same basic components
(the photovoltaic-powered radio-frequency tiles and the structural strips) to be used for spacecraft designed for different
applications at different length scales. This paper specifically considers spacecraft with outermost strips that range from
5
m
to 50
m
long, corresponding to first-mode natural frequencies between approximately 1
Hz
and 1
mHz
. The SSPP
architecture and its derivatives (see e.g., [
14
]) are representative of a class of spacecraft structures referred to as bending
architectures [
15
], i.e., structural concepts that derive their load carrying capability from the bending stiffness of the
structural elements. With its approximately 100
g/m
2
areal density, the SSPP concept specifically occupies a middle
ground in terms of stiffness and areal density between membrane-based deployable structures concepts like solar sails
and more traditional spacecraft with deployable solar arrays and antennas.
This paper is organized as follows: Sec. II describes the canonical model for flexible spacecraft attitude dynamics.
Sec. III uses the Craig-Bampton method [
16
] to develop reduced-order modal models from flexible spacecraft finite
element models that are analogous to this canonical model. Sec. IV proposes a framework for predicting slew times for
flexible spacecraft. Sec. V applies the tools from Secs. III and IV to predict the minimum slew times for a flexible
spacecraft based on the Caltech SSPP spacecraft structural architecture. It subsequently verifies these predictions using
geometrically nonlinear simulations of a high-fidelity finite element model. The paper concludes with a discussion of
the results and their implications in Sec. VI.
2
II. Canonical Flexible Spacecraft Model
The classical approach for attitude control system (ACS) analysis and design reduces complex flexible spacecraft
dynamics into three decoupled, single-axis modal models, one for rotation about each axis (roll, pitch, and yaw) [
17
,
18
].
Each model includes a single rigid body mode and one or more dynamically significant elastic modes. In particular,
preliminary analysis and design often rely on single-mode models, i.e., single-axis modal models with a single retained
elastic mode. This is the simplest structural dynamic model that includes both rigid body and flexible modes, and hence,
is taken as the canonical model for flexible spacecraft dynamics. The canonical model takes the form of the unrestrained
spring-mass-damper system with two degrees of freedom (DOFs) depicted in Fig. 2.
Fig. 2 The canonical model of a flexible spacecraft is a floating spring-mass-damper system with two DOFs.
The equations of motion for the canonical model are
"
1
0
0
2
# "
¥
1
¥
2
#
+
"
푐 푐
# "
¤
1
¤
2
#
+
"
푘 푘
# "
1
2
#
=
"
1
0
#
(1)
where
1
denotes the mass of the spacecraft “bus” with position
1
,
2
is the mass of the flexible “appendage” with
position
2
,
is the spring stiffness,
is the viscous damping coefficient,
1
is the control input on
1
, and dot
notation denotes differentiation with respect to time
. In practice,
1
is the bus orientation,
2
is the modal coordinate
corresponding to the dominant flexible mode (which is not necessarily the lowest-frequency mode), and
1
is the attitude
control torque. The remaining parameters are related to the rigid and flexible body properties of the spacecraft. Sec. III
shows how to reduce arbitrary finite element models into single-axis modal models and, by doing so, derives expressions
for these parameters. Importantly, even though the focus of this paper is on attitude slew maneuvers, Eq.
(1)
applies for
either translational or rotational motion. Hence, the parameters and variables in Eq.
(1)
are to be interpreted in the
generalized sense; e.g.,
1
and
2
are generalized masses that can represent either masses or moments of inertia.
The classical ACS analysis and design approach treats flexibility as a disturbance acting on the spacecraft bus. Thus,
the parameter of interest for ACS design and analysis is the influence of
2
on
1
, not the motion of
2
itself. To
eliminate the motion of
2
, the standard approach is to rewrite Eq.
(1)
in the Laplace domain and evaluate the transfer
function from
1
to
1
. Taking the Laplace transform of Eq. (1) with zero initial conditions gives
1
2
1
(
)+
푐푠
(
1
(
)−
2
(
)
)
+
(
1
(
)−
2
(
)
)
=
1
(
)
(2)
2
2
2
(
)+
푐푠
(
2
(
)−
1
(
)
)
+
(
2
(
)−
1
(
)
)
=
0
(3)
where
1
(
)
=
L(
1
(
))
,
2
(
)
=
L(
2
(
))
,
1
(
)
=
L(
1
(
))
, and
L(·)
denotes the Laplace transform that converts a
function of time
to a function of the complex frequency
. Solving Eqs. (2) and (3) for
1
(
)/
1
(
)
, taking a partial
fraction expansion, and simplifying yields
1
(
)
1
(
)
=
1
2
+
2
/
1
2
+
2
(
1
+
2
/
1
)
휁휔
+
(
1
+
2
/
1
)
2
(4)
where
=
√︁
/
2
is the fixed-base natural frequency,
=
/

2
푘푚
2

is the fixed-base damping ratio (fraction
of critical damping), and
1
is the acceleration input to the system, i.e.,
1
=
(
1
+
2
)
1
[equivalently,
1
(
)
=
(
1
+
2
)
1
(
)
].
Equation
(4)
consists of two terms, the rigid body translation of
1
and a perturbation due to the motion of
2
, i.e.,
due to flexibility. To make this more explicit, let
1
(
)
=
1
,푟
(
)+
1
, 푓
(
)
where the subscripts
and
denote the
3
rigid body and flexible terms, with corresponding transfer functions
1
,푟
(
)
1
(
)
=
1
2
(5)
1
, 푓
(
)
1
(
)
=
2
/
1
2
+
2
(
1
+
2
/
1
)
휁휔
+
(
1
+
2
/
1
)
2
(6)
Taking the inverse Laplace transforms of Eqs. (5) and (6) then gives
¥
1
,푟
=
1
(7)
¥
1
, 푓
+
2

1
+
2
1

휁휔
¤
1
, 푓
+

1
+
2
1

2
1
, 푓
=
2
1
1
(8)
From Eq.
(8)
, the perturbation due to flexibility (i.e., the flexible dynamics) can be modeled as a damped harmonic
oscillator with increased natural frequency
√︁
1
+
2
/
1
and damping ratio
√︁
1
+
2
/
1
relative to the fixed-base
case. The shifted natural frequency
√︁
1
+
2
/
1
is the free-free natural frequency of Eq. (4).
Classical approaches for flexible spacecraft ACS analysis and design are usually predicated on minimizing the
magnitude of any disturbances induced by flexibility, i.e., by making the magnitude of
1
, 푓
and its derivatives “small”.
This entails moving the system sufficiently “slowly” to prevent significant excitation of the flexible mode(s). With this in
mind, a standard practice is to require that the closed-loop ACS bandwidth is at least an order of magnitude below the
free-free natural frequency
√︁
1
+
2
/
1
[
17
].
In this case, the ACS reacts at least an order of magnitude slower
than the natural time scale of the system’s dynamics. Using this approach, it is often possible to neglect flexibility in
ACS design and instead simply design a control system for the rigid body motion, as is done, e.g., in [19].
A similar philosophy is usually adopted for designing slew maneuvers. A nominally rest-to-rest slew maneuver for
a rigid spacecraft, i.e., a spacecraft that can be modeled as a rigid body, leads to residual structural vibrations for a
flexible one. In light of Eq.
(4)
, the spacecraft bus perceives these vibrations as angular position and velocity errors, the
magnitudes of which often appear in ACS pointing error budgets (see e.g., [
20
]) and are a proxy for pointing stability
and jitter. Here, jitter refers to the classical definition of unwanted mechanical vibrations, as opposed to more nuanced
definitions typically used for space-borne optical systems [
21
,
22
]. A flexible spacecraft ACS with its closed-loop
bandwidth set an order of magnitude below its lowest flexible-mode frequency is incapable of rejecting jitter [
17
]. For
these reasons, minimizing jitter is imperative for pointing accuracy and stability.
A common heuristic for minimizing jitter states that the slew maneuver duration
must be at least an order of
magnitude longer than the natural period
=
2
/
. However, such a requirement is shown to be misguided in
Secs. IV and V. In particular, “slow” is relative, and depends on both the “shape” of the forcing applied to the system
and the ratio
/
. With this in mind, this paper instead proposes using quantitative requirements on the residual (i.e.,
post-slew) amplitude of
1
, 푓
and its derivatives (specifically, on
¤
1
, 푓
) to calculate feasible slew times. For a given
spacecraft and slew maneuver, specifying a requirement on the residual amplitude of
1
, 푓
or any of its derivatives
indirectly specifies a requirement on the minimum slew time. Hedgepeth [
23
] uses similar arguments to determine
a first-mode natural frequency requirement for slewing flexible spacecraft, although his approach underpredicts the
amplitudes of
1
, 푓
and its derivatives; for additional details, see [8].
III. Derivation of Single-Axis Modal Models
Practical applications of the canonical flexible spacecraft model require relationships between the parameters
1
,
2
,
,
, and a flexible spacecraft finite element model. To that end, this section uses the Craig-Bampton
method [
16
] to rigorously and systematically derive single-axis modal models analogous to the canonical model from
unrestrained (free-free) finite element models. In doing so, it derives a fully coupled 6-DOF generalization of the
transfer function from
1
to
1
[Eq.
(4)
] and shows that the correct set of vibration modes for ACS analysis and design
are the Craig-Bampton method’s fixed-interface normal modes. It also discusses methods for identifying the most
dynamically significant mode(s) and special considerations for symmetric structures. The Craig-Bampton method
generalizes the notion of a “bus” with a flexible “appendage” to arbitrarily complex flexible spacecraft.
In practice, this depends on the spacing of the structural modes. For a system with a few well-separated modes, it is possible to achieve higher
bandwidth linear control systems by filtering the structural modes (see e.g., [
18
] and the references therein). However, this becomes difficult, if not
impossible for large space structures with many closely spaced modes (see e.g., [
19
]), in which case the aforementioned requirement on closed-loop
bandwidth becomes imperative.
4
A. 6-DOF Transfer Function
The derivation of the 6-DOF generalization of the transfer function from
1
to
1
[Eq.
(4)
] starts from the standard
equation of motion for a free-free linear finite element model:
M
¥
x
+
C
¤
x
+
Kx
=
Bu
(9)
Here,
x
R
contains the nodal displacement DOFs,
u
R
contains the external forces and moments,
M
R
×
is the
symmetric positive definite mass matrix,
C
R
×
is the symmetric positive semi-definite damping matrix,
K
R
×
is the symmetric positive semi-definite stiffness matrix, and
B
R
×
maps the external forces and moments to the
nodal DOFs. In general, each node has six DOFs, three translations and three rotations, from which it follows that
Eq.
(9)
admits six rigid body modes. The damping model (e.g., Rayleigh or modal) determines the rank deficiency of
C
;
the number of rigid body modes corresponds to the rank deficiency of
K
.
For the Craig-Bampton method [
16
], Eq.
(9)
is partitioned into
interior (
) and
boundary (
) coordinates, as
follows:
"
M
퐼퐼
M
퐼퐵
M
퐵퐼
M
퐵퐵
# "
¥
x
¥
x
#
+
"
C
퐼퐼
C
퐼퐵
C
퐵퐼
C
퐵퐵
# "
¤
x
¤
x
#
+
"
K
퐼퐼
K
퐼퐵
K
퐵퐼
K
퐵퐵
# "
x
x
#
=
"
0
×
1
u
#
(10)
where
0
×
1
R
is a zero vector and
=
+
. Typically, the
-set contains DOFs either shared with adjacent
components (when the Craig-Bampton substructure is a component of a larger structural dynamic model) or loaded by
external forces or moments; the remaining DOFs belong to the
-set [
16
]. For a flexible spacecraft, the
-set coordinates
are the six rigid body DOFs of the bus, and hence, correspond to
1
from the canonical model [Eq.
(1)
]. The
-set
coordinates (or the corresponding modal coordinates) are then analogous to
2
in Eq.
(1)
. With the
-set coordinates
defined in this way,
K
퐼퐼
is the full-rank stiffness matrix corresponding to fixed (clamped) boundary conditions at the bus.
u
then contains the forces (e.g., due to thrusters) and moments (e.g., due to the ACS) acting on the bus. Equation
(10)
is simply a permutation of the rows and columns of Eq. (9).
Following Sec. II, the immediate goal is to derive the transfer function
H
(
)
that relates a force or moment on
to the corresponding translations and rotations, i.e., to find
H
(
)
=
G
1
(
)
such that
X
(
)
=
H
(
)
U
(
)
where
X
(
)
=
L(
x
(
))
and
U
(
)
=
L(
u
(
))
.
H
(
)
is subsequently simplified for the special case of a single-axis slew to
obtain an expression analogous to Eq.
(4)
. The derivation of
G
(
)
closely follows the procedure in [
24
, p. 187–190] for
the undamped sinusoidal (steady-state) transfer function
G
(
푗휔
)
(referred to as “mechanical impedance” in [
24
]) where
2
=
1
and
is the frequency of the harmonic forcing.
The derivation of
G
(
)
requires taking the Laplace transform of Eq.
(10)
(again with zero initial conditions), from
which it follows that
2
"
M
퐼퐼
M
퐼퐵
M
퐵퐼
M
퐵퐵
#
+
"
C
퐼퐼
C
퐼퐵
C
퐵퐼
C
퐵퐵
#
+
"
K
퐼퐼
K
퐼퐵
K
퐵퐼
K
퐵퐵
#! "
X
(
)
X
(
)
#
=
"
0
×
1
U
(
)
#
(11)
where
X
(
)
=
L(
x
(
))
. Solving the first equation in Eq.
(11)
for
X
(
)
and substituting this result into the second
equation then yields
G
(
)
=
2
M
퐵퐵
+
C
퐵퐵
+
K
퐵퐵
Z
퐵퐼
(
)
Z
1
퐼퐼
(
)
Z
퐼퐵
(
)
(12)
where
Z
푘푙
(
)
=
2
M
푘푙
+
C
푘푙
+
K
푘푙
. Equation
(12)
obscures the modal properties of the structure, and hence, is
rewritten explicitly in terms of mode shapes and natural frequencies next. Truncating the resulting modal expansion
yields a reduced-order modal model.
The fixed-interface normal modes, i.e., the eigenmodes corresponding to fixed (clamped) boundary DOFs, are the
solutions to the following generalized eigenproblem [16]:
K
퐼퐼
=
2
M
퐼퐼
(13)
Each fixed-interface normal mode
(for
=
1
, ..., 푛
) is orthogonal to
M
퐼퐼
and normalized such that
M
퐼퐼
=
푖푗
.
The
solutions to Eq. (13) can equivalently be written in the form
K
퐼퐼
=
M
퐼퐼
횽훀
2
(14)
푖푗
is the Kronecker delta symbol defined such that
푖푗
=
1
for
=
and
푖푗
=
0
otherwise.
5
where
=
1
,...,

is the matrix of generalized eigenvectors and
2
=
diag

2
1
,...,휔
2
. Since each
is
orthogonal with respect to
M
퐼퐼
,
M
퐼퐼
=
I
×
(15)
K
퐼퐼
=
2
(16)
where
I
×
R
×
is an identity matrix. Subsequent developments additionally assume that
C
퐼퐼
=
2
Z
(17)
where
Z
=
diag

1
,..., 휁
is the matrix of modal damping coefficients and
0
for all
=
1
, ..., 푛
.
The
generalized eigenvectors are linearly independent, i.e.,
is invertible. Hence, rearranging Eqs.
(15)
(17)
results in the following identities:
M
퐼퐼
=
1
(18)
K
퐼퐼
=
2
1
(19)
C
퐼퐼
=
2
Z
훀횽
1
(20)
Inverting
M
퐼퐼
and
K
퐼퐼
then yields the following modal expansions [24, p. 187–190]:
M
1
퐼퐼
=
횽횽
=
∑︁
=
1
(21)
K
1
퐼퐼
=
횽훀
2
=
∑︁
=
1
2
(22)
from which it readily follows that
K
1
퐼퐼
M
퐼퐼
K
1
퐼퐼
=
횽훀
4
=
∑︁
=
1
4
(23)
By analogy with Eq. (23),
K
1
퐼퐼
C
퐼퐼
K
1
퐼퐼
=
횽훀
2
(
2
Z
)
2
=
∑︁
=
1
(
2
)
4
(24)
Substituting Eqs. (18)–(20) into
Z
1
퐼퐼
(
)
then yields
Z
1
퐼퐼
(
)
=

2
I
×
+
2
Z
+
2

1
(25)
which is equivalent to the following modal expansion:
Z
1
퐼퐼
(
)
=
∑︁
=
1
2
+
2
+
2
(26)
Further simplifications require the identity [24, p. 189]
1
2
+
2
=
1
2
2
4
+
4
4
2
+
2

(27)
and the substitution
2
2
+
2
. Using Eq.
(27)
to expand the denominator in Eq.
(26)
and simplifying with
Eqs. (22)–(24) then gives
Z
1
퐼퐼
(
)
=
K
1
퐼퐼
2
K
1
퐼퐼
M
퐼퐼
K
1
퐼퐼
K
1
퐼퐼
C
퐼퐼
K
1
퐼퐼
+
∑︁
=
1
2
+
2

2
4
2
+
2
+
2

(28)
6
Substituting Eq. (28) into Eq. (12) and simplifying ultimately results in the following expression for
G
(
)
:
G
(
)
=
2
M
퐵퐵
+
C
퐵퐵
+
K
퐵퐵
2
∑︁
=
1
(
e
+
f
)(
e
+
f
)
4
2
+
2
+
2

(29)
where
e
=
2
K
퐵퐼
2
C
퐵퐼

and
f
=
K
퐵퐼
2
M
퐵퐼

are modal vectors and
M
퐵퐵
=
M
퐵퐵
M
퐵퐼
K
1
퐼퐼
K
퐼퐵
K
퐵퐼
K
1
퐼퐼
M
퐼퐵
+
K
퐵퐼
K
1
퐼퐼
M
퐼퐼
K
1
퐼퐼
K
퐼퐵
(30)
K
퐵퐵
=
K
퐵퐵
K
퐵퐼
K
1
퐼퐼
K
퐼퐵
(31)
C
퐵퐵
=
C
퐵퐵
C
퐵퐼
K
1
퐼퐼
K
퐼퐵
K
퐵퐼
K
1
퐼퐼
C
퐼퐵
+
K
퐵퐼
K
1
퐼퐼
C
퐼퐼
K
1
퐼퐼
K
퐼퐵
(32)
The derivation of Eq.
(29)
is conceptually straightforward, but the details are involved and are left to [
8
]. Equation
(29)
emphasizes that a force or moment on
induces both rigid body and elastic motions. In practice, it is advantageous to
precompute
e
and
f
to avoid unnecessary calculations of computationally expensive matrix-vector products during
repeated evaluations of Eq. (29).
If the
boundary DOFs fully restrain the structure’s
rigid body modes, then
M
퐵퐵
is the rigid body mass
matrix of the unrestrained and undeformed structure (evaluated with respect to
) and
K
퐵퐵
is the projection of the
unrestrained stiffness matrix
K
onto the rigid body modes, i.e.,
K
퐵퐵
=
0
×
(otherwise,
K
퐵퐵
is singular but non-zero).
The properties of
C
퐵퐵
depend on the damping model. A particularly convenient choice for the damping model is
stiffness-proportional damping, in which case
C
=
(
2
1
/
1
)
K
where
1
and
1
are respectively the first-mode natural
frequency and damping ratio. With stiffness-proportional damping, higher-frequency modes are more heavily damped;
specifically,
=
1
(
/
1
)
for
=
1
, ..., 푛
. Thus,
C
퐵퐵
=
0
×
and
e
=
0
×
1
. Together, these assumptions
reduce Eq. (29) to
G
(
)
=
2
M
퐵퐵
4
∑︁
=
1
f
f
4
2
+
2
+
2

(33)
Equation (33) is equivalent to Eq. (8.21) in [24] when
=
푗휔
and
=
0
for
=
1
, ..., 푛
.
The modal participation vector
f
is related to the dynamic reaction of the
th mode on
due to an external force or
moment on
[
24
, p. 187–190]. The corresponding modal mass matrix
M
=
f
f
/
4
determines the flexible body
accelerations required to dynamically react an external force or moment on
and how those accelerations are distributed
among the eigenmodes. The total modal mass matrix is
∑︁
=
1
M
=
K
퐵퐼
K
1
퐼퐼
M
퐼퐼
K
1
퐼퐼
K
퐼퐵
K
퐵퐼
K
1
퐼퐼
M
퐼퐵
M
퐵퐼
K
1
퐼퐼
K
퐼퐵
+
M
퐵퐼
M
1
퐼퐼
M
퐼퐵
(34)
which is derived from
M
=
f
f
/
4
and Eqs.
(21)
(23)
. Equation
(34)
is only a function of the finite element mass and
stiffness matrices, i.e., it is independent of the computed eigenmodes.
A closed-form expression for the transfer function
H
(
)
=
G
1
(
)
can be derived using the Woodbury matrix
identity [
25
], or equivalently, repeated applications of the Sherman-Morrison formula [
25
] (see also [
26
]). The latter
is useful for developing reduced-order models with only a handful of retained modes because it results in explicit
relationships for the modal interactions.
Using the Woodbury matrix identity to invert
G
(
)
requires rewriting the modal expansion in Eq.
(33)
as a matrix
product. To do this, let
(
)
=
diag

2
+
2
1
1
+
2
1
,..., 푠
2
+
2
+
2
and
F
=
f
1
/
2
1
,...,
f
/
2

, from
which it follows that
G
(
)
can be written as
G
(
)
=
2
M
퐵퐵
4
F
1
(
)
F
(35)
Applying the Woodbury matrix identity then results in the following exact expression for
H
(
)
=
G
1
(
)
:
H
(
)
=
1
2
M
∗−
1
퐵퐵
+
M
∗−
1
퐵퐵
F

(
)−
2
F
M
∗−
1
퐵퐵
F

1
F
M
∗−
1
퐵퐵
(36)
This is the 6-DOF generalization of the transfer function from
1
to
1
from Sec. II [Eq.
(4)
]. Equation
(36)
is
subsequently specialized for the case of a single-axis, single-mode model in Sec. III.C.
7
B. Mode Selection Criteria
Following [
24
, p. 191–192], Eq.
(33)
shows how to select “dominant” eigenmodes for general reduced-order models,
i.e., which modes to retain in a truncated modal expansion. Specifically,
f
measures the modal participation of mode
;
the larger the magnitude of
f
, the larger the dynamic reaction on
, the larger the modal mass, and the more dominant
the mode. For these reasons, [
24
] suggests using the magnitude of the
th term in the modal expansion from Eq.
(33)
to
rank modes from most dominant to least dominant:
=
||
f
/
2
||
2
2
=
tr
M
(37)
Here,
||·||
2
denotes the Euclidean norm. Larger values of
correspond to more dominant modes. The
4
in the
denominator of Eq.
(37)
implies that dominant modes tend to be lower-frequency modes, but in general, the dominant
mode is not necessarily the lowest-frequency mode.
Equation
(37)
is ill-defined for structures with both translational and rotational DOFs. To remedy this, the coordinate
partition from [
27
] is used to develop a modified mode selection criterion. Specifically,
f
is partitioned into translational
(
) and rotational (
) DOFs such that
f
=

f
푖,푇
,
f
푖,푅

. The modes are then sorted according to the following criterion:
=
1
2
©
­
­
­
­
­
«
||
f
푖,푇
/
2
||
2
2
∑︁
=
1
||
f
푖,푇
/
2
||
2
2
+
||
f
푖,푅
/
2
||
2
2
∑︁
=
1
||
f
푖,푅
/
2
||
2
2
ª
®
®
®
®
®
¬
(38)
where
f
푖,푇
f
푖,푇
/
4
and
f
푖,푅
f
푖,푅
/
4
are the translational and rotational blocks of the modal mass matrix
M
, the
summations in the denominators are evaluated using Eq.
(34)
, and again larger values correspond to more dominant
modes. Equation
(38)
is the average of the
th mode’s translational modal mass (normalized by the total modal mass)
and rotational modal inertia (normalized by the total modal inertia). Equivalently, it is a normalized measure of the
th
mode’s dynamic reaction on
. For models with either translational DOFs or rotational DOFs, but not both, Eq.
(38)
reduces to a normalized version of Eq.
(37)
. Importantly, both Eqs.
(37)
and
(38)
, and hence, the resulting mode
sortings, are invariant to reference frame transformations.
Equation
(38)
is equivalent to the effective interface mass introduced by Kammer and Triller [
27
]. Specifically,
M
is equivalent to their matrix
[
M
]
. This is straightforward to show by expanding
[
M
]
, substituting Eq.
(22)
, and using
the orthogonality of
[Eq.
(15)
]. With collocated sensors and actuators, effective interface mass, and by extension,
Eq.
(38)
, also measures the relative controllability and observability of each fixed-interface mode [
28
]. The higher the
value of Eq.
(38)
, the more controllable and observable the mode. Moreover, effective interface mass is closely related
to the balanced singular values [
29
] from the balanced truncation method of model reduction [
30
]. For undamped free
vibrations, balanced truncation yields normal vibration modes [31].
For a single-axis modal model, the dominant mode is the mode with the maximum modal mass or inertia per
axis, i.e., the maximum absolute value in the corresponding DOF in
f
. In general, different modes are dominant for
translational and rotational motions about different axes.
Special considerations are required for symmetric structures. These structures have natural frequencies (eigenvalues)
with multiplicities greater than one; the actual multiplicity of a given eigenvalue depends on a structure’s specific
symmetries [
32
]. Due to the limitations of floating point computations and the accumulation of round-off errors, it is
often difficult to distinguish between symmetric modes with repeated eigenvalues and merely closely spaced modes.
Conveniently, the same criteria used to sort modes can also be used to identify repeated eigenvalues. In particular,
both the magnitude of the modal participation vector
f
and the trace of the modal mass matrix
M
are invariant to the
operations of a symmetry group. Hence, these quantities are both invariant for symmetric modes, meaning symmetric
modes have the same values (to within close numerical tolerances) of both Eq.
(37)
and Eq.
(38)
. Closely spaced modes,
on the other hand, typically have distinct values of both Eq.
(37)
and Eq.
(38)
. This has important implications for the
development of reduced-order models for symmetric structures, as discussed further in Sec. III.D.
C. Reduction to Canonical Model
For the case when only the
th mode is retained in the modal expansion, i.e., the
th mode is the dominant mode,
Eq. (36) reduces to
H
(
)
=
1
2
M
∗−
1
퐵퐵
+
M
∗−
1
퐵퐵
M
M
∗−
1
퐵퐵
1
tr
M
∗−
1
퐵퐵
M

2
+
2
+
2
(39)
8
which uses the definition of the modal mass matrix
M
=
f
f
/
4
and the identity
f
M
∗−
1
퐵퐵
f
/
4
=
tr
M
∗−
1
퐵퐵
M

. In
turn, the relationship between
X
(
)
and
U
(
)
takes the form
X
(
)
=
1
2
I
×
+
M
∗−
1
퐵퐵
M
1
tr
M
∗−
1
퐵퐵
M

2
+
2
+
2
!
U
(
)
(40)
where
U
(
)
=
M
퐵퐵
U
(
)
. Aside from the modal truncation, Eqs. (39) and (40) are both exact.
From here, several assumptions are required to reduce Eq.
(40)
to a form analogous to the canonical model [Eq.
(4)
].
Such a model relates the response of a generalized displacement
퐵,푗
(
)
to the corresponding scalar control input
퐵,푗
(
)
for some
=
1
, ..., 푛
. For this reason,
U
(
)
is restricted to a generalized acceleration input about a single
axis, i.e.,
U
(
)
=
e
퐵,푗
(
)
where
e
is a standard unit basis vector in
R
. Similarly, the generalized displacement
X
(
)
is restricted to a translation or rotation about a single axis by left-multiplying both sides of Eq.
(40)
by
e
, i.e.,
퐵,푗
(
)
=
e
X
(
)
. Additional assumptions decouple the
-set coordinates. In particular, it is assumed that the
-set
coordinates correspond to a node located at the structure’s undeformed center of mass and that the global finite element
reference frame coincides with principal inertial axes. These assumptions diagonalize
M
퐵퐵
. It follows that
퐵,푗
(
)
퐵,푗
(
)
=
1
2
+
푖,푗푗
/
퐵퐵,푗푗
1
tr
M
∗−
1
퐵퐵
M

2
+
2
+
2
(41)
where the subscript
푗 푗
denotes the
th main diagonal entry of the corresponding matrix. Lastly, it is assumed that
tr
M
∗−
1
퐵퐵
M

푖,푗푗
/
퐵퐵,푗푗
, i.e., the matrix
M
∗−
1
퐵퐵
M
has a single dominant main diagonal term. With this assumption,
Eq. (41) simplifies to
퐵,푗
(
)
퐵,푗
(
)
=
1
2
+
푗푗
2
+
2
1
+
푗푗

+
1
+
푗푗

2
(42)
with mass ratio
푗푗
=
푖,푗푗
퐵퐵,푗푗
푖,푗푗
(43)
Comparing Eqs.
(42)
and
(4)
reveals that
1
=
퐵퐵,푗푗
푖,푗푗
, i.e., the
difference
between the rigid body mass and the
modal mass, not the rigid body mass itself;
2
=
푖,푗푗
;
=
; and
=
. Thus, the parameters in the canonical
model are related to the rigid body mass and the dominant mode’s modal mass, damping ratio, and natural frequency
(where again “mass” is to be interpreted in the generalized sense of either translational or rotational inertia)
D. Canonical Model for Symmetric Structures
The derivation of single-axis modal models requires special considerations when the dominant eigenmode corresponds
to a repeated eigenvalue. This is particularly important for flexible spacecraft with symmetric structural architectures.
The analysis that follows specifically considers 4-fold symmetric structures, a class of structures that includes solar
sails and the Caltech SSPP spacecraft [
6
], but the approach and conclusions readily generalize to structures with other
symmetries. 4-fold symmetric structures have eigenvalues with multiplicities of either one or two [32].
When the dominant eigenmode corresponds to a repeated eigenvalue, Eq. (42) underpredicts the magnitude of the
elastic disturbance on the spacecraft bus. Instead of truncating the modal expansion after the dominant mode, the correct
truncation includes both the dominant mode (assumed to be the
th mode with natural frequency
) and the associated
symmetric mode (assumed to be the
(
+
1
)
th mode with natural frequency
+
1
=
). In this case,
f
=
Tf
+
1
where
T
is an orthogonal matrix corresponding to a symmetry operation [
32
]. Assuming both modes share the same damping
ratio
=
+
1
, then the truncated form of Eq. (36) is
H
(
)
=
1
2
M
∗−
1
퐵퐵
+
M
∗−
1
퐵퐵
(
M
+
M
+
1
)
M
∗−
1
퐵퐵
1
tr
M
∗−
1
퐵퐵
M

2
+
2
+
2
(44)
the derivation of which uses
f
=
Tf
+
1
; the invariance of the rigid body mass matrix
M
퐵퐵
to symmetry operations, i.e.,
M
퐵퐵
=
T
M
퐵퐵
T
; the definition of the modal mass matrix
M
=
f
f
/
4
; and the identity
f
M
∗−
1
퐵퐵
f
/
4
=
tr
M
∗−
1
퐵퐵
M

.
The derivation of Eq.
(44)
additionally assumes that
f
f
+
1
=
0
(which reflects that the symmetry operation for a 4-fold
symmetric structure is a rotation by 90 deg) and that
M
퐵퐵
is diagonal with equal inertias about the axes of symmetry.
9
From here, the reduction to the canonical model [Eq.
(4)
] mirrors the derivation from Sec. III.C with the caveat
that it is now assumed that the matrix
M
∗−
1
퐵퐵
M
contains two main diagonal terms of similar magnitudes. Thus,
tr
M
∗−
1
퐵퐵
M

푖,푗푗
/
퐵퐵,푗푗
+
푖,푘푘
/
퐵퐵,푘푘
, which due to symmetry is equivalent to
(
푖,푗푗
+
+
1
,푗푗
)/
퐵퐵,푗푗
.
Since the
th mode is the dominant mode,
푖,푗푗
> 푀
+
1
,푗푗
. With this assumption, the transfer function from
퐵,푗
(
)
to
퐵,푗
(
)
takes the canonical form
퐵,푗
(
)
퐵,푗
(
)
=
1
2
+
푗푗
2
+
2
1
+
푗푗

+
1
+
푗푗

2
(45)
where the mass ratio is now given by
푗푗
=
푖,푗푗
+
+
1
,푗푗
퐵퐵,푗푗
푖,푗푗
+
+
1
,푗푗

(46)
Equivalently,
푗푗
=

1
+
+
1
,푗푗
푖,푗푗

푖,푗푗
퐵퐵,푗푗
푖,푗푗
+
+
1
,푗푗

(47)
which shows that the elastic disturbance due to the
(
+
1
)
th mode is proportional to the ratio between its modal mass
+
1
,푗푗
and the dominant mode’s modal mass
푖,푗푗
.
IV. Structure-Based Slew Maneuver Requirements
The canonical flexible spacecraft model from Sec. II (or an analogous reduced-order model from Sec. III) provides a
useful tool for developing slew maneuver requirements, i.e., requirements on the ratio
/
between the slew maneuver
duration
and the fixed-base natural period
. To that end, this section first uses a bang-bang slew maneuver to
demonstrate that settling time is a poor metric for deriving flexible spacecraft slew maneuver requirements. This
motivates the use of a metric based on the amplitude of the residual disturbance due to the flexible dynamics instead.
A smooth slew maneuver then highlights how tailoring the “shape” of the slew profile can decrease the excitation of
the flexible mode relative to the baseline bang-bang case. The latter is a fairly well-known result in general (see e.g.,
[
33
36
]) and is the premise underlying the use of input shaping [
37
,
38
] for reducing residual vibrations, but is less
well-used in the definition of flexible spacecraft slew maneuver requirements.
A. Reference Slew Maneuvers
Two reference slew maneuvers are considered in this paper: a bang-bang slew and a smooth polynomial slew, both
of which are nominally rest-to-rest maneuvers through a generalized displacement
Δ
in time
. Their accelerations,
velocities, and displacements are depicted in Fig. 3. It is emphasized that these maneuvers are not necessarily appropriate
for implementation on actual flight systems. Rather, they are merely intended to illustrate some of the important design
considerations associated with slewing flexible spacecraft.
A bang-bang slew is the time-optimal, rest-to-rest, single-axis reorientation maneuver for a rigid body with angular
acceleration (torque) constraints [39]. Each “bang” is a step acceleration input of magnitude
¥
max
=
4
Δ
2
(48)
and duration
/
2
, as depicted in Fig. 3a. For a rigid body, the first “bang” linearly accelerates the system from rest to a
peak velocity of
¤
max
=
¥
max
2
=
2
Δ
(49)
at time
=
/
2
. The second “bang” then linearly decelerates the system back to rest; see Fig. 3b. The constant
magnitude accelerations yield the quadratic variation in the generalized displacement
(
)
shown in Fig. 3c.
Comparing the bang-bang and smooth polynomial slew maneuvers emphasizes that both the slew profile and the
ratio
/
between the slew maneuver duration
and the natural period
determine the disturbance due to the flexible
dynamics. Following [
33
], the smooth slew maneuver considered here is based on a higher-order (in this case, 7th-order)
polynomial for the generalized displacement
(
)
:
(
)
Δ
=
20


7
+
70


6
84


5
+
35


4
(50)
10
(a)
(b)
(c)
Fig. 3 Comparison of rest-to-rest bang-bang and polynomial slew profiles for rigid spacecraft: (a) accelerations,
(b) velocities, and (c) displacements.
This is the lowest-order polynomial that can simultaneous satisfy boundary conditions on
(
)
and its velocity,
acceleration, and jerk (the time derivative of the acceleration). The polynomial coefficients in Eq.
(50)
correspond to a
rest-to-rest slew through a generalized displacement
Δ
in time
with zero-velocity, zero-acceleration, and zero-jerk
boundary conditions. The zero-jerk boundary conditions reduce jerk by flattening the acceleration curve in the vicinities
of the start and end points. Reducing jerk usually reduces the amplitude of the disturbance due to the flexible dynamics
[
33
36
]. Additionally, momentum control systems are usually jerk-limited [
36
], meaning hardware limitations may
also mandate the use of low-jerk slew trajectories. The polynomial slew smoothly accelerates and then decelerates a
nominally rigid spacecraft from rest-to-rest.
Compared to the baseline bang-bang slew, the polynomial slew requires higher peak accelerations to achieve the
same total displacement in the same time. In this case, the peak acceleration is
¥
max
=
84
5
Δ
25
2
(51)
which occurs at times
=
(
5
5
)
/
10
. The peak acceleration is approximately 1.9 times higher than the peak
acceleration for the bang-bang slew and leads to proportionally higher peak structural loads. Larger accelerations also
11