Abstract
Modeling and simulation for complex applications in science and engineering develop behavior predictions based on mechanical loads. Imprecise knowledge of the model parameters or external force laws alters the system response from the assumed nominal model data. As a result, one seeks algorithms for generating insights into the range of variability that can be the expected due to model uncertainty. Two issues complicate approaches for handling model uncertainty. First, most systems are fundamentally nonlinear, which means that closed-form solutions are not available for predicting the response or designing control and/or estimation strategies. Second, series approximations are usually required, which demands that partial derivative models are available. Both of these issues have been significant barriers to previous researchers, who have been forced to invoke computationally intensive Monte-Carlo methods to gain insight into a system’s nonlinear behavior through a massive sampling process. These barriers are overcome by introducing three strategies: (1) Computational differentiation that automatically builds exact partial derivative models; (2) Map initial uncertainty models into instantaneous uncertainty models by building a series-based state transition tensor model; and (3) Compute an approximate probability distribution function by solving the Liouville equation using the state transition tensor model. The resulting nonlinear probability distribution function (PDF) represents a Liouville approximation for the stochastic Fokker-Planck equation. Several applications are presented that demonstrate the effectiveness of the proposed mathematical developments. The general modeling methodology is expected to be broadly useful for science and engineering applications in general, as well as grand challenge problems that exist at the frontiers of computational science and mathematics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bai, X., Junkins, J.L., Turner, J.D.: Dynamic analysis and adaptive control law of stewart platform using automatic differentiation. AIAA 2006-6286. AIAA/AAS Astrodynamics Specialist Conference and Exhibit, Keystone, Colorado (2006)
Bischof, C.H., Carle, A., Corliss, G.F., Griewank, A., Hovland, P.D.: ADIFOR: Generating derivative codes from Fortran programs. Scientific Programming 1(1), 11–29 (1992)
Bischof, C.H., Carle, A., Hovland, P.D., Khademi, P., Mauer, A.: ADIFOR 2.0 user’s guide (Revision D). Tech. rep., Mathematics and Computer Science Division Technical Memorandum no. 192 and Center for Research on Parallel Computation Technical Report CRPC-95516-S (1998). URL http://www.mcs.anl.gov/adifor
Eberhard, P., Bischof, C.H.: Automatic differentiation of numerical integration algorithms. Mathematics of Computation 68, 717–731 (1999)
Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd edn. No. 105 in Other Titles in Applied Mathematics. SIAM, Philadelphia, PA (2008). URL http://www.ec-securehost.com/SIAM/OT105.html
Griffith, D.T., Turner, J.D., Junkins, J.L.: Automatic generation and integration of equation of motion for flexible multibody dynamical systems. AAS Journal of the Astronautical Sciences 53(3), 251–279 (2005)
Junkins, J.L., Turner, J.D., Majji, M.: Generalizations and applications of the lagrange implicit function theorem. Special Issue: The F. Landis Markley Astronautics Symposium, The Journal of the Astronautical Sciences 57(1 and 2), 313–345 (2009)
Lohner, R.J.: Enclosing the solution of ordinary initial and boundary value problems. In E. Kaucher, U. Kulisch, and C. Ullrich, Editoisr, Computer Arithmetic: Scientific computation and Programming LnaguagesLanguages pp. 255–286 (1987)
Macsyma, Inc: Macsyma, Symbolic/numeric/graphical mathematics software: Mathematics and System Reference Manual, 16th edn. (1996)
Majji, M., Junkins, J.L., Turner, J.D.: An investigation of the effects of nonlinearity of algebraic models. AAS-303. Presented at the Terry T. Alfriend Astrodynamics Symposium, Monterey California (2010)
Sovinsky, M.C., Hurtado, J.E., Griffith, D.T., Turner, J.D.: The hamel representation:A diagonalized poincare form. ASME Journal of Computational and Nonlinear Dynamics 2, 316–323 (2007)
T., Hahn: Cubaa library for multidimensional numerical integration. Computer Physics Communications 168(2), 78–95 (2005). DOI 10.1016/j.cpc.2005.01.010. URL http://www.sciencedirect.com/science/article/pii/S0010465505000792
Turner, J.: OCEA User Manual. Amdyn System (2006)
Turner, J.D.: The application of Clifford algebras for Computing the sensitivity partial derivatives of linked mechanical systems. Nonlinear Dynamics and Control, USNCTAM14: Fourteenth U.S. National Congress Of Theoretical and Applied Mechanics, Blacksburg, Virginia (2002)
Turner, J.D.: Automated generation of high-order partial derivative models 41(8), 1590–1599 (2003)
Turner, J.D., Majji, M., Junkins, J.L.: Keynote paper: Fifth-order exact analytic continuation numerical integration algorithm. In: Proceedings of International Conference on Computational and Experimental Engineering and Sciences 2010. Presented to International Conference on Computational and Experimental Engineering and Sciences, Nanjing, China (2010)
Turner, J.D., Majji, M., Junkins, J.L.: Keynote paper: High accuracy trajectory and uncertainty propagation algorithm for long-term asteroid motion prediction. In: Proceedings of International Conference on Computational and Experimental Engineering and Sciences 2010. Presented to International Conference on Computational and Experimental Engineering and Sciences, Nanjing, China (2010)
Wengert, R.: A simple automatic derivative evaluation program. Communications of the ACM 7(8), 463–464 (1964)
Wilkins, R.D.: Investigation of a new analytical method for numerical derivative evaluation. Communications of the ACM 7(8), 465–471 (1964)
Majji, M., Junkins, J.L., Turner, J.D.: A high order method for estimation of dynamic systems. J. Astronaut. Sci. 56(3), (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Younes, A.B., Turner, J., Majji, M., Junkins, J. (2012). High-Order Uncertainty Propagation Enabled by Computational Differentiation. In: Forth, S., Hovland, P., Phipps, E., Utke, J., Walther, A. (eds) Recent Advances in Algorithmic Differentiation. Lecture Notes in Computational Science and Engineering, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30023-3_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-30023-3_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30022-6
Online ISBN: 978-3-642-30023-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)