on the accuracy of state-transition matrices
TRANSCRIPT
![Page 1: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/1.jpg)
On the Accuracy of State
Transition Matrices
Etienne Pellegrini
Ryan P. Russell
8/13/15
![Page 2: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/2.jpg)
Summary
• Introduction and motivations
• Three methods for partials computation
- Variational equations
- Complex Step Derivative approximation
- Finite differences
• Testing framework
• The caveats of variable-step integration
• Timings and accuracy
• Conclusions
2 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 3: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/3.jpg)
Introduction and Motivation
• Partials are at the center of gradient-based optimization and
root-solving algorithms
• Accurate partials are crucial for sensitive problems
• Papers usually focus on the accuracy of the integrators with
respect to the physical trajectory
Here, we’re interested in the accuracy of the partials
with respect to the approximated trajectory
• Three common methods:
- Variational equations
- Finite differences
- Automatic differentiation / Complex-step derivative
3 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 4: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/4.jpg)
State Transition Matrices
• Defined by:
• Such that:
• Used to predict the change in 𝑿 due to a change
in 𝑿0
• Can be used for optimization, root-solving,
covariance propagation, differential correction, etc…
4 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 5: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/5.jpg)
Summary
• Introduction and motivations
• Three methods for partials computation
- Variational equations
- Complex Step Derivative approximation
- Finite differences
• Testing framework
• The caveats of variable-step integration
• Timings and accuracy
• Conclusions
5 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 6: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/6.jpg)
The variational equations
• Propagate the variational equations:
• Simple example: Euler integration
Identical!
6 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 7: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/7.jpg)
Finite differences methods
• Applicable in any case, easy to implement
• Forward differences
• Central differences
• Generic expression
7 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 8: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/8.jpg)
Finite differences methods
• Matrix form:
• Solve: Vandermonde
System
• Second order:
8 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 9: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/9.jpg)
Complex Step Derivatives
• Complex step derivative: Lyness & Moler (1967),
Squire (1998), Martins (2001)
No subtraction! h can be taken as small as we
wan
Martins demonstrated that CSD was linked to AD
(with extra computations and different type)
9 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 10: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/10.jpg)
Multicomplex step derivatives
• Lantoine et al. (2012) use multicomplex numbers:
• Necessitates complex and bicomplex implementation
of the functions: MCXLib (dll) and generize (Python
preprocessor) allow automatic implementation
10 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 11: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/11.jpg)
Summary
• Introduction and motivations
• Three methods for partials computation
- Variational equations
- Complex Step Derivative approximation
- Finite differences
• Testing framework
• The caveats of variable-step integration
• Timings and accuracy
• Conclusions
11 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 12: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/12.jpg)
Example orbits
• 3 Body orbits
PO1: 𝜆𝑚𝑎𝑥 = 2.47 PO2: 𝜆𝑚𝑎𝑥 = 2.8 108
12 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 13: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/13.jpg)
Example orbits
PO3: 𝜆𝑚𝑎𝑥 = 17.63
13 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 14: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/14.jpg)
Example orbits
• 2 Body orbits
TB1: 𝜆𝑚𝑎𝑥 = 1 TB2: 𝜆𝑚𝑎𝑥 = 8.98 103
14 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 15: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/15.jpg)
Linesearch application and fixed path
• Linesearch application:
- Propagate trajectory and STMs for a reference 𝑋0
- Propagate linesearch states: along [1,1,1,1,1,1] vector
- Predict change:
- Compute error:
• Fixed path:
- Propagate state using variable-step integration
- Record step sizes
- Reuse same step sizes for subsequent integrations
15 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 16: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/16.jpg)
Summary
• Introduction and motivations
• Three methods for partials computation
- Variational equations
- Complex Step Derivative approximation
- Finite differences
• Testing framework
• The caveats of variable-step integration
• Timings and accuracy
• Conclusions
16 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 17: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/17.jpg)
State vs. State + variational equations
• Propagating variational equations alongside state different
integration path.
TB2, Variable-step, 1E-6 Difference in State and STM
17 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 18: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/18.jpg)
State vs. State + variational equations
TB2, Variable-step, 1E-9 Difference in State and STM
18 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 19: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/19.jpg)
State vs. State + variational equations
• Yields incorrect STMs
• Recommendation: Fixed-step, or compute error on State only
𝜖 = 10−6 𝜖 = 10−9
19 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 20: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/20.jpg)
Partials of the variable-step integration
• Remember the Euler integration of the variational
equations:
• Now, variable-step:
Extra term
20 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 21: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/21.jpg)
Partials of the variable-step integration
Variational
Forward
diff
CSD
Central
diff
PO3, 𝜖 = 10−3
21 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 22: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/22.jpg)
Discontinuity: the number of steps
• Variation in step sizes sometimes yields a different number of
steps Discontinuity in the integration function
• Can not be captured by any of the methods
PO3 PO3, perturbed
22 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 23: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/23.jpg)
Discontinuity: the number of steps
• Finite differences: degraded by the discontinuity
PO3 PO3, perturbed
23 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 24: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/24.jpg)
Summary
• Introduction and motivations
• Three methods for partials computation
- Variational equations
- Complex Step Derivative approximation
- Finite differences
• Testing framework
• The caveats of variable-step integration
• Timings and accuracy
• Conclusions
24 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 25: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/25.jpg)
Accuracy of the methods
• First- and second-order approximations, TB2, 𝜖 = 10−3
• Only ‘coherent’ scenarios are presented
Variable-step integration Fixed path integration
25 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 26: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/26.jpg)
Accuracy and timings
• RMS over 𝛿𝑋 ∈ [10−12, 10−7]
26 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 27: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/27.jpg)
Accuracy and timings
PO1 PO3
TB1
27 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 28: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/28.jpg)
PO2
• Most sensitive. Nature changes with tolerance
28 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 29: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/29.jpg)
Conclusions
• Three main recommendations for the accurate propagation of
State Transition Matrices using variable-step integration:
- Do not mix state only and state + variational equations
- Variable-step integrators can lead to discontinuities of the
integration function. When possible, prefer fixed-step
integration, with regularized EOMs
- The variational equations DO NOT capture the change of the
integration path. CSD and finite differences should be
preferred for low-fidelity propagations
• Timings and Accuracy
- CSD is best or tied for best in all cases. Takes longer than
variational equations, especially for fixed-step.
- Forward differences achieves poor accuracy. Central is better,
generic even better, but have compute time penalties
29 Etienne Pellegrini - AAS/AIAA Astrodynamics Specialists Conference - 8/13/15 - Vail, CO
![Page 30: On the Accuracy of State-Transition Matrices](https://reader030.vdocuments.site/reader030/viewer/2022020314/587139911a28abf0568b66f3/html5/thumbnails/30.jpg)