+ All Categories
Home > Documents > ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

Date post: 02-Jan-2016
Category:
Upload: jarrod-allen
View: 16 times
Download: 2 times
Share this document with a friend
Description:
ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker Professor George H. Born Lecture 19: Numerical Compensations. Announcements. Homework 8 due next week. Make sure you spend time studying for the exam Exam 2 in one week (Thursday). Review on Tuesday. - PowerPoint PPT Presentation
Popular Tags:
51
CCAR Colorado Center for Astrodynamics Research University of Colorado Boulder ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker Professor George H. Born Lecture 19: Numerical Compensations 1
Transcript
Page 1: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 1

ASEN 5070

Statistical Orbit Determination I

Fall 2012

Professor Jeffrey S. Parker

Professor George H. Born

Lecture 19: Numerical Compensations

Page 2: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 2

Homework 8 due next week.◦ Make sure you spend time studying for the exam

Exam 2 in one week (Thursday). Review on Tuesday.

Exam 2 will cover:◦ Batch vs. CKF vs. EKF◦ Probability and statistics (good to keep this up!)

Haven’t settled on a question yet, but it will probably be a conditional probability question. I.e., what’s the probability of X given that Y occurs?

◦ Observability◦ Numerical compensation techniques, such as the Joseph and Potter

formulation.◦ No calculators should be necessary◦ Open Book, Open Notes

Announcements

Page 3: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 3

Quiz 15 Review

Page 4: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 4

Quiz 15 Review

Use Matlab and try it out

Page 5: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 5

Quiz 15 Review

This is TRUE for the Batch, but you may run into a problem with the Kalman filters.

Page 6: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 6

Quiz 15 Review

The best scan of the book ever:

Page 7: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 7

Quiz 15 Review

Page 8: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 8

Quiz 15 Review

Page 9: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 9

Quiz 15 Review

Page 10: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 10

Quiz 15 Review

Page 11: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 11

Quiz 15 Review

Page 12: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 12

Quiz 15 Review

Page 13: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 13

Due in 7 days

HW#8

Page 14: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 14

HW#8

Page 15: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 15

HW#8 Solutions to (2)

Note that these plots aren’t 100% well-labeled!

Page 16: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 16

HW#8

Page 17: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 17

The biggest pitfall

When processing the 2nd observation, set

that is, use the most current covariance you have as the a priori! Not the original one.

HW#8

Page 18: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 18

Processing an observation vector one element at a time.

Whitening Cholesky Joseph

Today◦ Positive Definiteness◦ Conditioning Number◦ Potter◦ Householder

Previous Lecture

Page 19: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 19

Definition

Positive Definite Matrices

Page 20: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 20

Properties of PD matrices

Positive Definite Matrices

Page 21: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 21

Properties of PD matrices

Positive Definite Matrices

Page 22: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 22

Quick Break

Page 23: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Summary of Results2P

Exact to order 1 2 (1 3 )

(1 3 ) 2 4

Conventional Kalman

1 11

1 11 2

Joseph

1 2 (1 3 )

(1 3 ) 2

Batch

1 2 (1 3 )

(1 3 ) 2 4

Example Illustrating Numerical Instability of Sequential (Kalman) Filter (see 4.7.1)

Page 24: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 24

Conditioning Number of matrix A: C(A)

where the gammas are the min/max eigenvalue of the matrix.

Inverting A with p digits of precision becomes error-prone as C(A) 10p.

If we invert the square root of A:

then C(W)=sqrt(C(A)). Numerical difficulties will arise as C(W) 102p.

Conditioning Number

Page 25: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 25

Square Root Filter Algorithms

Page 26: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 26

Motivation:◦ Loss of significant digits that occurs in computing

the measurement update of the state error covariance matrix (P) at the observation epoch (Kaminski et al., 1971)

◦ If eigenvalues spread a wide range, then the numerical errors can destroy the symmetry and PD-ness of the P matrix. Filter divergence can occur.

Square Root Filter Algorithms

Page 27: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 27

Define W, the square root of P:

Observe that if we have W, then computing P in this manner will always result in a symmetric PD matrix.

Note: Square root filters are typically derived to process one observation at a time. Hence,

Square Root Filter Algorithms

Page 28: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

(Sorry for just scanning the text, but it’s a pretty concise description!)

Page 29: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

(Sorry for just scanning the text, but it’s a pretty concise description!)

Page 30: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Page 31: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

This is a key

Page 32: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Page 33: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 34: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 35: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 36: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 37: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 38: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 39: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 40: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

(say, using Cholesky)

Page 41: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 42: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 43: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 44: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 45: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 46: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 47: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Note: if you are given an a priori P matrix, convert it to W using Cholesky or equivalent at start.

Page 48: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

Page 49: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Potter Square Root Filter

And page 339 of Stat OD text.

Page 50: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder

Numerical Instability of Kalman Filter

1 2 (1 )

(1 ) 2 4

Summary of Results

2PExact to order

1 2 (1 3 )

(1 3 ) 2 4

Conventional Kalman

1 11

1 11 2

Joseph

1 2 (1 3 )

(1 3 ) 2

Batch

1 2 (1 3 )

(1 3 ) 2 4

Potter Algorithm

Page 51: ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker

CCARColorado Center for

Astrodynamics Research

University of ColoradoBoulder 51

Homework 8 due next week.◦ Make sure you spend time studying for the exam

Exam 2 in one week (Thursday). Review on Tuesday.

Exam 2 will cover:◦ Batch vs. CKF vs. EKF◦ Probability and statistics (good to keep this up!)

Haven’t settled on a question yet, but it will probably be a conditional probability question. I.e., what’s the probability of X given that Y occurs?

◦ Observability◦ Numerical compensation techniques, such as the Joseph and Potter

formulation.◦ No calculators should be necessary◦ Open Book, Open Notes

The End (unless there’s a lot more time)


Recommended