STATISTICAL ORBIT DETERMINATION Coordinate Systems and Time Kalman Filtering ASEN 5070 LECTURE 21 10/16/09.

Slides:



Advertisements
Similar presentations
State Space Models. Let { x t :t T} and { y t :t T} denote two vector valued time series that satisfy the system of equations: y t = A t x t + v t (The.
Advertisements

Colorado Center for Astrodynamics Research The University of Colorado ASEN 5070 OD Accuracy Assessment OD Overlap Example Effects of eliminating parameters.
ECE 8443 – Pattern Recognition LECTURE 05: MAXIMUM LIKELIHOOD ESTIMATION Objectives: Discrete Features Maximum Likelihood Resources: D.H.S: Chapter 3 (Part.
Use of Kalman filters in time and frequency analysis John Davis 1st May 2011.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2014 Professor Brandon A. Jones Lecture 28: Orthogonal Transformations.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2014 Professor Brandon A. Jones Lecture 24: Numeric Considerations and.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2014 Professor Brandon A. Jones Lecture 20: Project Discussion and the.
ECE 8443 – Pattern Recognition ECE 8423 – Adaptive Signal Processing Objectives: The FIR Adaptive Filter The LMS Adaptive Filter Stability and Convergence.
ECE 8443 – Pattern Recognition ECE 8423 – Adaptive Signal Processing Objectives: Newton’s Method Application to LMS Recursive Least Squares Exponentially-Weighted.
Conversion of the Sequential Filter into an Epoch State Filter Assume that we wish to computeusing the sequential instead of the batch algorithm Given.
COMP322/S2000/L23/L24/L251 Camera Calibration The most general case is that we have no knowledge of the camera parameters, i.e., its orientation, position,
Estimation and the Kalman Filter David Johnson. The Mean of a Discrete Distribution “I have more legs than average”
Course AE4-T40 Lecture 5: Control Apllication
Principles of Least Squares
Adaptive Signal Processing
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2014 Professor Brandon A. Jones Lecture 38: Information Filter.
Principles of the Global Positioning System Lecture 13 Prof. Thomas Herring Room A;
Principles of the Global Positioning System Lecture 11 Prof. Thomas Herring Room A;
Colorado Center for Astrodynamics Research The University of Colorado STATISTICAL ORBIT DETERMINATION Project Report Unscented kalman Filter Information.
University of Colorado Boulder ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker Professor George H. Born Lecture 25: Error.
Colorado Center for Astrodynamics Research The University of Colorado 1 STATISTICAL ORBIT DETERMINATION Satellite Tracking Example of SNC and DMC ASEN.
1 As we have seen in section 4 conditional probability density functions are useful to update the information about an event based on the knowledge about.
PROBABILITY AND STATISTICS FOR ENGINEERING Hossein Sameti Department of Computer Engineering Sharif University of Technology Two Functions of Two Random.
1 7. Two Random Variables In many experiments, the observations are expressible not as a single quantity, but as a family of quantities. For example to.
CHAPTER 4 Adaptive Tapped-delay-line Filters Using the Least Squares Adaptive Filtering.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2014 Professor Brandon A. Jones Lecture 18: Minimum Variance Estimator.
Multiple Random Variables Two Discrete Random Variables –Joint pmf –Marginal pmf Two Continuous Random Variables –Joint Distribution (PDF) –Joint Density.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2014 Professor Brandon A. Jones Lecture 26: Singular Value Decomposition.
Colorado Center for Astrodynamics Research The University of Colorado 1 STATISTICAL ORBIT DETERMINATION ASEN 5070 LECTURE 11 9/16,18/09.
Data assimilation and forecasting the weather (!) Eugenia Kalnay and many friends University of Maryland.
Colorado Center for Astrodynamics Research The University of Colorado 1 STATISTICAL ORBIT DETERMINATION The Minimum Variance Estimate ASEN 5070 LECTURE.
University of Colorado Boulder ASEN 5070 Statistical Orbit determination I Fall 2012 Professor George H. Born Professor Jeffrey S. Parker Lecture 11: Batch.
Geology 5670/6670 Inverse Theory 21 Jan 2015 © A.R. Lowry 2015 Read for Fri 23 Jan: Menke Ch 3 (39-68) Last time: Ordinary Least Squares Inversion Ordinary.
Operations on Multiple Random Variables
NCAF Manchester July 2000 Graham Hesketh Information Engineering Group Rolls-Royce Strategic Research Centre.
An Introduction To The Kalman Filter By, Santhosh Kumar.
Recursive Least-Squares (RLS) Adaptive Filters
Colorado Center for Astrodynamics Research The University of Colorado 1 STATISTICAL ORBIT DETERMINATION EKF and Observability ASEN 5070 LECTURE 23 10/21/09.
Colorado Center for Astrodynamics Research The University of Colorado 1 STATISTICAL ORBIT DETERMINATION Kalman Filter with Process Noise Gauss- Markov.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2015 Professor Brandon A. Jones Lecture 22: Further Discussions of the.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2015 Professor Brandon A. Jones Lecture 41: Information Filter.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2015 Professor Brandon A. Jones Lecture 26: Cholesky and Singular Value.
University of Colorado Boulder ASEN 5070: Statistical Orbit Determination I Fall 2015 Professor Brandon A. Jones Lecture 19: Examples with the Batch Processor.
Lecture 9 Numerical Analysis. Solution of Linear System of Equations Chapter 3.
Colorado Center for Astrodynamics Research The University of Colorado 1 STATISTICAL ORBIT DETERMINATION Statistical Interpretation of Least Squares ASEN.
Thomas F. Edgar (UT-Austin) RLS – Linear Models Virtual Control Book 12/06 Recursive Least Squares Parameter Estimation for Linear Steady State and Dynamic.
University of Colorado Boulder ASEN 5070 Statistical Orbit Determination I Fall 2012 Professor Jeffrey S. Parker Professor George H. Born Lecture 18: CKF,
ASEN 5070: Statistical Orbit Determination I Fall 2014
STATISTICAL ORBIT DETERMINATION Kalman (sequential) filter
ASEN 5070: Statistical Orbit Determination I Fall 2014
ASEN 5070: Statistical Orbit Determination I Fall 2015
Numerical Analysis Lecture12.
ASEN 5070: Statistical Orbit Determination I Fall 2015
Kalman Filtering: Control with Limited/Noisy Measurements
7. Two Random Variables In many experiments, the observations are expressible not as a single quantity, but as a family of quantities. For example to record.
Numerical Analysis Lecture 16.
Where did we stop? The Bayes decision rule guarantees an optimal classification… … But it requires the knowledge of P(ci|x) (or p(x|ci) and P(ci)) We.
Numerical Analysis Lecture13.
Numerical Analysis Lecture10.
Bayes and Kalman Filter
Consider Covariance Analysis Example 6.9, Spring-Mass
Principles of the Global Positioning System Lecture 11
Principles of the Global Positioning System Lecture 13
11. Conditional Density Functions and Conditional Expected Values
7. Two Random Variables In many experiments, the observations are expressible not as a single quantity, but as a family of quantities. For example to record.
11. Conditional Density Functions and Conditional Expected Values
9. Two Functions of Two Random Variables
7. Two Random Variables In many experiments, the observations are expressible not as a single quantity, but as a family of quantities. For example to record.
Numerical Analysis Lecture11.
Matrix Algebra THE INVERSE OF A MATRIX © 2012 Pearson Education, Inc.
Presentation transcript:

STATISTICAL ORBIT DETERMINATION Coordinate Systems and Time Kalman Filtering ASEN 5070 LECTURE 21 10/16/09

Arc sec

Numerical Considerations for the Kalman Filter Time and measurement update Of the estimation error covariance matrix

Numerical Considerations for the Kalman Filter

Equivalence of Joseph and Conventional Formulation of the Measurement Update of P Need to show that First derive the Joseph formulation subst. subtract from both sides and rearrange

Equivalence of Joseph and Conventional Formulation of the Measurement Update of P where since is independent of

Equivalence of Joseph and Conventional Formulation of the Measurement Update of P Next, show that this is the same as the conventional Kalman subst. for

Example Illustrating Numerical Instability of Sequential (Kalman) Filter (see 4.7.1) The following example problem from Bierman (1977) illustrates the numerical characteristics of several algorithms we have studied to date. Consider the problem of estimating and from scalar measurements and Where and are uncorrelated zero mean random variables with unit variance. If the did not have the above traits we could perform a whitening transformation so that they do. In matrix form

Example Illustrating Numerical Instability of Sequential (Kalman) Filter The a priori covariance associated with our knowledge of is assumed to be Where and . The quantity is assumed to be small enough such that computer round-off produces This estimation problem is well posed. The observation provides an estimate of which, when coupled with should accurately determine . However, when the various data processing algorithms are applied several diverse results are obtained.

Example Illustrating Numerical Instability of Sequential (Kalman) Filter Let the gain and estimation error covariance associated with be denoted as and respectively. Similarly the measurement is associated with and respectively. Note that this is a parameter (constant) estimation problem. Hence, We will process the observation one at a time. Hence,

Example Illustrating Numerical Instability of Sequential (Kalman) Filter Note: Since we will process the observations one at a time, the matrix inversion in Eq (4.7.21a) is a scalar inversion. The exact solution is where The estimation error covariance associated with processing the first data point is

Example Illustrating Numerical Instability of Sequential (Kalman) Filter where Processing the second observation: where

Example Illustrating Numerical Instability of Sequential (Kalman) Filter The exact solution for is given by: The conventional Kalman filter yields (using )

Example Illustrating Numerical Instability of Sequential (Kalman) Filter Note that is no longer positive definite. The diagonals of a matrix must be positive. However does exist since . Compute P2 using the Conventional Kalman Now is not positive definite ( ) nor does it have positive terms on the diagonal. In fact, the conventional Kalman filter has failed for these observations.

Example Illustrating Numerical Instability of Sequential (Kalman) Filter The Joseph formulation yields The Batch Processor yields

Example Illustrating Numerical Instability of Sequential (Kalman) Filter P2 for the batch To order , the exact solution for is

Example Illustrating Numerical Instability of Sequential (Kalman) Filter Summary of Results Exact to order Conventional Kalman Joseph Batch