Category: Data Fusion and General Estimation

  • Adaptive Control Using Model Error Control Synthesis

    Research is being performed to develop a new approach for robust adaptive control. This approach, called Model-Error Control Synthesis (MECS), uses an optimal real-time nonlinear estimator to determine model-error corrections to the control input. The estimator determines the model error using a one time-step ahead approach. Control compensation is achieved by using the estimated model-error as a signal synthesis adaptive correction to the nominal control input so that maximum performance is achieved in the face of extreme model uncertainty and disturbance inputs. The MECS approach has many significant advances, including:

    • The determined model is a natural by-product of the state estimator
    • Model parameters need not be updated in order to achieve robust performance
    • It can easily handle both time-varying parameter changes in the model and unmodeled disturbance inputs

    This work is sponsored by National Science Foundation. Results from research can be obtained from:


    [1] Kim, J.-R., and Crassidis, J.L., “Spacecraft Attitude Control Using Approximate Receding-Horizon Model-Error Control Synthesis,” AIAA Journal of Guidance, Control, and Dynamics, Vol. 29, No. 5, Sept.-Oct. 2006, pp. 1023-1031.


    [2] Alsuwaidan, B., and Crassidis, J.L., “Robust Aircraft Longitudinal Control Using Model-Error Control Synthesis,” AIAA Guidance, Navigation, and Control Conference, Keystone, CO, Aug. 2006, AIAA Paper #2006-6050.


    [3] Kim, J.-R., and Crassidis, J.L., “Spacecraft Attitude Control Using Approximate Receding-Horizon Model-Error Control Synthesis,” AIAA Guidance, Navigation, and Control Conference, San Francisco, CA, Aug. 2005, AIAA Paper #2005-6178.


    [4] Kim, J.-R., and Crassidis, J.L., “Fundamental Relation of Approximate Receding-Horizon Optimization to the Simple Mass-Spring-Damper System,” AIAA Guidance, Navigation, and Control Conference, Austin, TX, Aug. 2003, AIAA Paper #2003-5563.


    [5] Kim, J.-R., and Crassidis, J.L., “Limit-Cycle Oscillation Control of Aeroelastic System Using Model-Error Control Synthesis,” AIAA Guidance, Navigation, and Control Conference, Austin, TX, Aug. 2003, AIAA Paper #2003-5506.


    [6] Kim, J.-R., and Crassidis, J.L., “Robust Spacecraft Attitude Control Using Model-Error Control Synthesis,” AIAA Guidance, Navigation, and Control Conference, Monterey, CA, Aug. 2002, AIAA Paper #02-4576.


    [7] Kim, J.-R., and Crassidis, J.L., “Model-Error Control Synthesis Using Approximate Receding-Horizon Control Laws,” AIAA Guidance, Navigation, and Control Conference, Montreal, CA, Aug. 2001, AIAA Paper #01-4220.


    [8] Kim, J.-R., and Crassidis, J.L., “Linear Stability Analysis of Model Error Control Synthesis,” AIAA Guidance, Navigation, and Control Conference, Denver, CO, Aug. 2000, AIAA Paper #00-3963.


    [9] Crassidis, J.L., “Robust Control of Nonlinear Systems Using Model Error Control Synthesis,” AIAA Journal of Guidance, Control, and Dynamics, Vol. 22, No. 4, July-Aug. 1999, pp. 595-601.

  • Covariance Intersection

    Decentralized Systems

    Systems comprised of a number of computing nodes all supporting a common mission. All nodes can be given the same task or asked to support the mission through a subset of tasks. Decentalized systems offer several advantages over their centralized counterparts including:

    • Each node does not require intrinsic knowledge of the system topology
    • Topology is variable. Nodes can be added or subtracted without significantly impacting the overall system
    • Less vulnerable to single-point failures
    • Computational load can be spread amongst nodes for efficiency

    Decentralized systems also suffer from some disadvantages:

    • All nodes may not have access to all information contained within the system
    • Multiple nodes have access to the same information

    Examples of decentralized systems include robotic swarms, cooperative UAVs, formation flying spacecraft and formation of synthetic apertures using multiple smaller sensors.

    Decentralized Estimation

    Decentralized estimation representes an important aspect of decentralized systems. Because various nodes within the system may not have access to all measurements within the system, the individual estimates will be suboptimal. In a perfect world there would exist a means to combine the estimates from all of the nodes into a single estimate which makes use of all system measurements and is optimal. Difficulty arises because some measurements may be used by more than one node leading the estimates from those nodes to be correlated. An example of such a system is the spacecraft attitude estimator shown. Because each extended Kalman filter (EKF) makes use of a common gyro measurement the two estimates will be correlated. The problem to be solved is how can we efficiently and consistently fuse the individual estimates from each EKF to obtain the best possible estimate?

    Covariance Intersection

    An elegant solution for the fusion of estimates with unknown correlations is the Covariance Intersection (CI) algorithm [Julier and Uhlmann, 1997]. As the name suggests, the CI algorithm is routed in the fiundamentals of Gaussian intersection. Appreciation for the CI algorithm is gained by considering the fusion of two estimates in 2D. In 2D the covariance of a Gaussian random variable can be interpreted as an ellipse. If multiple estimates of the same 2D state vector are available, their covariance ellipses will intersect as shown. The CI algorithm expresses the covariance of the fused estimate as the smallest covariance ellipse which contains all of the intersection of the two individual covariances. Depending on the confidence in each estimate or a desired final statistic, each individual covariance can be weighted by a scalar value which leads the CI algorithm to include a family of solutions as shown.

    Another elegant property of the CI algorithm is that, while being derived from a geometric viewpoint, it can also be derived from a matrix- and scalar-weighted optimization problem. This property allows the CI algorithm to be extended to the fusion of higher dimensional state vectors and an arbitrary number of estimates.

    Covariance Intersection for Attitude Estimation

    While the CI algorithm provides a meaningful and elegant solution for the problem of fusion under unknown correlations, the fusion of attitude states is not trivial. The main difficulty with fusing attitude estimates is the choice of attitude parametrization. The traditional attitude parametrization of choice for space applications, the quaternion, must satisfy a unit norm constraint. This leads the CI fused estimate to be the solution of a constrained optimization problem. For state vectors including only a single quaternion there are several solutions to the resulting optimization problem. For fusion of state vectors containing more than a single quaternion iterative solution methods are required which also seek to mitigate the increasing numeric instability of the problem statement.

    References

    Julier, S. J., and Uhlmann, J., K., “A Non-divergent Estimation Algorithm in the Presence of Unknown Correlations,” American Control Conference, Albuquerque, NM, IEEE Publications, Piscataway, NJ, June 1997, pp. 2369 – 2373.


    Julier, S. J., and Uhlmann, J., K., General Decentralized Data Fusion with Covariance Intersection (CI) in Handbook of Multisensor Data Fusion. CRC Press. Boca Raton, FL., 2001, Chap. 12.


    Shuster, M. D., “A Survey of Attitude Representations,” Journal of the Astronautical Sciences, Vol. 41, No. 4, Oct.-Dec. 1993, pp. 439-517.


    Crassidis, J.L., Cheng, Y., Nebelecky, C.K., and Fosbury, A.M., “Decentralized Attitude Estimation Using a Quaternion Covariance Intersection Approach,” The Journal of the Astronautical Sciences, Vol. 57, Nos. 1 & 2, Jan.–June 2009, pp. 113–128.


    Nebelecky, C. K., Crassidis, J. L., Fosbury, A. M., and Cheng, Y., “Efficient Covariance Intersection of Attitude Estimation Using a Local-Error Representation”, Journal of Guidance, Control, and Dynamics Vol. 35, No. 2, Mar.-Apr. 2012, pp 692 –696.


    Nebelecky, C.K., Crassidis, J.L., Banas, W.D., Cheng, Y., and Fosbury, A.M., “Decentralized Relative Attitude Estimation for Three-Spacecraft Formation Flying Applications,” AIAA Guidance, Navigation, and Control Conference, Chicago, IL, Aug. 2009, AIAA Paper #2009-6313.


    Cheng, Y., Banas, W.D., and Crassidis, J.L., “Quaternion Data Fusion,” Itzhack Y. Bar-Itzhack Memorial Symposium on Estimation, Navigation, and Spacecraft Control, Haifa, Israel, Oct. 2012, Paper MoA1 .3.

  • Generalized Multiple-Model Adaptive Estimation

    A new generalized approach for multiple-model adaptive estimation (MMAE) is being developed, which can be used for time-varying and nonlinear systems. This approach is based on using the autocorrelation of the measurement-minus-estimate residual. Initial results indicate that the new generalized MMAE approach can provide better convergence properties than the standard approach. MMAE schemes are widely used on a number applications, such as fault detection, robust tracking of vehicles, network centric warfare applications, information technology applications and extreme events. The new generalized MMAE approach has the potential to revolutionize these areas.

  • Geometric Integration

    What is Geometric Integration?

    Geometric integration employs a numerical method that preserves geometric or group properties of the exact differential equation solution trajectory.

    Motivation

    One prevailing field in which this research is very pertinent is Space Situational Awareness (SSA). The U.S. Air Force is collecting data in order to catalogue Earth orbiting satellites, objects and debris. Accurate tracking of all Earth-orbiting objects is important since their presence can be extremely hazardous to current space missions as well as disruptive for any future mission. This danger can either be passive in the case of debris or active intentional threats. However, the data necessary to estimate the attitude of such objects is sparse as a result of the number of sensors available and the large number of objects in orbit. In particular, for objects in low-Earth orbit (LEO), observation windows may last only a few minutes and opportunities to obtain data are infrequent. As a result, an object’s attitude may often need to be propagated very accurately over long time intervals before an update is possible.

    In summary, the problem is that

    • there are an increasing number of space objects to track
    • sensor time per object is limited
    • many objects yield infrequent pass opportunities

    Advanced estimation techniques require accurate integration during extended propagation intervals when limited observation data is available.

    Objective: Employ a Lie group method developed by Crouch and Grossman for the numerical integration of a quaternion parameterized attitude. Its inherent ability to integrate along the unit hypersphere helps to minimize truncation errors while maintaining the quaternion unit norm constraint.

    Findings

    For small time-steps (< 1s) the CG geometric approach did not perform as well as classical Runge-Kutta (RK) methods. Geometric approaches require more calculations and in this step-size regime, roundoff error and machine precision dominate.

    Significant improvement is observed using a fourth-order CG algorithm with larger time-steps (~> 1s). The quaternion norm constraint is maintained essentially to within machine precision and attitude errors are reduced by approximately two orders of magnitude.

    Applications

    • High Fidelity Orbit Simulation

    The results are particularly important for high fidelity attitude dynamics. Most perturbing forces, such as drag, solar radiation pressure, magnetic forces and gravity gradients, are a direct function of attitude. Attitude dynamics are much faster than orbital dynamics and therefore dictate the integration time-step in any simulator. Improvements made using a geometric integration method significantly increased accuracy at larger time-steps. The great computational cost of high fidelity models and long-term propagation intervals (days, weeks or months) is therefore reduced.

    In applications involving satellite attribute estimation, the size, shape, surface materials and attitude may be unknown. Accurate attitude estimate propagation between measurement updates is essential. Falling well within the domain of SSA, satellite attribute estimation suffers from the same challenges: limited sensor time due to over-tasking, infrequent pass opportunities and longer propagation intervals. While sparse data must be used most effectively, attitude propagation between measurement updates must be as accurate as possible.

    References

    Andrle, M.S., and Crassidis, J.L., “Geometric Integration of Quaternions,” AIAA/AAS Astrodynamics Specialist Conference, Minneapolis, MN, Aug. 2012, AIAA Paper #2012-4421.