Summary
This paper aims at sensitivity analysis of differential algebraic equation (DAE) systems, generated from mathematical models, specified in equation-based modeling languages. Modern simulation languages (e.g. Modelica) use an equation-based syntax enriched by facilities for object-oriented modeling, hierarchical system decomposition and code reuse in libraries. Sophisticated compiler tools exist for generating efficient run-time code from a given model specification. These tools rely on powerful algorithms for code optimization and equations rearrangement. Particularly, automatic differentiation (AD) is already used, though for the different task of DAE- index reduction. Clearly, the mentioned facilities should be exploited as far as possible in a new AD tool for sensitivity analysis. In this paper, three possible levels at which AD can be applied are discussed. These are given by AD on run time code, flat model and library level. Then the new source-to-source AD tool (ADModelica) is introduced which takes the second approach. Particularly, it is shown that there are several differences between AD methods for classical procedural languages and equation-based modeling languages.
Keywords
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ashenden, P.J., Peterson, G.D., Teegarden, D.A.: The system designers guide to VHDL-AMS. Morgan Kaufmann (2003)
Bischof, C.H., Bücker, H.M., Marquardt, W., Petera, M., Wyes, J.: Transforming equation-based models in process engineering. In: H.M. Bücker, G. Corliss, P. Hovland, U. Naumann, B. Norris (eds.) Automatic Differentiation: Applications, Theory, and Implementations, Lect. Notes in Comp. Sc. and Eng., pp. 189–198. Springer (2005)
Cellier, F.E.: Continuous System Modeling. Springer Verlag (1991)
Elmqvist, H.: Object-oriented modeling and automatic formula manipulation in Dymola. In: Proc. SIMS ’93. Scandinavian Simulation Society, Kongsberg, Norway (1993)
Elsheikh, A., Noack, S., Wiechert, W.: Sensitivity analysis of Modelica applications via automatic differentiation. In: 6th International Modelica Conference, vol. 2, pp. 669–675. Bielefeld, Germany (2008)
Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica. Wiley-IEEE Computer Society Pr (2003)
Fritzson, P., et al.: The open source Modelica project. In: Proceedings of Modelica2002, pp. 297–306. Munich, Germany (2002)
Fritzson, P., Ounnarsson, J., Jirstr, M.: MathModelica - An extensible modeling and simulation environment with integrated graphics and literate programming. In: Proceedings of Modelica2002, pp. 297–306. Munich, Germany (2002)
Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. No. 19 in Frontiers in Appl. Math. SIAM, Philadelphia, PA (2000)
Leitold, A., Hangos, K.M.: Structural solvability analysis of dynamic process models. Computers & Chemical Engineering 25, 1633–1646 (2001)
Ljung, L., Glad, T.: Modeling of Dynamic Systems. Prentice-Hall PTR (1994)
Maffezzoni, C., Girelli, R., Lluka, P.: Generating efficient computational procedures from declarative models. Simul. Pr. Theory 4(5), 303–317 (1996)
Murota, K.: Systems Analysis by Graphs and Matroids. Springer, Berlin (1987)
Nytsch-Geusen, C., et al.: MOSILAB: Development of a Modelica based generic simulation tool supporting model structural dynamics. In: Proceedings of Modelica2005. Hamburg, Germany (2005)
Olsson, H., Tummescheit, H., Elmqvist, H.: Using automatic differentiation for partial derivatives of functions in Modelica. In: Proceedings of Modelica2005, pp. 105–112. Hamburg, Germany (2005)
Pantelides, C.C.: The consistent initialization of differential-algebraic systems. SIAM Journal on Scientific and Statistical Computing 9(2), 213–231 (1988)
Petzold, L., Li, S.T., Cao, Y., Serban, R.: Sensitivity analysis of differential-algebraic equations and partial differential equations. Computers & Chemical Engineering 30, 1553–1559 (2006)
Pop, A., Fritzson, P.: ModelicaXML: A Modelica XML representation with applications. In: Proceedings of Modelica2003, pp. 419–429. Linköping, Sweden (2003)
Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing 1(2), 146–160 (1972)
Utke, J., Naumann, U.: Separating language dependent and independent tasks for the semantic transformation of numerical programs. In: M. Hamza (ed.) Software Engineering and Applications (SEA 2004), pp. 552–558. ACTA Press, Anaheim, Calgary, Zurich (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elsheikh, A., Wiechert, W. (2008). Automatic Sensitivity Analysis of DAE-systems Generated from Equation-Based Modeling Languages. In: Bischof, C.H., Bücker, H.M., Hovland, P., Naumann, U., Utke, J. (eds) Advances in Automatic Differentiation. Lecture Notes in Computational Science and Engineering, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68942-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-68942-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68935-5
Online ISBN: 978-3-540-68942-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)